تحليل دلالت شناسانه‌ي منطق شهودي I

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

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

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.