অর্থ এবং বর্ণের মধ্যে পার্থক্য কী?


10

প্রোগ্রামিং ল্যাঙ্গুয়েজ শব্দার্থবিজ্ঞানে, প্রায়শই শোনা যায় যে লোকেরা অর্থ এবং বর্ণের কথা বলে । তারা এক হিসাবে না বলে মনে হচ্ছে। পার্থক্য কি? পূর্ববর্তীটি অপারেশনাল শব্দার্থকগুলির সাথে যুক্ত হয়, যখন পরবর্তীটি ডেনোটেশনাল শব্দার্থবিদ্যার সাথে থাকে? ধন্যবাদ।


আপনি কি এমন কোনও উত্স উদ্ধৃত করতে পারেন, দয়া করে? আমার অভিজ্ঞতার মধ্যে প্রোগ্রামিং ভাষার শব্দার্থবিজ্ঞান সাহিত্যে একই ধারণাটি বোঝাতে অর্থ এবং বর্ণটি ব্যবহার করা হয় (যদিও, দর্শনশাস্ত্রে এগুলি বিভিন্নভাবে ব্যবহৃত হয়, যেমন নীলের নীচে ব্যাখ্যা করেছেন)।
উদয় রেড্ডি

@ উদয় রেডি: আমার মনে প্রশ্নটি এসেছে। আমি কোথায় পেয়েছি তা মনে করতে পারছি না, সম্ভবত দার্শনিক গ্রন্থ থেকে।
দিন

উত্তর:


18

ডোনোটেশন হওয়ার চেয়ে বিস্তৃত উপায়ে "অর্থ" ব্যবহার করা হয়।

যুক্তি এবং দর্শন থেকে উত্তরাধিকারসূত্রে প্রাপ্ত মূল দ্বিখণ্ডনটি "বোধশক্তি" এবং "ডেনোটেশন" (যাকে দার্শনিকরা "রেফারেন্স" বলে) এর মধ্যে রয়েছে।

এই পার্থক্যটি ফ্রেজের মূল উদাহরণ দ্বারা চিত্রিত করা যেতে পারে। তিনি উল্লেখ করেছিলেন যে "সকালের তারা" এবং "সন্ধ্যা তারা" একই বাক্যটিকে --- গ্রহ শুক্র গ্রহকে বোঝায় --- তবে "সকালের তারা এবং সন্ধ্যা তারা একই গ্রহ" বাক্যটি আসলে কিছু তথ্য প্রকাশ করে একটি পাঠকের কাছে তিনি প্রস্তাব দিয়েছিলেন যে একটি বিশেষ্য বাক্যাংশের অর্থ এটি যে প্রকৃত বস্তুটিকে বোঝায় তা ছাড়িয়ে যেতে পারে, যার মধ্যে এটি কীভাবে এটি নির্দেশ করে তা উপস্থাপন করে।

8×756

একটি ডিনোটেশনাল শব্দার্থক নির্মাণের সময়, আমরা এমন একটি ভাষার একটি মডেল তৈরি করার চেষ্টা করি যেখানে অবিচ্ছেদ্য প্রোগ্রামগুলি বোঝায় --- একই গাণিতিক অবজেক্টকে বোঝায়। প্রোগ্রামগুলির আচরণ সম্পর্কে যুক্তিটি সরলকরণের লক্ষ্য, যেহেতু আমরা প্রোগ্রামটি কীভাবে উপস্থাপন করা হয় তার বিশদ সম্পর্কে চিন্তা না করেই আমরা ডিনোটেশনগুলি, গাণিতিক বিষয়গুলি সম্পর্কে যুক্তি করতে পারি। এটি আমাদের আগ্রহী না এমন প্রোগ্রামগুলির অর্থের দিকগুলি মোকাবেলা করতে এড়াতে দেয়।

অপারেশনাল শব্দার্থকগুলির সাথে বোঝার উপায় এবং ডেনোটেশনটি আরও জটিল এবং ভিন্ন। আমি এই উত্তরটি পরে আমার উত্তরটি প্রসারিত করতে পারি, তবে আমাকে এখনই চালাতে হবে। :)

সম্পাদনা: ঠিক আছে, আমি এখন এই উত্তরটি প্রসারিত করছি।

"ডোনোটেশন" এবং "রেফারেন্স" এর মধ্যে সংযোগটি বেশ নির্ভুল, এবং এটি ঠিক কারণ যে লোকেরা ডেনোটেশনাল শব্দার্থ আবিষ্কার করেছেন (যেমন, স্কট এবং স্ট্রাচি) তাদের প্রকল্পের অংশ হিসাবে দার্শনিক যুক্তি থেকে ধারণাটি যথেষ্ট সচেতনভাবেই বরাদ্দ করেছিলেন।

অর্থ ও অপারেশনাল শব্দার্থবিজ্ঞানগুলি কীভাবে সম্পর্কিত তা বোঝার জন্য দার্শনিক মাইকেল ডামমেটের একটি "অর্থ তত্ত্ব" ধারণাটি এবং এটি কীভাবে একটি "শব্দার্থক তত্ত্ব" থেকে পৃথক রয়েছে তা স্মরণে রাখতে সহায়ক।

