Pacific Philosophical Quarterly 70 (4):341-368 (1989)

Gila Sher
University of California, San Diego
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)
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: 70,214
External links

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.

Add more references

Citations of this work BETA

Ways of Branching Quantifers.Gila Sher - 1990 - Linguistics and Philosophy 13 (4):393 - 422.
On Tarski on Models.Timothy Bays - 2001 - Journal of Symbolic Logic 66 (4):1701-1726.

Add more citations

Similar books and articles

Ray on Tarski on Logical Consequence.William H. Hanson - 1999 - Journal of Philosophical Logic 28 (6):605-616.
Tarski on Logical Notions.Luca Bellotti - 2003 - Synthese 135 (3):401 - 413.
On Tarski on Models.Timothy Bays - 2001 - Journal of Symbolic Logic 66 (4):1701-1726.
The Concept of Truth in Formalized Languages.Alfred Tarski - 1936 - In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press. pp. 152--278.
Tarskian and Kripkean Truth.Volker Halbach - 1997 - Journal of Philosophical Logic 26 (1):69-80.
Is Logic in the Mind or in the World?Gila Sher - 2011 - Synthese 181 (2):353 - 365.
What is Tarski's Common Concept of Consequence?Ignacio Jané - 2006 - Bulletin of Symbolic Logic 12 (1):1-42.


Added to PP index

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?


My notes