Abstract
There are several ways in which the title of this lecture can be interpreted, depending on our interpretation of logic’, ‘mathematics’, and ‘intuitionism’. For a start, let us remark that we take intuitionism here to refer to a certain body of concepts and principles which can be used in the development of mathematics, and which are in the line of L. E. J. Brouwer’s reconstruction of mathematics; however, we do not claim exlcusiveness for these concepts and principles, that is to say we do not claim that they are the only legitimate and intelligible ones. In other words, intuitionism in regarded here as an interesting (and meaningful) object of study, not as an exclusive philosophy of mathematics.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
We have listed the main sources. References in the notes at the end of the paper not occurring below are to be found in the bibliography of Troelstra (1977).
de Swart, H., ‘Another Intuitionistic Completeness Proof’, J. Symbolic Logic 41 (1976), 644–662.
Dummett, M. A. E., Elements of Intuitionism, Clarendon Press, Oxford, 1977.
Friedman, H., ‘Intuitionistic Completeness of Heyting’s Predicate Calculus’, Notices Am. Math. Soc. 22 (1975), A–648.
Friedman, H., ‘The Intuitionistic Completeness of Intuitionistic Logic under Tarskian Semantics’, Abstract, SUNY at Buffalo, N.Y., 1977.
Friedman, H., ‘New and Old Results on Completeness of HPC’, Abstract, SUNY at Buffalo, N.Y., 1977a.
Heyting, A., ‘Sur la logique intuitionniste’, Académie Royale de Belgique. Bulletin de la Classe des Sciences, ser. 5, 16 (1930), 957–963.
Heyting, A., ‘Die intuitionistische Grundlegung der Mathematik’, Erkenntnis 2 (1931), 106–115.
Heyting, A., ‘La conception intuitionniste de la logique’, Les études philosophiques 11 (1956), 295–297.
Heyting, A. (ed.), L. E. J. Brouwer, Collected Works I. Philosophy and Foundations of Mathematics, North-Holland, Amsterdam, 1975.
Kreisel, G., ‘A Remark on Free Choice Sequences and the Topological Completeness Proofs’, J. Symbolic Logic 23 (1958), 369–388.
Kreisel, G., ‘Elementary Completeness Properties of Intuitionistic Logic with a Note on Negations of Prenex Formulae’, J. Symbolic Logic 23, (1958a), 317–330.
Kreisel, G., ‘Note on Completeness and Definability’, Technical Report No. 3, Applied Mathematics and Statistics Laboratories, Stanford University, 1961.
Kreisel, G., ‘Foundations of Intuitionistic Logic’, in Logic, Methodology and Philosophy of Science, (eds. E. Nagel, P. Suppes, A. Tarski ), Stanford University Press, Stanford, California, 1962, pp. 198–210.
Smorynski, C. A., ‘Applications of Kripke Models’, in Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, (ed. A. S. Troelstra ), Springer-Verlag, Berlin, 1973, pp. 324–391.
Tarski, A., ‘Der Wahrheitsbegriff in den formalisierten Sprachen’, Studia Philosophica 1 C1936). 261–405.
Troelstra, A. S., Axioms for Intuitionistic Mathematics Incompatible with Classical Logic’, Report 75–13. Department of Mathematics, University of Amsterdam, 1975. Logic, Foundations of Mathematics and Computability Theory, (eds. R. Butts and J. Hintikka ), D. Reidel Publ. Co., Dordrecht, 1977, pp. 59–84.
Troelstra, A. S., Choice Sequences, a Chapter of Intuitionistic Mathematics, The Clarendon Press, Oxford, 1977. ( An Italian translation is in preparation. )
Troelstra, A. S., ‘Aspects of Constructive Mathematics’, in Handbook of Mathematical Logic, (ed. J. Barwise ), North-Holland, Amsterdam 1977a.
van Dalen, D., ‘Lectures on Intuitionism’, in Cambridge Summer school in Mathematical Logic, (ed. H. Rogers and A. R. D. Mathias ), Springer-Verlag, Berlin, 1973, pp. 1–89.
Veldman, W., ‘An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic’, J. Symbolic Logic 41 (1976), 159–166.
Postscript added in proof (July 1980). Since this lecture was held, three years have elapsed and new material has become available. To help the reader, we indicate some directly relevant supplementary references below.
Troelstra, A.S., ‘Some Remarks on the Complexity of Henkin-Kripke Models’, Indag. Math. 81 (1978), 296–302.
Troelstra, A. S., ‘A Supplement to “Choice Sequences’”, report 79–04, Department of Mathematics, University of Amsterdam, 1979. (Contains corrections to Troelstra (1977) and expands the discussion of Note C, Section 3.)
van der Hoeven, G. F. and Troelstra, A. S., ‘Projections of Lawless Sequences II’, in Logic Colloquium 78, (eds. M. Boffa, D. van Dalen, and K. McAloon), North-Holland Publ. Co., Amsterdam, 1979, pp. 265–298. (A first instalment of the work referred to in Note B, Section 3.)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 D. Reidel Publishing Company
About this chapter
Cite this chapter
Troelstra, A.S. (1981). The Interplay Between Logic and Mathematics: Intuitionism. In: Agazzi, E. (eds) Modern Logic — A Survey. Synthese Library, vol 149. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-9056-2_12
Download citation
DOI: https://doi.org/10.1007/978-94-009-9056-2_12
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-9058-6
Online ISBN: 978-94-009-9056-2
eBook Packages: Springer Book Archive