Skip to main content
SpringerLink
Log in

Conservative Theories of Classical Truth

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Dragalin, A., ‘Correctness of inconsistent theories with notions of feasibility’, inComputation theory. Fifth Symposium, Zaborów Poland, December 1984 Proceedings, Lecture Notes in Computer Science 208, pages 58–79, Springer, 1985.

  2. Halbach, V., ‘A system of complete and consistent truth’,Notre Dame Journal of Formal Logic 35: 311–327, 1994.

    Google Scholar 

  3. Halbach, V.,Axiomatische Wahrheitstheorien, Akademie Verlag, Berlin, 1996.

    Google Scholar 

  4. Kaye, R.,Models of Peano Arithmetic, Oxford Logic Guides, Oxford University Press, 1991.

  5. Kotlarski, H., ‘Full satisfaction classes: a survey’,Notre Dame Journal of Formal Logic 32: 573–579, 1991.

    Google Scholar 

  6. Kotlarski, H.,S. Krajewski, andA. Lachlan, ‘Construction of satisfaction classes for nonstandard models’,Canadian Mathematical Bulletin 24: 283–293, 1981.

    Google Scholar 

  7. Krajewski, S., ‘Nonstandard satisfaction classes’, inSet Theory and Hierarchy Theory, pages 121–145, Lecture notes in mathematics, Springer, 1976.

  8. Lachlan, A., ‘Full satisfaction classes and recursive saturation’,Canadian Mathematical Bulletin 24: 295–297, 1981.

    Google Scholar 

  9. McGee, V.,Truth, Vagueness and Paradox, Hackett Publishing, Indianapolis, 1991.

    Google Scholar 

  10. Mostowski, A., ‘Some impredicative definitions in the axiomatic set-theory’,Fundamenta Mathematicae 37: 111–124, 1950.

    Google Scholar 

  11. Smith, S.,Non-standard Syntax and Semantics and Full Satisfaction Classes, PhD thesis, Yale University, New Haven, Connecticut, 1984.

    Google Scholar 

  12. Takeuti, G.,Proof Theory, North Holland, Amsterdam, second edition, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, University of Notre Dame, Notre Dame, IN, 46556, U.S.A.

    Volker Halbach

  2. Universität Konstanz Fachgruppe Philosophie, Postfach 5560, 78434, Konstanz, Germany

    Volker Halbach

Authors
  1. Volker Halbach
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Halbach, V. Conservative Theories of Classical Truth. Studia Logica 62, 353–370 (1999). https://doi.org/10.1023/A:1005148426909

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005148426909

Search

Navigation