Skip to main content
فهرست مقالات

رهیافت دو زبانی تارسکی

نویسنده:

(20 صفحه - از 3 تا 22)

کلید واژه های ماشینی : تارسکی، زبان، صدق، جمله، معناشناختی، فرازبان، تعریف، تابع جمله‌یی، صدق‌پذیر، صورت‌بندی

خلاصه ماشینی:

"چنانکه توضیح خواهیم داد ماحصل صدق‌پژوهی تارسکی آن بود که تعریف به‌لحاظ صوری صحیح و به‌لحاظ مادی و محتوایی کافی جمله صادق در زبان موضوعی و محاوره‌یی (colloquial language) ناممکن است و نتیجه چنان تعریفی رویاروشدن با تنازع دروغگو است و تنها اگر زبان موضوعی صوری شده‌یی را مورد نظر قرار دهیم در آن صورت می‌توان در فرازبان آن به چنان تعریفی دست یازید. به‌هرحال می‌توان نتیجه گرفت که براساس نظریه مطابقی صدق، شرط لازم و کافی بودن یک جمله خاص بنام P را باید به‌شکل کلی زیر بیان کرد: (T)«P» صادق است، اگر و فقط اگر P اما صورت‌بندی T تنها بیانگر یک تعریف جزئی از صدق است. بنابراین جای طرح این پرسش اساسی باقی است که اگر بخواهیم تعریفی مطابقی و ارسطویی از اصطلاح «جمله صادق» ارائه دهیم که عام، کلی و فراگیر بوده و درباب همه جملات صادق یک زبان (و نه فقط یک جمله خاص آن) به‌کار رود، تعریف مزبور چگونه بیان خواهد شد. یک تعریف صحیح از لحاظ صوری برای نماد «Tr» که در فرازبان صورت‌بندی شده باشد، یک تعریف کافی از صدق خوانده می‌شود اگر دارای پیامدهای زیر باشد: (a) ـ تمام جملاتی که از عبارت «×eTr اگر و فقط اگر P» با قراردادن یک نام توصیفی ـ ساختاری برای هر جمله‌یی از زبان مورد نظر به‌جای نماد «×» و قراردادن عبارتی که ترجمه آن جمله به فرازبان است به‌جای نماد «P» بدست می‌آیند؛ (b) ـ جمله «به‌ازای هر ×، اگر ×eTr آنگاه ×eS» (به‌عبارت دیگرTr¸S ») حال می‌گوئیم: اگر زبان مورد نظر فقط شامل تعداد محدودی جمله باشد که از ابتدا درنظر گرفته شده‌اند، و اگر می‌توانستیم این جمله‌ها را بشماریم، آنگاه مسئله تعریف صدق با مشکلی مواجه نمی‌شود."

  • دانلود HTML
  • دانلود PDF

برای مشاهده محتوای مقاله لازم است وارد پایگاه شوید. در صورتی که عضو نیستید از قسمت عضویت اقدام فرمایید.