Studia Logica

, Volume 62, Issue 3, pp 353–370

Conservative Theories of Classical Truth

  • Volker Halbach
Article

DOI: 10.1023/A:1005148426909

Cite this article as:
Halbach, V. Studia Logica (1999) 62: 353. doi:10.1023/A:1005148426909

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.

truth satisfaction class cut elimination 

Copyright information

© Kluwer Academic Publishers 1999

Authors and Affiliations

  • Volker Halbach
    • 1
    • 2
  1. 1.Department of PhilosophyUniversity of Notre DameNotre DameU.S.A.
  2. 2.Universität Konstanz Fachgruppe PhilosophieKonstanzGermany