Logicality and model classes

Bulletin of Symbolic Logic 27 (4):385-414 (2021)
  Copy   BIBTEX


We ask, when is a property of a model a logical property? According to the so-called Tarski–Sher criterion this is the case when the property is preserved by isomorphisms. We relate this to model-theoretic characteristics of abstract logics in which the model class is definable. This results in a graded concept of logicality in the terminology of Sagi [46]. We investigate which characteristics of logics, such as variants of the Löwenheim–Skolem theorem, Completeness theorem, and absoluteness, are relevant from the logicality point of view, continuing earlier work by Bonnay, Feferman, and Sagi. We suggest that a logic is the more logical the closer it is to first order logic. We also offer a refinement of the result of McGee that logical properties of models can be expressed in $L_{\infty \infty }$ if the expression is allowed to depend on the cardinality of the model, based on replacing $L_{\infty \infty }$ by a “tamer” logic.



    Upload a copy of this work     Papers currently archived: 74,594

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Invariance and Logicality in Perspective.Gila Sher - 2021 - In Gil Sagi & Jack Woods (eds.), The Semantic Conception of Logic: Essays on Consequence, Invariance, and Meaning. Cambridge, Britain: Cambridge University Press. pp. 13-34.
Logical Indefinites.Jack Woods - 2014 - Logique Et Analyse -- Special Issue Edited by Julien Murzi and Massimiliano Carrara 227: 277-307.
Logical Operations and Invariance.Enrique Casanovas - 2007 - Journal of Philosophical Logic 36 (1):33 - 60.
Logicality and Meaning.Gil Sagi - 2018 - Review of Symbolic Logic 11 (1):133-159.
Logical Operations and Invariance.Enrique Casanovas - 2007 - Journal of Philosophical Logic 36 (1):33-60.
A Note on Logicality of Generalized Quantifiers.Tin Perkov - 2021 - Logica Universalis 15 (2):149-152.
On the Logicality of Truth.Kentaro Fujimoto - 2022 - Philosophical Quarterly 72 (4):853-874.
Logicality and Invariance.Denis Bonnay - 2006 - Bulletin of Symbolic Logic 14 (1):29-68.
Is Logic in the Mind or in the World?Gila Sher - 2011 - Synthese 181 (2):353 - 365.
Set-Theoretical Invariance Criteria for Logicality.Solomon Feferman - 2010 - Notre Dame Journal of Formal Logic 51 (1):3-20.


Added to PP

4 (#1,230,208)

6 months
2 (#278,494)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Juliette Kennedy
University of Helsinki
Jouko A Vaananen
University of Helsinki

Citations of this work

No citations found.

Add more citations

References found in this work

What Are Logical Notions?Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.
Nominalist Platonism.George Boolos - 1985 - Philosophical Review 94 (3):327-344.
The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
Philosophy of Logic.Willard V. O. Quine - 1986 - Philosophy 17 (3):392-393.

View all 34 references / Add more references