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

Authors
Roy T. Cook
University of Minnesota
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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/analys/ans031
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,319
Through your library

References found in this work BETA

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.
Tarski on Truth and Logical Consequence.John Etchemendy - 1988 - Journal of Symbolic Logic 53 (1):51-79.
Truth, Meaning, and Translation.Panu Raatikainen - 2008 - In Douglas Patterson (ed.), New essays on Tarski and philosophy. O.University Press. pp. 247.
Representation and Reality.H. Putnam - 1990 - Tijdschrift Voor Filosofie 52 (1):168-168.

View all 6 references / Add more references

Citations of this work BETA

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 10 citations / Add more citations

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 index
2012-02-23

Total views
163 ( #64,771 of 2,448,695 )

Recent downloads (6 months)
1 ( #447,034 of 2,448,695 )

How can I increase my downloads?

Downloads

My notes