Invariance and Definability, with and without Equality - Université Paris Nanterre Access content directly
Journal Articles Notre Dame Journal of Formal Logic Year : 2018

Invariance and Definability, with and without Equality


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∞∞L∞∞L so as to cover the cases (quantifiers, logics without equality) that are of interest in the logicality debates, getting McGee's theorem about quantifiers invariant under all permutations and definability in pure L∞∞L∞∞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.
Fichier principal
Vignette du fichier
1308.1565v1.pdf (299.05 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-02572483 , version 1 (29-04-2024)



Denis Bonnay, Fredrik Engström. Invariance and Definability, with and without Equality. Notre Dame Journal of Formal Logic, 2018, 59 (1), pp.109--133. ⟨10.1215/00294527-2017-0020⟩. ⟨hal-02572483⟩
18 View
0 Download



Gmail Mastodon Facebook X LinkedIn More