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

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

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

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

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

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

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

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