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

معرفی معرفت شناسان

(3 صفحه - از 141 تا 143)

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

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

"تارسکی کوشید نشان دهد که این تعریف را نمی‌توان در درون خود L نیز جاری دانست، بلکه ارائه تعریف صدق در زبان L مستلزم فرازبانی غنی‌تر است (از این مطلب به‌عنوان قضیه تارسکی یاد می‌کنند). بیان غیرصوری تعریف صدق تارسکی بعدها در 1944، در مقاله او تحت عنوان «مفهوم معنی‌شناختی صدق و مبانی معنی‌شناسی» در جلد 4 مجله فلسفه و پژوهش پدیدارشناختی منتشر شد (ترجمه فارسی این مقاله در مجله ذهن، بهار 1380، شماره 5 منتشر شده است). تارسکی در 1936 در مقاله‌اش «درباره مفهوم نتیجه منطقی» (که در کتابش منطق و معنی‌شناسی و فراریاضیات، دوباره چاپ شد) کوشید این دیدگاهش که به‌زودی به‌عنوان «نظریه نتیجه منطقی» مقبول افتاد براساس مفهوم مدل تأسیس کند: جمله S نتیجه مجموعه مقدمات P است اگر و فقط اگر هر مدل P مدل [S] باشد (به‌تعبیر دیگر: جمله S نتیجه مجموعه مقدمات P است اگر و فقط اگر راهی وجود نداشته باشد که بتوان کلمات غیرمنطقی را به‌گونه‌ای تعبیر کرد که ضمن حفظ صدق مجموعه مقدمات P جمله Sکاذب گردد."

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