Switch to: Citations

Add references

You must login to add references.
  1. Axiomatic Theories of Truth.Volker Halbach - 2010 - Cambridge, England: Cambridge University Press.
    At the centre of the traditional discussion of truth is the question of how truth is defined. Recent research, especially with the development of deflationist accounts of truth, has tended to take truth as an undefined primitive notion governed by axioms, while the liar paradox and cognate paradoxes pose problems for certain seemingly natural axioms for truth. In this book, Volker Halbach examines the most important axiomatizations of truth, explores their properties and shows how the logical results impinge on the (...)
    Download  
     
    Export citation  
     
    Bookmark   93 citations  
  • The deflationists' axioms for truth.Volker Halbach & Leon Horsten - 2005 - In Jc Beall & Bradley P. Armour-Garb (eds.), Deflationism and Paradox. Oxford, England: Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Saving truth from paradox.Hartry H. Field - 2008 - New York: Oxford University Press.
    A selective background -- Broadly classical approaches -- Paracompleteness -- More on paracomplete solutions -- Paraconsistent dialetheism.
    Download  
     
    Export citation  
     
    Bookmark   334 citations  
  • A theory of formal truth arithmetically equivalent to ID.Andrea Cantini - 1990 - Journal of Symbolic Logic 55 (1):244 - 259.
    We present a theory VF of partial truth over Peano arithmetic and we prove that VF and ID 1 have the same arithmetical content. The semantics of VF is inspired by van Fraassen's notion of supervaluation.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
    Definitional and axiomatic theories of truth -- Objects of truth -- Tarski -- Truth and set theory -- Technical preliminaries -- Comparing axiomatic theories of truth -- Disquotation -- Classical compositional truth -- Hierarchies -- Typed and type-free theories of truth -- Reasons against typing -- Axioms and rules -- Axioms for type-free truth -- Classical symmetric truth -- Kripke-Feferman -- Axiomatizing Kripke's theory in partial logic -- Grounded truth -- Alternative evaluation schemata -- Disquotation -- Classical logic -- Deflationism (...)
    Download  
     
    Export citation  
     
    Bookmark   118 citations  
  • Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
    A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.
    Download  
     
    Export citation  
     
    Bookmark   880 citations  
  • Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.
    Download  
     
    Export citation  
     
    Bookmark   145 citations  
  • What Truth Depends on.Hannes Leitgeb - 2005 - Journal of Philosophical Logic 34 (2):155-192.
    What kinds of sentences with truth predicate may be inserted plausibly and consistently into the T-scheme? We state an answer in terms of dependence: those sentences which depend directly or indirectly on non-semantic states of affairs (only). In order to make this precise we introduce a theory of dependence according to which a sentence φ is said to depend on a set Φ of sentences iff the truth value of φ supervenes on the presence or absence of the sentences of (...)
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  • Truth, Dependence and Supervaluation: Living with the Ghost.Toby Meadows - 2013 - Journal of Philosophical Logic 42 (2):221-240.
    In J Philos Logic 34:155–192, 2005, Leitgeb provides a theory of truth which is based on a theory of semantic dependence. We argue here that the conceptual thrust of this approach provides us with the best way of dealing with semantic paradoxes in a manner that is acceptable to a classical logician. However, in investigating a problem that was raised at the end of J Philos Logic 34:155–192, 2005, we discover that something is missing from Leitgeb’s original definition. Moreover, we (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Relative truth definability of axiomatic truth theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.
    The present paper suggests relative truth definability as a tool for comparing conceptual aspects of axiomatic theories of truth and gives an overview of recent developments of axiomatic theories of truth in the light of it. We also show several new proof-theoretic results via relative truth definability including a complete answer to the conjecture raised by Feferman in [13].
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Axioms for determinateness and truth.Solomon Feferman - 2008 - Review of Symbolic Logic 1 (2):204-217.
    elaboration of the last part of my Tarski Lecture, “Truth unbound”, UC Berkeley, 3 April 2006, and of the lecture, “A nicer formal theory of non-hierarchical truth”, Workshop on Mathematical Methods in Philosophy, Banff , 18-23 Feb. 2007.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Truth and reduction.Volker Halbach - 2000 - Erkenntnis 53 (1-2):97-126.
    The proof-theoretic results on axiomatic theories oftruth obtained by different authors in recent years are surveyed.In particular, the theories of truth are related to subsystems ofsecond-order analysis. On the basis of these results, thesuitability of axiomatic theories of truth for ontologicalreduction is evaluated.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Grounding, dependence, and paradox.Steve Yablo - 1982 - Journal of Philosophical Logic 11 (1):117 - 137.
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Paradoxes of grounding in semantics.Hans G. Herzberger - 1970 - Journal of Philosophy 67 (6):145-167.
    Download  
     
    Export citation  
     
    Bookmark   62 citations