Supervaluation on Trees for Kripke’s Theory of Truth

Review of Symbolic Logic 8 (1):46-74 (2015)
  Copy   BIBTEX

Abstract

A method of supervaluation for Kripke’s theory of truth is presented. It differs from Kripke’s own method in that it employs trees; results in a compositional semantics; assigns the intuitively correct truth values to the sentences of a particularly tricky example of Gupta’s; and – it is argued – is acceptable as an explication of the correspondence theory of truth.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,873

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Truth, Dependence and Supervaluation: Living with the Ghost.Toby Meadows - 2013 - Journal of Philosophical Logic 42 (2):221-240.
Truth in applicative theories.Reinhard Kahle - 2001 - Studia Logica 68 (1):103-128.
Kripke: modalità e verità.Achille C. Varzi - 2010 - In Andrea Borghini (ed.), (ed.), Il genio compreso. La filosofia di Saul Kripke. Carocci Editore. pp. 21–76, 186–191.
Trees for truth.Juan Barba - 2001 - Nordic Journal of Philosophical Logic 6 (1):71-99.
A theory of formal truth arithmetically equivalent to ID.Andrea Cantini - 1990 - Journal of Symbolic Logic 55 (1):244 - 259.
Axioms for grounded truth.Thomas Schindler - 2014 - Review of Symbolic Logic 7 (1):73-83.
Vagueness, Logic and Truth.Mary Elizabeth Cohen - 1987 - Dissertation, The Ohio State University
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
Fregean Free Logics.Siu-Fan Lee - 2009 - Philosophical Researches (Dec):123-129.
Comparing fixed-point and revision theories of truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.

Analytics

Added to PP
2015-03-20

Downloads
32 (#513,578)

6 months
8 (#411,508)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Revision Without Revision Sequences: Self-Referential Truth.Edoardo Rivello - 2019 - Journal of Philosophical Logic 48 (3):523-551.
A Unified Theory of Truth and Paradox.Lorenzo Rossi - 2019 - Review of Symbolic Logic 12 (2):209-254.
Revision Without Revision Sequences: Circular Definitions.Edoardo Rivello - 2019 - Journal of Philosophical Logic 48 (1):57-85.

Add more citations

References found in this work

On what grounds what.Jonathan Schaffer - 2009 - In David Manley, David J. Chalmers & Ryan Wasserman (eds.), Metametaphysics: New Essays on the Foundations of Ontology. Oxford University Press. pp. 347-383.
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Paradox without Self-Reference.Stephen Yablo - 1993 - Analysis 53 (4):251-252.
Singular terms, truth-value gaps, and free logic.Bas C. van Fraassen - 1966 - Journal of Philosophy 63 (17):481-495.
Truth and paradox.Anil Gupta - 1982 - Journal of Philosophical Logic 11 (1):1-60.

View all 15 references / Add more references