Bulletin of Symbolic Logic 28 (1):104-132 (2022)

Gil Sagi
University of Haifa
Invariance criteria are widely accepted as a means to demarcate the logical vocabulary of a language. In previous work, I proposed a framework of “semantic constraints” for model theoretic consequence which does not rely on a strict distinction between logical and nonlogical terms, but rather on a range of constraints on models restricting the interpretations of terms in the language in different ways. In this paper I show how invariance criteria can be generalized so as to apply to semantic constraints on models. Some obviously unpalatable semantic constraints turn out to be invariant under isomorphisms. I shall connect our discussion to known counterexamples to invariance criteria for logical terms, and so the generalization will also shed light on the current existing debate on logicality. I analyse the failure of invariance to fulfil its role as a criterion for logicality, and argue that invariance conditions should best be thought of as merely methodological meta-constraints restricting the ways the model-theoretic apparatus should be used.
Keywords logical consequence  logical constants  invariance criteria  semantic constraints
Categories (categorize this paper)
DOI 10.1017/bsl.2021.67
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: 71,379
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

Reason, Truth and History.Hilary Putnam - 1981 - Cambridge University Press.
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
What Are Logical Notions?Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.
The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.

View all 31 references / Add more references

Citations of this work BETA

No citations found.

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.
Refining OntoClean. Identity Criteria and Grounding.Ciro De Florio & Massimiliano Carrara - 2020 - Proceedings of the Joint Ontology Workshops (JOWO 2020).
Characterizing Invariance.Jack Woods - 2016 - Ergo: An Open Access Journal of Philosophy 3:778-807.
Logicality and Invariance.Denis Bonnay - 2006 - Bulletin of Symbolic Logic 14 (1):29-68.
In Defense of Meta-Analysis.Bennett Holman - 2019 - Synthese 196 (8):3189-3211.
Invariance as a Basis for Necessity and Laws.Gila Sher - 2021 - Philosophical Studies 178 (12):3945-3974.
Trust as a Meta‐Emotion.Simone Belli & Fernando Broncano - 2017 - Metaphilosophy 48 (4):430-448.
The Meta-Rules of Problems Solving. Arguments for the Invariance.A. Strzalecki - 2004 - Zagadnienia Naukoznawstwa 40 (4 (162)):575-599.


Added to PP index

Total views
21 ( #537,301 of 2,519,663 )

Recent downloads (6 months)
11 ( #66,504 of 2,519,663 )

How can I increase my downloads?


My notes