Tarskian and Kripkean truth
Journal of Philosophical Logic 26 (1):69-80 (1997)
| Abstract | A theory of the transfinite Tarskian hierarchy of languages is outlined and compared to a notion of partial truth by Kripke. It is shown that the hierarchy can be embedded into Kripkes minimal fixed point model. From this results on the expressive power of both approaches are obtained. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesVolker Halbach & Leon Horsten (2006). Axiomatizing Kripke's Theory of Truth. Journal of Symbolic Logic 71 (1):677--712.
Markus Pantsar (2009). Truth, Proof and Gödelian Arguments: A Defence of Tarskian Truth in Mathematics. Dissertation, University of Helsinki
Bo Mou (2001). The Enumerative Character of Tarski's Definition of Truth and its General Character in a Tarskian System. Synthese 126 (1-2):91 - 121.
Volker Halbach (1999). Disquotationalism and Infinite Conjunctions. Mind 108 (429):1-22.
Jeffrey Ketland (1999). Deflationism and Tarski's Paradise. Mind 108 (429):69-94.
Dan López de Sa (2009). Can One Get Bivalence From (Tarskian) Truth and Falsity? Canadian Journal of Philosophy 39 (2):273-282.
Jean Fichot (2003). Truth, Proofs and Functions. Synthese 137 (1-2):43 - 58.
Mario Gómez-torrente (1998). Logical Truth and Tarskian Logical Truth. Synthese 117 (3):375-408.
Volker Halbach (1995). Tarski Hierarchies. Erkenntnis 43 (3):339 - 367.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads37 ( #31,859 of 548,983 )Recent downloads (6 months)1 ( #63,327 of 548,983 )How can I increase my downloads? |
My notes
Discussion
