Conservative Theories of Classical Truth |
| |
| Authors: | Volker Halbach |
| |
| Affiliation: | (1) Department of Philosophy, University of Notre Dame, Notre Dame, IN, 46556, U.S.A.;(2) Universität Konstanz Fachgruppe Philosophie, Postfach 5560, 78434 Konstanz, Germany |
| |
| 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. |
| |
| Keywords: | truth satisfaction class cut elimination |
| 本文献已被 SpringerLink 等数据库收录！ |
|
