Hostname: page-component-745bb68f8f-g4j75 Total loading time: 0 Render date: 2025-02-11T15:03:26.307Z Has data issue: false hasContentIssue false
  • English
  • Français

CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION

Published online by Cambridge University Press:  22 July 2015

GRAHAM E. LEIGH
GRAHAM E. LEIGH*
Affiliation:
INSTITUTE OF DISCRETE MATHEMATICS AND GEOMETRY VIENNA UNIVERSITY OF TECHNOLOGY WIEDNER HAUPTSTRAßE 8–10 1040 VIENNA, AUSTRIAE-mail: graham.leigh@tuwien.ac.at
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We present a cut elimination argument that witnesses the conservativity of the compositional axioms for truth (without the extended induction axiom) over any theory interpreting a weak subsystem of arithmetic. In doing so we also fix a critical error in Halbach’s original presentation. Our methods show that the admission of these axioms determines a hyper-exponential reduction in the size of derivations of truth-free statements.

Keywords

proof theorycut eliminationaxiomatic truthcompositional theory of truth
Type
Articles
Information
The Journal of Symbolic Logic , Volume 80 , Issue 3 , September 2015 , pp. 845 - 865
Copyright
Copyright © The Association for Symbolic Logic 2015 

References

REFERENCES

Barwise, J., Admissible Sets and Structures: An Approach to Definability Theory, Springer–Verlag, Berlin, 1975.CrossRefGoogle Scholar
Enayat, A. and Visser, A., Full satisfaction classes in a general setting (Part 1), unpublished manuscript, 2012.Google Scholar
Enayat, A. and Visser, A., New constructions of satisfaction classes, Unifying the philosophy of truth (Achourioti, T., Galinon, H., Fujimoto, K. and Martínez-Fernández, J., editors), in press.Google Scholar
Feferman, S., Reflecting on incompleteness, this Journal, vol. 56 (1991), pp. 1–49.Google Scholar
Fischer, M., Minimal truth and interpretability. Review of Symbolic Logic, vol. 2 (2009), no. 4, pp. 799–815.CrossRefGoogle Scholar
Friedman, H. and Sheard, M., An Axiomatic Approach to Self-Referential Truth. Annals of Pure and Applied Logic, vol. 33 (1987), pp. 1–21.CrossRefGoogle Scholar
Halbach, V., Conservative theories of classical truth. Studia Logica, vol. 62 (1999), pp. 353–370.CrossRefGoogle Scholar
Halbach, V., Axiomatic theories of truth, Cambridge University Press, Cambridge, 2011.CrossRefGoogle Scholar
Halbach, V., Axiomatic theories of truth, second edition. Cambridge University Press, Cambridge, 2014.CrossRefGoogle Scholar
Halbach, V. and Leigh, G. E., Axiomatic theories of truth (Zalta, E. N., editors), The Stanford Encyclopedia of Philosophy (Summer 2014 Edition), url http://plato.stanford.edu/archives/sum2014/entries/truth-axiomatic/.Google Scholar
Krajewski, S., Nonstandard satisfaction classes, Set Theory and Hierarchy Theory: A Memorial Tribute to Andrzej Mostowski (Marek, W. et al. , editors), Lecture Notes in Mathematics, vol. 537, Springer-Verlag, Berlin, 1976, pp. 121–144.CrossRefGoogle Scholar
Kotlarski, H., Bounded Induction and Satisfaction Classes. Zeitschrift für Mathematische Logik, vol. 32 (1986), pp. 531–44.CrossRefGoogle Scholar
Kotlarski, H., Krajewski, S., and Lachlan, A. H., Construction of satisfaction classes for nonstandard models. Canadian Mathematical Bulletin, vol. 24 (1981), pp. 283–93.CrossRefGoogle Scholar
Leigh, G. E., A proof-theoretic account of classical principles of truth. Annals of Pure and Applied Logic, vol. 164 (2013), pp. 1009–1024.CrossRefGoogle Scholar
Leigh, G. E. and Rathjen, M., An ordinal analysis for theories of self-referential truth. Archive for Mathematical Logic, vol. 49 (2010), no. 2, pp. 213–247.CrossRefGoogle Scholar
Leigh, G. E. and Rathjen, M., The Friedman-Sheard programme in intuitionistic logic, this Journal, vol. 77 (2012), no. 3, pp. 777–806.Google Scholar