- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
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 Kripke's minimal fixed point model. From this results on the expressive power of both approaches are obtainedAuthor's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
Truth and meaning.Robert C. Cummins - 2002 - In Joseph Keim-Campbell, Michael O'Rourke & David Shier (eds.), Meaning and Truth: Investigations in Philosophical Semantics. Seven Bridges Press. pp. 175-197.
The enumerative character of Tarski's definition of truth and its general character in a Tarskian system.Bo Mou - 2001 - Synthese 126 (1-2):91 - 121.
Truth, Proof and Gödelian Arguments: A Defence of Tarskian Truth in Mathematics.Markus Pantsar - 2009 - Dissertation, University of Helsinki
Analytics
Added to PP
2009-01-28
Downloads
147 (#123,112)
6 months
9 (#250,037)
2009-01-28
Downloads
147 (#123,112)
6 months
9 (#250,037)
Historical graph of downloads
Author's Profile
Citations of this work
Where the Paths Meet: Remarks on Truth and Paradox.Jc Beall - 2008 - Midwest Studies in Philosophy 32 (1):169-198.
References found in this work
Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge, Mass.: MIT Press.
Truth, Vagueness, and Paradox: An Essay on the Logic of Truth.Vann McGee - 1990 - Indianapolis, IN, USA: Hackett.
Elementary induction on abstract structures.Yiannis Nicholas Moschovakis - 1974 - Mineola, N.Y.: Dover Publications.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6d9b7f7c4c-67rzb uwo