Brouwer's Conception of Truth

Philosophia Mathematica 24 (3):379-400 (2016)
  Copy   BIBTEX

Abstract

In this paper it is argued that the understanding of Brouwer as replacing truth conditions with assertability or proof conditions, in particular as codified in the so-called Brouwer-Heyting-Kolmogorov Interpretation, is misleading and conflates a weak and a strong notion of truth that have to be kept apart to understand Brouwer properly: truth-as-anticipation and truth- in-content. These notions are explained, exegetical documentation provided, and semi-formal recursive definitions are given.

Categories

Keywords

Reprint years

DOI

10.1093/philmat/nkv025

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,471

External links

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

Through your library

My notes

Similar books and articles

Existence, proof and truth-making: A perspective on the intuitionistic conception of truth.Göran Sundholm - 1994 - Topoi 13 (2):117-126.
The Semi Heyting–Brouwer Logic.Juan Manuel Cornejo - 2015 - Studia Logica 103 (4):853-875.
Brouwer-Zadeh logic and the operational approach to quantum mechanics.Roberto Giuntini - 1990 - Foundations of Physics 20 (6):701-714.
What can we learn from the paradox of knowability?Cesare Cozzo - 1994 - Topoi 13 (2):71--78.
Algebraic structure of the truth-values for Lω.Alexander S. Karpenko - 1988 - Bulletin of the Section of Logic 17 (3/4):127-133.
Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof.Hajime Ishihara - 2006 - Notre Dame Journal of Formal Logic 47 (2):249-252.
Brouwer's Philosophy of Mathematics: Review of L. E. J. Brouwer (A. Heyting and H. Freudenthal eds.), Collected Works. [REVIEW]D. A. Gillies - 1980 - Erkenntnis 15 (1):105 - 126.
Dummett, Brouwer and the Metaphysics of Mathematics.Eric P. Tsui-James - 1998 - Grazer Philosophische Studien 55 (1):143-168.
Brouwer's equivalence between virtual and inextensible order.Enrico Martino - 1988 - History and Philosophy of Logic 9 (1):57-66.
On Brouwer's criticism of classical logic and mathematics.Tomasz Placek - 1997 - Logic and Logical Philosophy 5:19-33.
Two conceptions of truth? – Comment.V. Mc Gee - 2005 - Philosophical Studies 124 (1):71 - 104.
Brouwer and Weyl: The phenomenology and mathematics of the intuitive continuumt.Mark van Atten, Dirk van Dalen & Richard Tieszen - 2002 - Philosophia Mathematica 10 (2):203-226.
Brouwer's Incomplete Objects.Joop Niekus - 2010 - History and Philosophy of Logic 31 (1):31-46.
Remarques sur la Notion d'Ordre.L. Brouwer & L. E. J. Brouwer - 1954 - Journal of Symbolic Logic 19 (2):125-126.
Truth: The Deflationary Theory Vs. The Semantic Theory.Glen Adam Hoffmann - 2003 - Dissertation, University of Toronto (Canada)

Analytics

Added to PP
2015-09-16

Downloads
55 (#292,932)

6 months
10 (#280,099)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Choice Sequences and the Continuum.Casper Storm Hansen - 2020 - Erkenntnis 87 (2):517-534.

Add more citations

References found in this work

Truth and other enigmas.Michael Dummett - 1978 - Cambridge: Harvard University Press.
Wittgenstein on rules and private language.Saul A. Kripke - 1982 - Revue Philosophique de la France Et de l'Etranger 173 (4):496-499.
Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.
Truth-Makers.Kevin Mulligan, Peter Simons & Barry Smith - 1984 - Philosophy and Phenomenological Research 44 (3):287-321.

View all 32 references / Add more references