The T-schema is not a logical truth

Analysis 72 (2):231-239 (2012)
  Copy   BIBTEX

Abstract

It is shown that the logical truth of instances of the T-schema is incompatible with the formal nature of logical truth. In particular, since the formality of logical truth entails that the set of logical truths is closed under substitution, the logical truth of T-schema instances entails that all sentences are logical truths

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,466

External links

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

Through your library

Similar books and articles

On Horwich's Way Out.Panu Raatikainen - 2005 - Analysis 65 (3):175-177.
A Defense of Contingent Logical Truths.Michael Nelson & Edward N. Zalta - 2012 - Philosophical Studies 157 (1):153-162.
On Using Inconsistent Expressions.Arvid Båve - 2012 - Erkenntnis 77 (1):133-148.
That Truth Exists is More Logical.Noriaki Iwasa - 2011 - Think 10 (27):109-112.
Quine, Synonymy and Logical Truth.Robert Barrett - 1965 - Philosophy of Science 32 (3/4):361-367.
Saving the Truth Schema From Paradox.Hartry Field - 2002 - Journal of Philosophical Logic 31 (1):1-27.
On the Substitutional Characterization of First-Order Logical Truth.Matthew McKeon - 2004 - History and Philosophy of Logic 25 (3):205-224.
Do Logical Truths Carry Information?Manuel E. Bremer - 2003 - Minds and Machines 13 (4):567-575.

Analytics

Added to PP
2012-02-23

Downloads
172 (#72,359)

6 months
8 (#96,545)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Roy T. Cook
University of Minnesota

Citations of this work

There is No Paradox of Logical Validity.Roy T. Cook - 2014 - Logica Universalis 8 (3-4):447-467.
The Inexpressibility of Validity.Julien Murzi - 2014 - Analysis 74 (1):65-81.
A Way Out of the Preface Paradox?Hannes Leitgeb - 2014 - Analysis 74 (1):ant091.
Logical Nihilism and the Logic of ‘Prem’.Andreas Fjellstad - forthcoming - Logic and Logical Philosophy:1.

View all 13 citations / Add more citations

References found in this work

Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
The Concept of Truth in Formalized Languages.Alfred Tarski - 1936 - In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press. pp. 152--278.
Representation and Reality.H. Putnam - 1990 - Tijdschrift Voor Filosofie 52 (1):168-168.
Tarski on Truth and Logical Consequence.John Etchemendy - 1988 - Journal of Symbolic Logic 53 (1):51-79.
Naming and Necessity.S. A. Kripke - 1972 - Tijdschrift Voor Filosofie 45 (4):665-666.

View all 7 references / Add more references