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

نویسنده

• برزویه بگلری

گروه فلسفه، دانشکده ادبیات و زبان های خارجی، دانشگاه علامه طباطبایی، تهران، ایران

چکیده

از زمان انتشار مقاله‌ی سوئل کریپکی با عنوان تحلیل دلالت شناسانه‌ی منطق شهودیI، در سال 1965، تمام آنچه پیش‌ از آن در دلالت‌شناسی منطق شهودی نگاشته شده بود، تفسیر برآوئر-هیتینگ-کولموگروف(BHK)، تفسیر توپولوژیک و مدل‌های بث تحت سایه‌ی ‌تنقیح و پالودگی‌اش قرار گرفت و دلالت شناسی استاندارد برای منطق شهودی برآوئر-هیتینگ قلمداد شد. تا به امروز جهت تفسیر، مقابله و بِه فهمی، ادبیات و مطالعات کلانی حول این مقاله شکل گرفته‌است. کریپکی این مقاله را در پایان قریب به یک دهه تفکر بارور راجع به منطق موجهات، دلالت شناسی آن و انتشار تحقیقاتش مشتمل بر روشی خلاقانه برای دلالت‌شناسی منطق موجهات در 6 مقاله، نوشت و منتشر کرد و در آن برای طراحی تفسیری از دلالت‌شناسی منطق شهودی از تحقیقات خودش در منطق موجهات و اخذ مفهوم فورسینگ از ریاضیدان آمریکایی پل کوئن سود جست.
دراین نوشته پس از بررسی جایگاه تاریخی-فنّی مقاله‌ی کریپکی در ادبیات شهودگرایی، ترجمه مقاله‌ی وی آمده‌است.

کلیدواژه‌ها

• منطق شهودی
• دلالت شناسی
• سوئل کریپکی
• آرند هیتینگ
• اخبرتوس یان برآوئر

عنوان مقاله [English]

Translation of “Semantical Analysis of Intuitionistic Logic I Saul Kripke”

نویسنده [English]

• Borzuya Beglari

department of philosophy, Faculty of literature and foreign languages, allameh TabaTabaei University, Tehran, Iran

چکیده [English]

When Saul Kripke published Semantical Analysis of Intuitionistic Logic I in 1965, all previous matters, Brouwer–Heyting–Kolmogorov interpretation (BHK interpretation), topological interpretation, Beth models, were effected by its clarity and perspicuity and then it became the standard, easy to understand and quite useable semintics for intuition logic of the Brouwer-Heyting. Since then very much research, books and papers was done in to clarify, understand and facilitate the paper. Kripke wrote this paper while he was at the end of the decade of fertile thinking in modal logic and its semantical analysis and publishing very creative 6 papers that completely changed the insight of modal logic. In Semantical Analysis of Intuitionistic Logic I, for designing an analysis for semantcs of intuitionistic logic he used his own method in modal logic and Cohn’s, American mathematician, notion of forcing.
In this essay we are going to investigate the historiography and then translation it to Persian.

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

• intuitionistic Logic
• Semantics
• Saul Kripke
• arrand Heyting
• Brouwer