Pacific Philosophical Quarterly 70 (4):341-368 (1989)
Authors |
|
Abstract |
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) |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Similar books and articles
Ray on Tarski on Logical Consequence.William H. Hanson - 1999 - Journal of Philosophical Logic 28 (6):605-616.
Gómez-Torrente on Modality and Tarskian Logical Consequence.Manuel García-Carpintero - 2003 - Theoria 18 (2):159-170.
The Concept of Truth in Formalized Languages.Alfred Tarski - 1936 - In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press. pp. 152--278.
The Concept of Logical Consequence: An Introduction to Philosophical Logic.Matthew W. McKeon - 2010 - Peter Lang.
What is Tarski's Common Concept of Consequence?Ignacio Jané - 2006 - Bulletin of Symbolic Logic 12 (1):1-42.
Truth, Proof and Gödelian Arguments: A Defence of Tarskian Truth in Mathematics.Markus Pantsar - 2009 - Dissertation, University of Helsinki
Analytics
Added to PP index
2010-12-22
Total views
64 ( #178,792 of 2,507,565 )
Recent downloads (6 months)
3 ( #209,626 of 2,507,565 )
2010-12-22
Total views
64 ( #178,792 of 2,507,565 )
Recent downloads (6 months)
3 ( #209,626 of 2,507,565 )
How can I increase my downloads?
Downloads