Synthese 137 (1-2):43 - 58 (2003)
|Abstract||There are two different ways to introduce the notion of truthin constructive mathematics. The first one is to use a Tarskian definition of truth in aconstructive (meta)language. According to some authors, (Kreisel, van Dalen, Troelstra ... ),this definition is entirely similar to the Tarskian definition of classical truth (thesis A).The second one, due essentially to Heyting and Kolmogorov, and known as theBrouwer–Heyting–Kolmogorov interpretation, is to explain informally what it means fora mathematical proposition to be constructively proved. According to other authors (Martin-Löfand Shapiro), this interpretation and the Tarskian definition of truth amount to thesame (thesis B). My aim in this paper is to show that thesis A is only reasonable, that thesis Bis false and to answer the following question: what is defined by the Tarskian definition ofconstructive truth?|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Configure|
Similar books and articles
João Marcos (2009). What is a Non-Truth-Functional Logic? Studia Logica 92 (2):215 - 240.
Manuel García-Carpintero (1996). What Is a Tarskian Definition of Truth? Philosophical Studies 82 (2):113 - 144.
Manuel García -Carpintero (1996). What is a Tarskian Definition of Truth? Philosophical Studies 82 (2).
Alberto Vanzo (2010). Kant on the Nominal Definition of Truth. Kant-Studien 101 (2):147-166.
Mario Gómez-torrente (1998). Logical Truth and Tarskian Logical Truth. Synthese 117 (3):375-408.
Dan López de Sa (2009). Can One Get Bivalence From (Tarskian) Truth and Falsity? Canadian Journal of Philosophy 39 (2):273-282.
David DeVidi & Graham Solomon (1999). Tarski on “Essentially Richer” Metalanguages. Journal of Philosophical Logic 28 (1):1-28.
Luis Fernández Moreno (2001). Tarskian Truth and the Correspondence Theory. Synthese 126 (1-2):123 - 147.
Added to index2009-01-28
Total downloads7 ( #142,233 of 722,772 )
Recent downloads (6 months)1 ( #60,247 of 722,772 )
How can I increase my downloads?