مفهوم صدق در زبان های صوری شده

انتشارات اردک خرگوش منتشر کرد :
مقاله ی حاضر تقریباً به تمامی به یک مسأله اختصاص یافته است: تعریف صدق. جوهره ی این مسأله ساختن تعریفی مادتا کافی و صورتاً صحیح از اصطلاح «جمله ی صادق» - با ارجاع به یک زبان مفروض - است. این مسأله که از پرسش های کهن فلسفه است معضلات فراوانی را پدید می آورد زیرا اگرچه به نظر می رسد که معنای اصطلاح جمله ی «صادق» در زبان محاوره ای کاملاً روشن و قابل فهم است. تاکنون همه ی کوشش ها در جهت تعریف روشن تر معنای آن بی ثمر مانده است و بسیاری از پژوهش هایی که این اصطلاح در آن ها بکار می رود و با مقدمه های به ظاهر شهودی آغاز می شوند، اغلب به پارادوکس ها و تعارضات انجامیده اند.
فروشگاه اینترنتی 30 بوک