Bulletin of Symbolic Logic 14 (1):29-68 (2006)
Authors |
|
Abstract |
What is a logical constant? The question is addressed in the tradition of Tarski's definition of logical operations as operations which are invariant under permutation. The paper introduces a general setting in which invariance criteria for logical operations can be compared and argues for invariance under potential isomorphism as the most natural characterization of logical operations.
|
Keywords | logic invariance permutation tarski philosophy of logic logicality Tarski Feferman analytic |
Categories | (categorize this paper) |
Reprint years | 2008 |
DOI | 10.2178/bsl/1208358843 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
What Are Logical Notions?John Corcoran & Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.
What Does It Mean to Say That Logic is Formal?John MacFarlane - 2000 - Dissertation, University of Pittsburgh
View all 12 references / Add more references
Citations of this work BETA
What Are Structural Properties?†.Johannes Korbmacher & Georg Schiemer - 2018 - Philosophia Mathematica 26 (3):295-323.
Reassessing Logical Hylomorphism and the Demarcation of Logical Constants.Catarina Dutilh Novaes - 2012 - Synthese 185 (3):387 - 410.
Formality in Logic: From Logical Terms to Semantic Constraints.Gil Sagi - 2014 - Logique Et Analyse 57 (227).
Notions of Invariance for Abstraction Principles.G. A. Antonelli - 2010 - Philosophia Mathematica 18 (3):276-292.
View all 30 citations / 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.
Logical Operations and Invariance.Enrique Casanovas - 2007 - Journal of Philosophical Logic 36 (1):33 - 60.
Tarski's Thesis.Gila Sher - 2008 - In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press. pp. 300--339.
Notions of Invariance for Abstraction Principles.G. A. Antonelli - 2010 - Philosophia Mathematica 18 (3):276-292.
Logic, Logics, and Logicism.Solomon Feferman - 1999 - Notre Dame Journal of Formal Logic 40 (1):31-54.
Etchemendy, Tarski, and Logical Consequence.Jared Bates - 1999 - Southwest Philosophy Review 15 (1):47-54.
What is Tarski's Common Concept of Consequence?Ignacio Jané - 2006 - Bulletin of Symbolic Logic 12 (1):1-42.
Set-Theoretical Invariance Criteria for Logicality.Solomon Feferman - 2010 - Notre Dame Journal of Formal Logic 51 (1):3-20.
Analytics
Added to PP index
2009-03-04
Total views
819 ( #5,611 of 2,402,081 )
Recent downloads (6 months)
66 ( #10,824 of 2,402,081 )
2009-03-04
Total views
819 ( #5,611 of 2,402,081 )
Recent downloads (6 months)
66 ( #10,824 of 2,402,081 )
How can I increase my downloads?
Downloads