Skip to main content
×
Home
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 5
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Nicolai, Carlo 2016. Objectivity, Realism, and Proof.


    Cieśliński, Cezary 2015. The Innocence of Truth. Dialectica, Vol. 69, Issue. 1, p. 61.


    Schindler, Thomas 2015. A Disquotational Theory of Truth as Strong as Z 2 − $Z_{2}^{-}$. Journal of Philosophical Logic, Vol. 44, Issue. 4, p. 395.


    CIEŚLIŃSKI, CEZARY 2011. T-EQUIVALENCES FOR POSITIVE SENTENCES. The Review of Symbolic Logic, Vol. 4, Issue. 02, p. 319.


    Fujimoto, Kentaro 2011. Autonomous progression and transfinite iteration of self-applicable truth. The Journal of Symbolic Logic, Vol. 76, Issue. 03, p. 914.


    ×

REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH

  • VOLKER HALBACH (a1)
  • DOI: http://dx.doi.org/10.1017/S1755020309990220
  • Published online: 01 December 2009
Abstract

Disquotational theories of truth, that is, theories of truth based on the T-sentences or similar equivalences as axioms are often thought to be deductively weak. This view is correct if the truth predicate is allowed to apply only to sentences not containing the truth predicate. By taking a slightly more liberal approach toward the paradoxes, I obtain a disquotational theory of truth that is proof theoretically as strong as compositional theories such as the Kripke–Feferman theory, although it doesn’t probe the compositional axioms.

Copyright
Corresponding author
*NEW COLLEGE, UNIVERSITY OF OXFORD, FACULTY OF PHILOSOPHY, OX1 3BN OXFORD, UK E-mail:volker.halbach@new.ox.ac.uk
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

A Cantini . (1989). Notes on formal theories of truth. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 35, 97130.

C Cieśliński . (2007). Deflationism, conservativeness and maximality. Journal of Philosophical Logic, 36, 695705.

H Field . (1994). Disquotational truth and factually defective discourse. The Philosophical Review, 103, 405452.

V Halbach . (1999a). Conservative theories of classical truth. Studia Logica, 62, 353370.

V Halbach . (1999b). Disquotationalism and infinite conjunctions. Mind, 108, 122.

V Halbach . (2001). How innocent is deflationism? Synthese, 126, 167194.

S Kripke . (1975). Outline of a theory of truth. Journal of Philosophy, 72, 690712.

V McGee . (1992). Maximal consistent sets of instances of Tarski’s schema (T). Journal of Philosophical Logic, 21, 235241.

W Reinhardt . (1986). Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic, 15, 219251.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×