- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A proof-theoretic account of classical principles of truth
Annals of Pure and Applied Logic 164 (10):1009-1024 (2013)
Abstract
This paper explores the interface between principles of self-applicable truth and classical logic. To this end, the proof-theoretic strength of a number of axiomatic theories of truth over intuitionistic logic is determined. The theories considered correspond to the maximal consistent collections of fifteen truth-theoretic principles as isolated in Leigh and RathjenAuthor's Profile
Other Versions
No versions found
My notes
Similar books and articles
An ordinal analysis for theories of self-referential truth.Graham Emil Leigh & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):213-247.
The Friedman—Sheard programme in intuitionistic logic.Graham E. Leigh & Michael Rathjen - 2012 - Journal of Symbolic Logic 77 (3):777-806.
Truth, Reflection, and Commitment.Leon Horsten & Matteo Zicchetti - 2021 - In Carlo Nicolai & Johannes Stern (eds.), Modes of Truth: The Unified Approach to Truth, Modality, and Paradox. New York, NY: Routledge. pp. 69-87.
On Cut-Elimination Arguments for Axiomatic Theories of Truth.Daichi Hayashi - 2022 - Studia Logica 110 (3):785-818.
Autonomous progression and transfinite iteration of self-applicable truth.Kentaro Fujimoto - 2011 - Journal of Symbolic Logic 76 (3):914 - 945.
Proof-theoretic conservations of weak weak intuitionistic constructive set theories.Lev Gordeev - 2013 - Annals of Pure and Applied Logic 164 (12):1274-1292.
Analytics
Added to PP
2013-12-12
Downloads
74 (#282,566)
6 months
9 (#477,108)
2013-12-12
Downloads
74 (#282,566)
6 months
9 (#477,108)
Historical graph of downloads
Author's Profile
Citations of this work
Conservativity for theories of compositional truth via cut elimination.Graham E. Leigh - 2015 - Journal of Symbolic Logic 80 (3):845-865.
Unifying the Philosophy of Truth.Theodora Achourioti, Henri Galinon, José Martínez Fernández & Kentaro Fujimoto (eds.) - 2015 - Dordrecht, Netherland: Springer.
Truth, Pretense and the Liar Paradox.Bradley Armour-Garb & James A. Woodbridge - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 339-354.
References found in this work
Toward useful type-free theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Zeitshrift für Mathematische Logik Und Grundlagen der Mathematik 35 (1):97--130.
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Mathematical Logic Quarterly 35 (2):97-130.
A theory of formal truth arithmetically equivalent to ID.Andrea Cantini - 1990 - Journal of Symbolic Logic 55 (1):244 - 259.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-lv8mh dc2