Abstract
Tarski’s definition of logical consequence can take different forms when implemented in second order languages, depending on what counts as a model. In the canonical, or standard, version, a model is just an ordinary structure and the second-order variables are meant to range over all subsets of its domain. We discuss the dependence of canonical second-order consequence on set theory and raise doubts on the assumption that canonical consequence is a definite relation.
Keywords Analytic Philosophy  Philosophy of Science
Categories (categorize this paper)
ISBN(s) 0495-4548
DOI theoria200318215
Options
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: 51,756
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Lógica y Ontología.Ignacio Jané - 1988 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 4 (1):81-106.
Concepts of Logical Consequence.Darcy Allen Cutler - 1997 - Dissertation, The University of Western Ontario (Canada)
Lógica Y Ontología.Ignacio Jané - 1988 - Theoria 4 (1):81-106.
Reduction and Tarski's Definition of Logical Consequence.Jim Edwards - 2003 - Notre Dame Journal of Formal Logic 44 (1):49-62.
What is Tarski's Common Concept of Consequence?Ignacio Jané - 2006 - Bulletin of Symbolic Logic 12 (1):1-42.
Etchemendy, Tarski, and Logical Consequence.Jared Bates - 1999 - Southwest Philosophy Review 15 (1):47-54.
Theoremhood and Logical Consequence.Ignacio Jane - 1997 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 12 (1):139-160.
Consequence Mining: Constans Versus Consequence Relations.Denis Bonnay & Dag Westerståhl - 2012 - Journal of Philosophical Logic 41 (4):671-709.
Some Remarks on Axiomatizing Logical Consequence Operations.Jacek Malinowski - 2005 - Logic and Logical Philosophy 14 (1):103-117.
Logical Consequence: A Defense of Tarski.Greg Ray - 1996 - Journal of Philosophical Logic 25 (6):617 - 677.
Formal and Informal Consequence.Owen Griffiths - 2014 - Thought: A Journal of Philosophy 3 (1):9-20.
Model Theory and Validity.Yannis Stephanou - 2000 - Synthese 123 (2):165-193.
Reinflating Logical Consequence.Owen Griffiths - 2012 - Journal of Philosophical Logic (1):1-9.
Ray on Tarski on Logical Consequence.William H. Hanson - 1999 - Journal of Philosophical Logic 28 (6):605-616.

Analytics

Added to PP index
2009-01-28

Total views
158 ( #55,300 of 2,333,917 )

Recent downloads (6 months)
1 ( #585,936 of 2,333,917 )

How can I increase my downloads?

Downloads

My notes