David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Topoi 13 (2):117-126 (1994)
Truth-maker analyses construe truth as existence of proof, a well-known example being that offered by Wittgenstein in theTractatus. The paper subsumes the intuitionistic view of truth as existence of proof under the general truth-maker scheme. Two generic constraints on truth-maker analysis are noted and positioned with respect to the writings of Michael Dummett and theTractatus. Examination of the writings of Brouwer, Heyting and Weyl indicates the specific notions of truth-maker and existence that are at issue in the intuitionistic truth-maker analysis, namely that of proof in the sense of proof-object (Brouwer, Heyting) and existence in the nonpropositional sense of a judgement abstract (Weyl). Furthermore, possible anticipations in the writings of Schlick and Pfänder are noted.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Maria van der Schaar (2011). The Cognitive Act and the First-Person Perspective: An Epistemology for Constructive Type Theory. [REVIEW] Synthese 180 (3):391-417.
Goran Sundholm (1998). Proofs as Acts and Proofs as Objects: Some Questions for Dag Prawitz. Theoria 64 (2-3):187-216.
Maria van der Schaar (2011). Assertion and Grounding: A Theory of Assertion for Constructive Type Theory. Synthese 183 (2):187-210.
Maria Schaar (2011). Assertion and Grounding: A Theory of Assertion for Constructive Type Theory. Synthese 183 (2):187-210.
Similar books and articles
Greg Restall (2009). Truth Values and Proof Theory. Studia Logica 92 (2):241 - 264.
Nikolaj Jang Lee Linding Pedersen (2006). What Can the Problem of Mixed Inferences Teach Us About Alethic Pluralism? The Monist 89 (1):103-117.
Nikolaj Jang Linding Pedersen (2006). What Can the Problem of Mixed Inferences Teach Us About Alethic Pluralism? The Monist 89 (1):102-117.
Dag Prawitz (2012). Truth as an Epistemic Notion. Topoi 31 (1):9-16.
Stewart Candlish, The Identity Theory of Truth. Stanford Encyclopedia of Philosophy.
Benjamin Schnieder (2006). Truth-Making Without Truth-Makers. Synthese 152 (1):21-46.
Jonathan Tallant (2009). Presentism and Truth-Making. Erkenntnis 71 (3):407-416.
Gabriele Usberti (2012). Anti-Realist Truth and Truth-Recognition. Topoi 31 (1):37-45.
Cesare Cozzo (1994). What Can We Learn From the Paradox of Knowability? Topoi 13 (2):71--78.
Michael Pendlebury (2010). Facts and Truth-Making. Topoi 29 (2):137-145.
Added to index2009-01-28
Total downloads55 ( #62,214 of 1,726,249 )
Recent downloads (6 months)3 ( #231,316 of 1,726,249 )
How can I increase my downloads?