Conservative theories of classical truth

Studia Logica 62 (3):353-370 (1999)
  Copy   BIBTEX

Abstract

Some axiomatic theories of truth and related subsystems of second-order arithmetic are surveyed and shown to be conservative over their respective base theory. In particular, it is shown by purely finitistically means that the theory PA ÷ "there is a satisfaction class" and the theory FS of [2] are conservative over PA.

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1005148426909

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

Through your library

My notes

Similar books and articles

Deflationism, conservativeness and maximality.Cezary Cieśliński - 2007 - Journal of Philosophical Logic 36 (6):695 - 705.
Truth and reduction.Volker Halbach - 2000 - Erkenntnis 53 (1-2):97-126.
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Theories and Theories of Truth.Ryan Christensen - 2011 - Metaphysica 12 (1):31-43.
Editorial introduction.Volker Halbach - 2001 - Studia Logica 68 (1):3-20.
Theories of truth which have no standard models.Hannes Leitgeb - 2001 - Studia Logica 68 (1):69-87.
Justice: A conservative view.John Kekes - 2006 - Social Philosophy and Policy 23 (2):88-108.
Truth, Conservativeness, and Provability.Cezary Cieśliński - 2010 - Mind 119 (474):409-422.

Analytics

Added to PP
2009-01-28

Downloads
75 (#216,695)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Volker Halbach
Oxford University

Citations of this work

Empirical adequacy and ramsification.Jeffrey Ketland - 2004 - British Journal for the Philosophy of Science 55 (2):287-300.
Newman's objection.Peter M. Ainsworth - 2009 - British Journal for the Philosophy of Science 60 (1):135-171.
Classes and truths in set theory.Kentaro Fujimoto - 2012 - Annals of Pure and Applied Logic 163 (11):1484-1523.
Relative truth definability of axiomatic truth theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.

View all 22 citations / Add more citations

References found in this work

Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
A System Of Complete And Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (3):311-327.
Some Impredicative Definitions in the Axiomatic Set-Theory.Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (4):274-275.
Full Satisfaction Classes and Recursive Saturation.Alistair H. Lachlan - 1981 - Canadian Mathematical Bulletin 24 (1):295--97.

Add more references