- 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
Other Versions
No versions found
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
Ungroundedness in Tarskian Languages.Saul A. Kripke - 2019 - Journal of Philosophical Logic 48 (3):603-609.
Truth, the Liar, and Tarskian Truth Definition.Greg Ray - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 164–176.
Outline of an Intensional Theory of Truth.Roy T. Cook - 2022 - Notre Dame Journal of Formal Logic 63 (1):81-108.
Comparing fixed-point and revision theories of truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
A Reflection On Russell's Ramified Types And Kripke's Hierarchy Of Truths.Fairouz Kamareddine & Twan Laan - 1996 - Logic Journal of the IGPL 4 (2):195-213.
Truth, the Liar, and Tarski's Semantics.Gila Sher - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 143–163.
University Press, 2011, pp. 176; Leon Horsten, The Tarskian Turn. Deflationism and Axiomatic Truth, Cambridge (MA), The MIT Press, 2011, pp. XII-165; Volker Halbach, Axiomatic Theories of Truth, Cambridge, Cambridge University Press, 2011, pp. 376. [REVIEW]Alexis G. Burgess–John P. Burgess - 2012 - Rivista di Filosofia 103 (2).
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
Groundedness - Its Logic and Metaphysics.Jönne Kriener - 2014 - Dissertation, Birkbeck College, University of London
Analytics
Added to PP
2009-01-28
Downloads
172 (#138,250)
6 months
9 (#497,927)
2009-01-28
Downloads
172 (#138,250)
6 months
9 (#497,927)
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: 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-667477cd97-2pm92 dc2