Hostname: page-component-7c8c6479df-5xszh Total loading time: 0 Render date: 2024-03-28T22:34:14.626Z Has data issue: false hasContentIssue false

An intuitionistically plausible interpretation of intuitionistic logic

Published online by Cambridge University Press:  12 March 2014

H. C. M. de Swart*
Affiliation:
Department of Philosophy, Erasmuslaan 40, Nijmegen, Holland

Extract

Let IPC be the intuitionistic first-order predicate calculus. From the definition of derivability in IPC the following is clear:

(1) If A is derivable in IPC, denoted by “⊦IPCA”, then A is intuitively true, that means, true according to the intuitionistic interpretation of the logical symbols. To be able to settle the converse question: “if A is intuitively true, then ⊦IPCA”, one should make the notion of intuitionistic truth more easily amenable to mathematical treatment. So we have to look then for a definition of “A is valid”, denoted by “⊨A”, such that the following holds:

(2) If A is intuitively true, then ⊨ A.

Then one might hope to be able to prove

(3) If ⊨ A, then ⊦IPCA.

If one would succeed in finding a notion of “⊨ A”, such that all the conditions (1), (2) and (3) are satisfied, then the chain would be closed, i.e. all the arrows in the scheme below would hold.

Several suggestions for ⊨ A have been made in the past: Topological and algebraic interpretations, see Rasiowa and Sikorski [1]; the intuitionistic models of Beth, see [2] and [3]; the interpretation of Grzegorczyk, see [4] and [5]; the models of Kripke, see [6] and [7]. In Thirty years of foundational studies, A. Mostowski [8] gives a review of the interpretations, proposed for intuitionistic logic, on pp. 90–98.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1977

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

REFERENCES

[1]Rasiowa, H. and Sikorski, R., The mathematics of metamathematics, Polish Academy of Sciences, Warsaw, 1963.Google Scholar
[2]Beth, E. W., Semantic construction of intuitionistic logic, Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde, n.s., vol. 19 (1956), pp. 357388.Google Scholar
[3]Dyson, V. H. and Kreisel, G., Analysis of Beth's semantic construction of intuitionistic logic (mimeographed), Applied Mathematics and Statistics Laboratory, Stanford University, Stanford, California, 1961.Google Scholar
[4]Grzegorczyk, A., A philosophically plausible formal interpretation of intuitionistic logic, Indagationes Mathematicae, vol. 26 (1964), pp. 596601.CrossRefGoogle Scholar
[5]Görnemann, S., A logic stronger than intuitionism, this Journal, vol. 36(1971), pp. 249261.Google Scholar
[6]Kripke, S. A., Semantical analysis of intuitionistic logic. I, Formal systems and recursive functions, North-Holland, Amsterdam, 1965, pp. 92130.CrossRefGoogle Scholar
[7]Schütte, K., Vollständige Systeme Modaler und Intuitionistischer Logik, Springer-Verlag, Berlin, 1968.CrossRefGoogle Scholar
[8]Mostowski, A., Thirty years of foundational studies, Oxford, Basil Blackwell, 1966.Google Scholar
[9]de Swart, H., First steps in intuitionistic model theory, this Journal (to appear).Google Scholar
[10]Veldman, W., An intuitionistic completeness theorem for intuitionistic predicate logic, this Journal, vol. 41 (1976), pp. 159166.Google Scholar
[11]de Swart, H., Another intuitionistic completeness proof, this Journal, vol. 41 (1976), pp. 644662.Google Scholar
[12]Kleene, S. C., Introduction to metamathematics, North-Holland, Amsterdam, 1962.Google Scholar
[13]Kleene, S. C. and Vesley, R. E., The foundations of intuitionistic mathematics, North-Holland, Amsterdam, 1965.Google Scholar
[14]Beth, E. W., The foundations of mathematics, North-Holland, Amsterdam, 1959.Google Scholar
[15]van Dalen, D., Lectures on intuitionism, Proceedings of the Cambridge Summerschool in Mathematical Logic, Springer-Verlag, Berlin and New York, 1971.Google Scholar
[16]Troelstra, A. S., Choice sequences and completeness of intuitionistic predicate logic, Report 75–03, University of Amsterdam.Google Scholar
[17]Smorynski, C. A., Investigations of intuitionistic formal systems by means of Kripke models, Dissertation, University of Illinois at Chicago Circle, 1973, Order number 74–10, 382.Google Scholar
[18]Fitting, M., Intuitionistic logic, model theory and forcing, North-Holland, Amsterdam, 1969.Google Scholar
[19]Kreisel, G., On weak completeness of intuitionistic predicate logic, this Journal, vol. 27 (1962), pp. 139158.Google Scholar
[20]Kreisel, G., Church's thesis, Intuitionism and proof theory (Kino, , Myhill, , Vesley, , Editors), North-Holland, Amsterdam, 1970.Google Scholar
[21]Kreisel, G., A remark on free choice sequences and the topological completeness proofs, this Journal, vol. 23 (1958), pp. 369388.Google Scholar