A note on formality and logical consequence

Journal of Philosophical Logic 29 (5):529-539 (2000)
Logic is formal in the sense that all arguments of the same form as logically valid arguments are also logically valid and hence truth-preserving. However, it is not known whether all arguments that are valid in the usual model-theoretic sense are truthpreserving. Tarski claimed that it could be proved that all arguments that are valid (in the sense of validity he contemplated in his 1936 paper on logical consequence) are truthpreserving. But he did not offer the proof. The question arises whether the usual modeltheoretic sense of validity and Tarski's 1936 sense are the same. I argue in this paper that they probably are not, and that the proof Tarski had in mind, although unusable to prove that model-theoretically valid arguments are truth-preserving, can be used to prove that arguments valid in Tarski's 1936 sense are truth-preserving
Keywords logical consequence  validity  form  Tarski
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1026510905204
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,349
Through your library
References found in this work BETA
Logic, Semantics, Metamathematics.Alfred Tarski - 1956 - Oxford, Clarendon Press.
The Concept of Logical Consequence.John Etchemendy - 1990 - Harvard University Press.
Did Tarski Commit "Tarski's Fallacy"?Gila Sher - 1996 - Journal of Symbolic Logic 61 (2):653-686.
The Concept of Logical Consequence.William H. Hanson - 1997 - Philosophical Review 106 (3):365-409.

View all 13 references / Add more references

Citations of this work BETA
The Different Ways in Which Logic is (Said to Be) Formal.Catarina Dutilh Novaes - 2011 - History and Philosophy of Logic 32 (4):303 - 332.
Actuality, Necessity, and Logical Truth.William H. Hanson - 2006 - Philosophical Studies 130 (3):437-459.
Rereading Tarski on Logical Consequence.Mario Gómez-Torrente - 2009 - Review of Symbolic Logic 2 (2):249-297.

Add more citations

Similar books and articles
Added to PP index

Total downloads
46 ( #116,494 of 2,193,590 )

Recent downloads (6 months)
1 ( #290,647 of 2,193,590 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature