Intuitionistic logic as epistemic logic

Synthese 127 (1):7 - 19 (2001)
  Copy   BIBTEX

Abstract

In the present day and age, it seems that every constructivist philosopher of mathematics and her brother wants to be known as an intuitionist. In this paper, It will be shown that such a self-identification is in most cases mistaken. For one thing, not any old (or new) constructivism is intuitionism because not any old relevant construction is carried out mentally in intuition, as Brouwer envisaged. (edited)

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Jaakko Hintikka.Isaac Levi - 2004 - Synthese 140 (1):37 - 41.
Intuitionism in mathematics.Bruno Bentzen - 2025 - Internet Encyclopedia of Philosophy.
Wittgenstein and Brouwer.Mathieu Marion - 2003 - Synthese 137 (1):103 - 127.
Brouwer, as never read by Husserl.Mark van Atten - 2003 - Synthese 137 (1):3-19.
Logical Tools for Human Thinking: Jaakko Hintikka.Ilkka Niiniluoto - 2016 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 47 (2):267-276.

Analytics

Added to PP
2009-01-28

Downloads
233 (#174,847)

6 months
31 (#297,550)

Historical graph of downloads
How can I increase my downloads?

References found in this work

S. - 2008 - In A. P. Martinich, A Hobbes Dictionary. Wiley-Blackwell. pp. 269-298.
The Principles of Mathematics Revisited.Jaakko Hintikka - 1996 - New York: Cambridge University Press.
Elements of Intuitionism.Michael Dummett - 1980 - British Journal for the Philosophy of Science 31 (3):299-301.
Truth definitions, Skolem functions and axiomatic set theory.Jaakko Hintikka - 1998 - Bulletin of Symbolic Logic 4 (3):303-337.

View all 6 references / Add more references