David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 137 (1-2):43 - 58 (2003)
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)
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
No citations found.
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 ( #183,895 of 1,098,981 )
Recent downloads (6 months)1 ( #287,052 of 1,098,981 )
How can I increase my downloads?