Hostname: page-component-745bb68f8f-5r2nc Total loading time: 0 Render date: 2025-01-11T21:52:15.117Z Has data issue: false hasContentIssue false
  • English
  • Français

An embedding of classical logic in S4

Published online by Cambridge University Press:  12 March 2014

Melvin Fitting
Melvin Fitting*
Affiliation:
Lehman College, Cuny, New York, New York10468
Get access Rights & Permissions [Opens in a new window]

Extract

There are well-known embeddings of intuitionistic logic into S4 and of classical logic into S5. In this paper we give a related embedding of (first order) classical logic directly into (first order) S4, with or without the Barcan formula. If one reads the necessity operator of S4 as ‘provable’, the translation may be roughly stated as: truth may be replaced by provable consistency. A proper statement will be found below. The proof is based ultimately on the notion of complete sequences used in Cohen's technique of forcing [1], and is given in terms of Kripke's model theory [3], [4].

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 35 , Issue 4 , December 1970 , pp. 529 - 534
Copyright
Copyright © Association for Symbolic Logic 1971

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1]Cohen, Paul J., Set theory and the continuum hypothesis, W. A. Benjamin, Inc., New York, 1966.Google Scholar
[2]Fitting, Melvin, Intuitionistic logic model theory and forcing, Doctoral dissertation, Yeshiva University, 1968, North Holland, Amsterdam, 1969.Google Scholar
[3]Kripke, Saul, Semantical considerations on modal logic, Proceedings of a colloquium on modal and many-valued logics, Helsinki, August 1962, Acta phiiosophica Fennica No. 16, Helsinki (1963), pp. 83–94.Google Scholar
[4]Kripke, S., Semantical analysis of modal logic. I, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963). pp. 67–96.CrossRefGoogle Scholar
[5]Kripke, Saul, Semantical analysis of intuitionistic logic. I, Formal systems and recursive functions, North Holland, Amsterdam, 1965, pp. 92–130.CrossRefGoogle Scholar
[6]McKinsey, J. C. C. and Tarski, A., Some theorems about the sentential calculi of Lewis and Heyting, this Journal, vol. 13 (1948), pp. 1–15.Google Scholar
[7]Prawitz, Dag, An interpretation of intuitionistic predicate logic in modal logic. Contributions to mathematical logic, Proceedings of the logic colloquium, Hanover, 1966.Google Scholar
[8]Schütte, Kurt, Vollständige Systeme modaler und intuitionistischer Logik, Springer-Verlag, Berlin, 1968.CrossRefGoogle Scholar
[9]Smullyan, Raymond M., First order logic, Springer-Verlag, Berlin, 1968.CrossRefGoogle Scholar