The Friedman—Sheard programme in intuitionistic logic

&
Journal of Symbolic Logic 77 (3):777-806 (2012)
  Copy   BIBTEX

Abstract

This paper compares the roles classical and intuitionistic logic play in restricting the free use of truth principles in arithmetic. We consider fifteen of the most commonly used axiomatic principles of truth and classify every subset of them as either consistent or inconsistent over a weak purely intuitionistic theory of truth

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1344862162

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,665

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

A proof-theoretic account of classical principles of truth.Graham E. Leigh - 2013 - Annals of Pure and Applied Logic 164 (10):1009-1024.
An ordinal analysis for theories of self-referential truth.Graham Emil Leigh & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):213-247.
Modality and axiomatic theories of truth I: Friedman-Sheard.Johannes Stern - 2014 - Review of Symbolic Logic 7 (2):273-298.
Some Weak Theories of Truth.Graham E. Leigh - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer.
∈ I : An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity.Steffen Lewitzka - 2009 - Notre Dame Journal of Formal Logic 50 (3):275-301.
Provably recursive functions of constructive and relatively constructive theories.Morteza Moniri - 2010 - Archive for Mathematical Logic 49 (3):291-300.
Possibility Semantics for Intuitionistic Logic.M. J. Cresswell - 2004 - Australasian Journal of Logic 2:11-29.
On Cut-Elimination Arguments for Axiomatic Theories of Truth.Daichi Hayashi - 2022 - Studia Logica 110 (3):785-818.
Improving Strong Negation.Satoru Niki - 2023 - Review of Symbolic Logic 16 (3):951-977.
Proof that Intuitionistic Logic is not Three-Valued.Micah Phillips-Gary - 2021 - The Hemlock Papers 18:4-14.

Analytics

Added to PP
2012-11-06

Downloads
99 (#210,968)

6 months
12 (#274,836)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Paradoxes and contemporary logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.
A proof-theoretic account of classical principles of truth.Graham E. Leigh - 2013 - Annals of Pure and Applied Logic 164 (10):1009-1024.
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

Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
An Axiomatic Approach to Self-Referential Truth.Harvey Friedman & Michael Sheard - 1987 - Annals of Pure and Applied Logic 33 (1):1--21.
How truthlike can a predicate be? A negative result.Vann McGee - 1985 - Journal of Philosophical Logic 14 (4):399 - 410.
A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.

Add more references