Notre Dame Journal of Formal Logic 59 (1):109-133 (2018)

Authors
Fredrik Engström
University of Gothenburg
Denis Bonnay
Université Paris Nanterre
Abstract
The dual character of invariance under transformations and definability by some operations has been used in classical works by, for example, Galois and Klein. Following Tarski, philosophers of logic have claimed that logical notions themselves could be characterized in terms of invariance. In this article, we generalize a correspondence due to Krasner between invariance under groups of permutations and definability in L∞∞ so as to cover the cases that are of interest in the logicality debates, getting McGee’s theorem about quantifiers invariant under all permutations and definability in pure L∞∞ as a particular case. We also prove some optimality results along the way, regarding the kinds of relations which are needed so that every subgroup of the full permutation group is characterizable as a group of automorphisms.
Keywords automorphism groups   definability   equality-free languages   infinite languages   invariance  generalized quantifiers
Categories (categorize this paper)
DOI 10.1215/00294527-2017-0020
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: 60,694
Through your library

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
Logicality and Invariance.Denis Bonnay - 2006 - Bulletin of Symbolic Logic 14 (1):29-68.
Logical Operations.Vann McGee - 1996 - Journal of Philosophical Logic 25 (6):567 - 580.

View all 15 references / Add more references

Citations of this work BETA

What Are Structural Properties?†.Johannes Korbmacher & Georg Schiemer - 2018 - Philosophia Mathematica 26 (3):295-323.
Grades of Discrimination: Indiscernibility, Symmetry, and Relativity.Tim Button - 2017 - Notre Dame Journal of Formal Logic 58 (4):527-553.

Add more citations

Similar books and articles

Set-Theoretical Invariance Criteria for Logicality.Solomon Feferman - 2010 - Notre Dame Journal of Formal Logic 51 (1):3-20.
Logicality and Invariance.Denis Bonnay - 2006 - Bulletin of Symbolic Logic 14 (1):29-68.
Henkin Quantifiers and the Definability of Truth.Tapani Hyttinen & Gabriel Sandu - 2000 - Journal of Philosophical Logic 29 (5):507-527.
Definability of Polyadic Lifts of Generalized Quantifiers.Lauri Hella, Jouko Väänänen & Dag Westerståhl - 1997 - Journal of Logic, Language and Information 6 (3):305-335.

Analytics

Added to PP index
2017-08-25

Total views
30 ( #355,900 of 2,438,584 )

Recent downloads (6 months)
1 ( #436,491 of 2,438,584 )

How can I increase my downloads?

Downloads

My notes