Set-theoretical Invariance Criteria for Logicality

This is a survey of work on set-theoretical invariance criteria for logicality. It begins with a review of the Tarski-Sher thesis in terms, first, of permutation invariance over a given domain and then of isomorphism invariance across domains, both characterized by McGee in terms of definability in the language L∞,∞. It continues with a review of critiques of the Tarski-Sher thesis, and a proposal in response to one of those critiques via homomorphism invariance. That has quite divergent characterization results depending on its formulation, one in terms of FOL, the other by Bonnay in terms of L∞,∞, both without equality. From that we move on to a survey of Bonnay’s work on similarity relations between structures and his results that single out invariance with respect to potential isomorphism among all such. Turning to the critique that calls for sameness of meaning of a logical operation across domains, the paper continues with a result showing that the isomorphism invariant operations that are absolutely definable with respect to KPU−Inf are exactly those definable in full FOL; this makes use of an old theorem of Manders. The concluding section is devoted to a critical discussion of the arguments for set-theoretical criteria for logicality
Keywords criteria for logicality   set-theoretical invariance criteria   similarity invariance   isomorphism invariance   homomorphism invariance   absoluteness
Categories (categorize this paper)
DOI 10.1215/00294527-2010-002
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 16,667
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

Add more citations

Similar books and articles
Denis Bonnay (2006). Logicality and Invariance. Bulletin of Symbolic Logic 14 (1):29-68.
Enrique Casanovas (2007). Logical Operations and Invariance. Journal of Philosophical Logic 36 (1):33 - 60.
Gila Sher (2008). Tarski's Thesis. In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press 300--339.
Solomon Feferman (1999). Logic, Logics, and Logicism. Notre Dame Journal of Formal Logic 40 (1):31-54.

Monthly downloads

Added to index


Total downloads

41 ( #81,917 of 1,726,249 )

Recent downloads (6 months)

7 ( #99,332 of 1,726,249 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.