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

Beglari, Borzuya

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

Document Type : Research

Author

Borzuya Beglari

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

Abstract

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.

Keywords

intuitionistic Logic

Semantics

Saul Kripke

arrand Heyting

Brouwer

- اردشیر، محمد، 1384 منطق ریاضی، تهران: هرمس

- ________، 1387 فلسفه برآوئر، مارک فان آتن، تهران: هرمس

- Beth, Evert Willem, Observations on an Independence Proof for Peirce's Law (abstract). The Journal of Symbolic Logic 25 (1960; published, 1962) 389.

- Beth, Evert Willem, Semantic Construction of Intuitionistic Logic. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde, Nieuwe Reeks, Dee! 19, No. I J.

- Cohen, Paul J, The Independence of the Continuum Hypothesis. Pwceedings of the National Academy of Sciences, U.S.A. 50 (1963) 1143-1148.

- Dummett, Michael Anthony; Lemmon, John, Modal Logics between S4 and SS. Zeit‌ schrift flir Mathcmatische Logik und Grundlagcn dcr Mathematik 4 (1958) 250-264.

- Dyson Verena H; Kreisel, Georg, Analysis of Beth's Semantic Construction of In tuitionistic Logic. Technical Report no. 3, Stanford University Applied Mathe‌ matics and Statistics Laboratories, Stanford, California.

- Heyting, Arand Intuitionism: An Introduction. (North-Holland Publishing Co., Amsterdam 1956).

- Kleene, Stephen Cole, Introduction to Metamathematics. (Van Nostrand, New York; North-Holland Publishing Co., Amsterdam and P. Noordhotf Ltd., Groningen). 1952.

- Dalen. Dirk Van. 1997. Structure and Logic, Springer Universitext. ISBN 3-540-20879-8 318-324.

- Dalen. Dirk Van. 2002. Series: Handbook of philosophical logic.Vol V. Gabbay, Dov M., Guenthner, Franz (Eds.) 2002

- Dalen. Dirk Van.2001. Intuitionistic Logic. In: Lou Goble (Hrsg.): The Blackwell Guide to Philosophical Logic (Blackwell Philosophical Guides; 4). Blackwell, New York, ISBN 0-631-20692-2.

- Dummett, Michael Anthony Eardley, 1970. Elements of intuitionism, Oxford

- Gabbay, M. Dov. 1981. Semantical investigations in Heyting's intuitionistic logic. ISBN: 978-90-481-8362-3

- Kripke, soul. 1965. Semantical Analysis of Intuitionistic Logic I, In Formal Systems and Recursive Functions, edited by M. Dummett and J. N. Crossley. Amsterdam: North-Holland Publishing Co.

- Troelstra, Anne Sjerp 1999C (with P. van Ulsen). The discovery of E.W. Beth’s semantics for intuitionistic logic, in: J. Gerbrandy, M. Marx, M. de Rijke, Y. Venema (eds.), JFAK. Essays dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Amsterdam University Press, Amsterdam (ISBN 90 5269 1041).