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

نوع مقاله : مقاله پژوهشی

چکیده
سول کریپکی برای تبیین منطق موجهات محمولی دو نظام جداگانه (در سالهای 1959م و 1963م) طراحی کرده است. در این مقاله با بررسی اجمالی ساختار نحوی و ساختار معنایی دو نظام مذکور، به مقایسه آنها و میزان کارآیی هرکدام در تبیین منطق موجهات محمولی پرداخته شده‌است.

کلیدواژه‌ها

عنوان مقاله English

Syntax and Semantics of Quantified Modal Logic in Kripke's View

چکیده English

Saul kripke has constructed two distinct systems (1959&1963) to interpret Quantified Modal Logic. This article will have a review in syntax and semantics of these systems, and their efficiency to interpret Quantified Modal Logic.

کلیدواژه‌ها English

Kripke
Quantified Modal Logic
syntax
Semantics