ডোনোটেশন হওয়ার চেয়ে বিস্তৃত উপায়ে "অর্থ" ব্যবহার করা হয়।
যুক্তি এবং দর্শন থেকে উত্তরাধিকারসূত্রে প্রাপ্ত মূল দ্বিখণ্ডনটি "বোধশক্তি" এবং "ডেনোটেশন" (যাকে দার্শনিকরা "রেফারেন্স" বলে) এর মধ্যে রয়েছে।
এই পার্থক্যটি ফ্রেজের মূল উদাহরণ দ্বারা চিত্রিত করা যেতে পারে। তিনি উল্লেখ করেছিলেন যে "সকালের তারা" এবং "সন্ধ্যা তারা" একই বাক্যটিকে --- গ্রহ শুক্র গ্রহকে বোঝায় --- তবে "সকালের তারা এবং সন্ধ্যা তারা একই গ্রহ" বাক্যটি আসলে কিছু তথ্য প্রকাশ করে একটি পাঠকের কাছে তিনি প্রস্তাব দিয়েছিলেন যে একটি বিশেষ্য বাক্যাংশের অর্থ এটি যে প্রকৃত বস্তুটিকে বোঝায় তা ছাড়িয়ে যেতে পারে, যার মধ্যে এটি কীভাবে এটি নির্দেশ করে তা উপস্থাপন করে।
8×756
একটি ডিনোটেশনাল শব্দার্থক নির্মাণের সময়, আমরা এমন একটি ভাষার একটি মডেল তৈরি করার চেষ্টা করি যেখানে অবিচ্ছেদ্য প্রোগ্রামগুলি বোঝায় --- একই গাণিতিক অবজেক্টকে বোঝায়। প্রোগ্রামগুলির আচরণ সম্পর্কে যুক্তিটি সরলকরণের লক্ষ্য, যেহেতু আমরা প্রোগ্রামটি কীভাবে উপস্থাপন করা হয় তার বিশদ সম্পর্কে চিন্তা না করেই আমরা ডিনোটেশনগুলি, গাণিতিক বিষয়গুলি সম্পর্কে যুক্তি করতে পারি। এটি আমাদের আগ্রহী না এমন প্রোগ্রামগুলির অর্থের দিকগুলি মোকাবেলা করতে এড়াতে দেয়।
অপারেশনাল শব্দার্থকগুলির সাথে বোঝার উপায় এবং ডেনোটেশনটি আরও জটিল এবং ভিন্ন। আমি এই উত্তরটি পরে আমার উত্তরটি প্রসারিত করতে পারি, তবে আমাকে এখনই চালাতে হবে। :)
সম্পাদনা: ঠিক আছে, আমি এখন এই উত্তরটি প্রসারিত করছি।
"ডোনোটেশন" এবং "রেফারেন্স" এর মধ্যে সংযোগটি বেশ নির্ভুল, এবং এটি ঠিক কারণ যে লোকেরা ডেনোটেশনাল শব্দার্থ আবিষ্কার করেছেন (যেমন, স্কট এবং স্ট্রাচি) তাদের প্রকল্পের অংশ হিসাবে দার্শনিক যুক্তি থেকে ধারণাটি যথেষ্ট সচেতনভাবেই বরাদ্দ করেছিলেন।
অর্থ ও অপারেশনাল শব্দার্থবিজ্ঞানগুলি কীভাবে সম্পর্কিত তা বোঝার জন্য দার্শনিক মাইকেল ডামমেটের একটি "অর্থ তত্ত্ব" ধারণাটি এবং এটি কীভাবে একটি "শব্দার্থক তত্ত্ব" থেকে পৃথক রয়েছে তা স্মরণে রাখতে সহায়ক।
ডামমেটের পরিভাষায়, শব্দার্থবিজ্ঞানের তত্ত্ব হ'ল গাণিতিক বস্তু নির্ধারণের জন্য বাক্য সম্পর্কিত একটি রচনাগত পদ্ধতি। যুক্তি হিসাবে, একটি বাক্যের অর্থ তার সত্য-মূল্য, এবং এটি তার উপাদানগুলির সত্য-মূল্য থেকে নির্ধারিত হয়। প্রোগ্রামিং ল্যাঙ্গুয়েজের ডেনোটেশনাল শব্দার্থবিজ্ঞান গাণিতিক অবজেক্টের বিস্তৃত বিভিন্ন ব্যবহার করে তবে এটি একইভাবে কাজ করে - আমরা একটি প্রোগ্রাম টার্মটির সাবটারমগুলির অর্থের দিক দিয়ে অর্থ প্রদান করি। সুতরাং ডামমেটের পরিভাষায় ডোনোটেশনাল শব্দার্থবিজ্ঞান প্রোগ্রামিং ভাষাগুলির শব্দার্থক তত্ত্ব সরবরাহ করে।
একটি অর্থ-তত্ত্ব এছাড়াও গাণিতিক বস্তু বাক্য সংক্রান্ত একটি রচনা উপায়, কিন্তু ছাড়াও এটা কি বাক্য এবং গাণিতিক বস্তুর মধ্যে সম্পর্ক যথার্থ একটি অ্যাকাউন্ট রয়েছে। স্বজ্ঞাত গণিতবিদগণ সত্যের ধারণাটি কীভাবে বুঝতে পেরেছিলেন তা বোঝার জন্য তিনি এই ধারণাটি তৈরি করেছিলেন। বিশেষত, তাদের যৌক্তিক সংযোজকগুলির অর্থের সংমিশ্রণীয় অ্যাকাউন্ট রয়েছে, তবে শাস্ত্রীয় লজিস্টিয়ানরা সেভাবে তাদের অর্থকৃত মান দেয় নি। উদাহরণস্বরূপ, স্বজ্ঞাত যুক্তির ব্রাউয়ার-হাইটিং-কোলমোগোরভ বিবরণীতে সত্যকে নিম্নলিখিত উপায়ে সংজ্ঞায়িত করা হয়েছে:
- A∧B(p1,p2)p1Ap2B
- A∨B(i,p)i01i0pAi1pB
- A→BAB
- ∀x.A(x)nA(n)
- ∃x.A(x)(n,p)npA(n)
AA
এখন, নোট করুন যে এই সংজ্ঞা প্রস্তাবগুলি এবং সত্যের মানগুলিকে সংযুক্ত করে, তবে সংযোগটি অবশ্যই একটি প্রামাণিক প্রমাণ দেওয়ার সম্ভাবনার দ্বারা ন্যায্য হতে হবে।
ক্রিয়াকলাপের এই ধারণার মাধ্যমে অপারেশনাল শব্দার্থক ছবিতে প্রবেশ করে। একটি অপারেশনাল শব্দার্থক একটি বিমূর্ত মেশিনটি কী করে তার একটি বিবরণ মাত্র is আমরা একটি ডিনোটেশনাল শব্দার্থবিজ্ঞান দেওয়ার পরে, আমরা সাধারণত দেখাতে চাই যে ডায়নোটেশনাল শব্দার্থিকগুলি অপারেশনাল শব্দার্থবিজ্ঞানের প্রতি বিশ্বস্ত। এই সম্পত্তিটিকে পর্যাপ্ততা বলা হয় (তার বড় ভাইয়ের সাথে পুরো বিমূর্ততা সহ ) এবং এটি ঠিক একটি অর্থ-তত্ত্ব দেওয়ার সমতুল্য যা অ্যাবস্ট্রাক্ট মেশিনকে ডিনোটেশনাল অবজেক্টগুলির সাথে সংযুক্ত করে, যা বিমূর্ত মেশিনের হ্রাসের অধীনে বন্ধ থাকে।
এটি আসলে পুরো গল্প নয়, যেহেতু আমি এখানে যা রেখেছি তা হল বাস্তবায়নযোগ্যতার মডেলের মাধ্যমে কীভাবে অপারেশনাল এবং ডিনোটেশনাল পদ্ধতির সংযোগ স্থাপন করা যায়। প্রকার তত্ত্বগুলিও প্রুফ-তাত্ত্বিক শব্দার্থবিজ্ঞান থাকতে পারে (প্রকৃতপক্ষে, এই সম্ভাবনাটি ডামমেট সবচেয়ে বেশি আগ্রহী ছিল), তবে আমি এই পোস্টে সেই সংযোগটি ব্যাখ্যা করি নি।