David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Alfred Tarski (1956). Logic, Semantics, Metamathematics. Oxford, Clarendon Press.
Scott Soames (1999). Understanding Truth. Oxford University Press.
John Etchemendy (1990). The Concept of Logical Consequence. Harvard University Press.
Gila Sher (1996). Did Tarski Commit "Tarski's Fallacy"? Journal of Symbolic Logic 61 (2):653-686.
Citations of this work BETA
Catarina Dutilh Novaes (2011). The Different Ways in Which Logic is (Said to Be) Formal. History and Philosophy of Logic 32 (4):303 - 332.
William H. Hanson (2006). Actuality, Necessity, and Logical Truth. Philosophical Studies 130 (3):437 - 459.
Mario Gómez-Torrente (2009). Rereading Tarski on Logical Consequence. Review of Symbolic Logic 2 (2):249-297.
William H. Hanson (2006). Actuality, Necessity, and Logical Truth. Philosophical Studies 130 (3):437-459.
Similar books and articles
Agustín Rayo & Timothy Williamson (2003). A Completeness Theorem for Unrestricted First-Order Languages. In Jc Beall (ed.), Liars and Heaps. Oxford University Press
William H. Hanson (1999). Ray on Tarski on Logical Consequence. Journal of Philosophical Logic 28 (6):605-616.
Greg Ray (1996). Logical Consequence: A Defense of Tarski. Journal of Philosophical Logic 25 (6):617 - 677.
Matthew W. McKeon (2010). The Concept of Logical Consequence: An Introduction to Philosophical Logic. Peter Lang Pub..
Ignacio Jane (1997). Theoremhood and Logical Consequence. Theoria 12 (1):139-160.
Mario Gómez-torrente (1998). Logical Truth and Tarskian Logical Truth. Synthese 117 (3):375-408.
Manuel García-Carpintero (2003). Gómez-Torrente on Modality and Tarskian Logical Consequence. Theoria 18 (2):159-170.
Added to index2009-01-28
Total downloads42 ( #98,144 of 1,796,421 )
Recent downloads (6 months)8 ( #97,566 of 1,796,421 )
How can I increase my downloads?