A proof-theoretic account of classical principles of truth

Annals of Pure and Applied Logic 164 (10):1009-1024 (2013)
  Copy   BIBTEX

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 Rathjen

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2013.05.010

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,829

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Truth from a Proof-Theoretic Perspective.Luca Tranchini - 2012 - Topoi 31 (1):47-57.
An ordinal analysis for theories of self-referential truth.Graham Emil Leigh & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):213-247.
The structure of logical consequence : proof-theoretic conceptions.Ole T. Hjortland - unknown
Game theory and conventiont.Neil Tennant - 2001 - Nordic Journal of Philosophical Logic 6 (1):3-19.
A proof-theoretic study of the correspondence of classical logic and modal logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
Towards a Proof-Theoretic Semantics for Dynamic Logics.V. Sikimic - unknown
A proof–theoretic study of the correspondence of hybrid logic and classical logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.
The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics.Peter Schroeder-Heister - 2012 - Synthese 187 (3):925-942.
Complexity, Existence and Infinite Analysis.Giovanni Merlo - 2012 - The Leibniz Review 22:9-36.
A proof-theoretic analysis of collection.Lev D. Beklemishev - 1998 - Archive for Mathematical Logic 37 (5-6):275-296.
Bertrand Russell and logical truth.Matthew Mckeon - 1999 - Philosophia 27 (3-4):541-553.

Analytics

Added to PP
2013-12-12

Downloads
62 (#259,857)

6 months
13 (#194,369)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

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.

Add more citations

References found in this work

Toward useful type-free theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.
An Axiomatic Approach to Self-Referential Truth.Harvey Friedman & Michael Sheard - 1987 - Annals of Pure and Applied Logic 33 (1):1--21.
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 - Mathematical Logic Quarterly 35 (2):97-130.
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Zeitshrift für Mathematische Logik Und Grundlagen der Mathematik 35 (1):97--130.

View all 15 references / Add more references