David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
Pacific Philosophical Quarterly 70 (4):341-368 (1989)
In this paper I develop a new conception of Tarskian logic based on Tarski’s intuitive characterization of logical consequence as formal and necessary in his 1936 paper. Special emphasis is placed on the role of logic in our system of knowledge, the origins of semantics, the semantic definition of logical consequence, and the role of logical and non-logical terms in a logical system. The paper offers a new definition of logical terms based on the question: what division of terms into logical and extra-logical would yield a logical system that satisfies Tarski’s intuitive characterization of logical consequence in complete generality? I discuss the consequences of the new conception for revision in logic, the logicist thesis, and the relation between logic and mathematics. I offer a proof-theoretic perspective on the semantic conception delineated in this paper. And I conclude with a postscript on Tarski’s lecture, “What are Logical Notions?”, which was published shortly after the present conception of logic was developed.
|Keywords||Logic Tarski Tarskian logic Semantics Logical consequence Logical terms Task of logic Definition of logical terms Logicism|
|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
No references found.
Citations of this work BETA
Gila Sher (1990). Ways of Branching Quantifers. Linguistics and Philosophy 13 (4):393 - 422.
Similar books and articles
William H. Hanson (1999). Ray on Tarski on Logical Consequence. Journal of Philosophical Logic 28 (6):605-616.
Mario Gómez-torrente (1998). Logical Truth and Tarskian Logical Truth. Synthese 117 (3):375-408.
Luca Bellotti (2003). Tarski on Logical Notions. Synthese 135 (3):401 - 413.
Timothy Bays (2001). On Tarski on Models. Journal of Symbolic Logic 66 (4):1701-1726.
Manuel García-Carpintero (2003). Gómez-Torrente on Modality and Tarskian Logical Consequence. Theoria 18 (2):159-170.
Alfred Tarski (1936). The Concept of Truth in Formalized Languages. In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press 152--278.
Volker Halbach (1997). Tarskian and Kripkean Truth. Journal of Philosophical Logic 26 (1):69-80.
Luis Fernández Moreno (2001). Tarskian Truth and the Correspondence Theory. Synthese 126 (1-2):123 - 147.
Matthew W. McKeon (2010). The Concept of Logical Consequence: An Introduction to Philosophical Logic. Peter Lang Pub..
Gila Sher (2011). Is Logic in the Mind or in the World? Synthese 181 (2):353 - 365.
João Marcos (2009). What is a Non-Truth-Functional Logic? Studia Logica 92 (2):215 - 240.
Ignacio Jané (2006). What is Tarski's Common Concept of Consequence? Bulletin of Symbolic Logic 12 (1):1-42.
Markus Pantsar (2009). Truth, Proof and Gödelian Arguments: A Defence of Tarskian Truth in Mathematics. Dissertation, University of Helsinki
Added to index2010-12-22
Total downloads39 ( #111,109 of 1,935,082 )
Recent downloads (6 months)4 ( #146,219 of 1,935,082 )
How can I increase my downloads?