Topoi 13 (2):117-126 (1994)
|Abstract||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)|
|Through your library||Configure|
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 downloads41 ( #27,901 of 549,087 )
Recent downloads (6 months)4 ( #19,228 of 549,087 )
How can I increase my downloads?