مطالب مرتبط با کلیدواژه

منطق موجهات محمولی


۲.

ساختار نحوی و معنایی منطق موجهات محمولی از دیدگاه کریپکی

کلیدواژه‌ها: ساختار نحوی ساختار معنایی منطق موجهات محمولی کریپکی

حوزه های تخصصی:
تعداد بازدید : ۱۷۰۵ تعداد دانلود : ۹۹۲
سول کریپکی برای تبیین منطق موجهات محمولی دو نظام جداگانه (در سال های 1959م و 1963م) طراحی کرده است. در این مقاله با بررسی اجمالی ساختار نحوی و ساختار معنایی دو نظام مذکور، به مقایسه آن ها و میزان کارآیی هرکدام در تبیین منطق موجهات محمولی پرداخته شده است.