ডামমেটের পরিভাষায়, শব্দার্থবিজ্ঞানের তত্ত্ব হ'ল গাণিতিক বস্তু নির্ধারণের জন্য বাক্য সম্পর্কিত একটি রচনাগত পদ্ধতি। যুক্তি হিসাবে, একটি বাক্যের অর্থ তার সত্য-মূল্য, এবং এটি তার উপাদানগুলির সত্য-মূল্য থেকে নির্ধারিত হয়। প্রোগ্রামিং ল্যাঙ্গুয়েজের ডেনোটেশনাল শব্দার্থবিজ্ঞান গাণিতিক অবজেক্টের বিস্তৃত বিভিন্ন ব্যবহার করে তবে এটি একইভাবে কাজ করে - আমরা একটি প্রোগ্রাম টার্মটির সাবটারমগুলির অর্থের দিক দিয়ে অর্থ প্রদান করি। সুতরাং ডামমেটের পরিভাষায় ডোনোটেশনাল শব্দার্থবিজ্ঞান প্রোগ্রামিং ভাষাগুলির শব্দার্থক তত্ত্ব সরবরাহ করে।

একটি অর্থ-তত্ত্ব এছাড়াও গাণিতিক বস্তু বাক্য সংক্রান্ত একটি রচনা উপায়, কিন্তু ছাড়াও এটা কি বাক্য এবং গাণিতিক বস্তুর মধ্যে সম্পর্ক যথার্থ একটি অ্যাকাউন্ট রয়েছে। স্বজ্ঞাত গণিতবিদগণ সত্যের ধারণাটি কীভাবে বুঝতে পেরেছিলেন তা বোঝার জন্য তিনি এই ধারণাটি তৈরি করেছিলেন। বিশেষত, তাদের যৌক্তিক সংযোজকগুলির অর্থের সংমিশ্রণীয় অ্যাকাউন্ট রয়েছে, তবে শাস্ত্রীয় লজিস্টিয়ানরা সেভাবে তাদের অর্থকৃত মান দেয় নি। উদাহরণস্বরূপ, স্বজ্ঞাত যুক্তির ব্রাউয়ার-হাইটিং-কোলমোগোরভ বিবরণীতে সত্যকে নিম্নলিখিত উপায়ে সংজ্ঞায়িত করা হয়েছে:

  • AB(p1,p2)p1Ap2B
  • AB(i,p)i01i0pAi1pB
  • ABAB
  • x.A(x)nA(n)
  • x.A(x)(n,p)npA(n)

AA

এখন, নোট করুন যে এই সংজ্ঞা প্রস্তাবগুলি এবং সত্যের মানগুলিকে সংযুক্ত করে, তবে সংযোগটি অবশ্যই একটি প্রামাণিক প্রমাণ দেওয়ার সম্ভাবনার দ্বারা ন্যায্য হতে হবে।

ক্রিয়াকলাপের এই ধারণার মাধ্যমে অপারেশনাল শব্দার্থক ছবিতে প্রবেশ করে। একটি অপারেশনাল শব্দার্থক একটি বিমূর্ত মেশিনটি কী করে তার একটি বিবরণ মাত্র is আমরা একটি ডিনোটেশনাল শব্দার্থবিজ্ঞান দেওয়ার পরে, আমরা সাধারণত দেখাতে চাই যে ডায়নোটেশনাল শব্দার্থিকগুলি অপারেশনাল শব্দার্থবিজ্ঞানের প্রতি বিশ্বস্ত। এই সম্পত্তিটিকে পর্যাপ্ততা বলা হয় (তার বড় ভাইয়ের সাথে পুরো বিমূর্ততা সহ ) এবং এটি ঠিক একটি অর্থ-তত্ত্ব দেওয়ার সমতুল্য যা অ্যাবস্ট্রাক্ট মেশিনকে ডিনোটেশনাল অবজেক্টগুলির সাথে সংযুক্ত করে, যা বিমূর্ত মেশিনের হ্রাসের অধীনে বন্ধ থাকে।

এটি আসলে পুরো গল্প নয়, যেহেতু আমি এখানে যা রেখেছি তা হল বাস্তবায়নযোগ্যতার মডেলের মাধ্যমে কীভাবে অপারেশনাল এবং ডিনোটেশনাল পদ্ধতির সংযোগ স্থাপন করা যায়। প্রকার তত্ত্বগুলিও প্রুফ-তাত্ত্বিক শব্দার্থবিজ্ঞান থাকতে পারে (প্রকৃতপক্ষে, এই সম্ভাবনাটি ডামমেট সবচেয়ে বেশি আগ্রহী ছিল), তবে আমি এই পোস্টে সেই সংযোগটি ব্যাখ্যা করি নি।


সুন্দর ব্যাখ্যার জন্য ধন্যবাদ। অপারেশনাল শব্দার্থক সম্পর্কে তাদের সম্পর্ককে কভার করার অপেক্ষায় রয়েছি।
দিন

দুর্দান্ত ব্যাখ্যা, নীল। আপনাকে অনেক ধন্যবাদ. সুতরাং আমি যদি সঠিকভাবে বুঝতে পারি, তথাকথিত অর্থ তত্ত্বটি আরও প্রথাগত। স্বজ্ঞাত যুক্তিযুক্ত ক্ষেত্রে সত্যকে তাত্ত্বিকভাবে প্রমাণ হিসাবে সংজ্ঞায়িত করা হয়।
দিন

XYXYZXY
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.