T-equivalences for positive sentences

Review of Symbolic Logic 4 (2):319-325 (2011)
  Copy   BIBTEX

Abstract

Answering a question formulated by Halbach (2009), I show that a disquotational truth theory, which takes as axioms all positive substitutions of the sentential T-schema, together with all instances of induction in the language with the truth predicate, is conservative over its syntactical base.

Similar books and articles

Questioning Gödel's Ontological Proof: Is Truth Positive?Gregor Damschen - 2011 - European Journal for Philosophy of Religion 3 (1):161-169.
Disquotational truth and analyticity.Volker Halbach - 2001 - Journal of Symbolic Logic 66 (4):1959-1973.
Two Critical Contributions to the Problem of Truth and Meaning.Jan Woleński - 2007 - Polish Journal of Philosophy 1 (1):137-141.
What is Quine's view of truth?Donald Davidson - 1994 - Inquiry: An Interdisciplinary Journal of Philosophy 37 (4):437 – 440.
On applications of truth-value connectives for testing arguments with natural connectives.Andrzej Pietruszczak - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):143-156.
Quine's truth.Lars Bergström - 1994 - Inquiry: An Interdisciplinary Journal of Philosophy 37 (4):421-435.
New wave deflationism.Nic Damnjanovic - 2010 - In Cory D. Wright & Nikolaj Pedersen (eds.), New Waves in Truth. Palgrave-Macmillan. pp. 45--58.

Analytics

Added to PP
2012-11-23

Downloads
478 (#37,523)

6 months
109 (#33,129)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Cezary Cieslinski
University of Warsaw

Citations of this work

Truth is Simple.Leon Horsten & Graham E. Leigh - 2017 - Mind 126 (501):195-232.
The Innocence of Truth.Cezary Cieśliński - 2015 - Dialectica 69 (1):61-85.
Typed and Untyped Disquotational Truth.Cezary Cieśliński - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer.

View all 8 citations / Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.
Maximal consistent sets of instances of Tarski’s schema.Vann McGee - 1992 - Journal of Philosophical Logic 21 (3):235 - 241.
Reducing compositional to disquotational truth.Volker Halbach - 2009 - Review of Symbolic Logic 2 (4):786-798.
Models of Peano Arithmetic.Richard Kaye - 1991 - Clarendon Press.

View all 7 references / Add more references