Logical operations and invariance

Journal of Philosophical Logic 36 (1):33 - 60 (2007)
  Copy   BIBTEX

Abstract

I present a notion of invariance under arbitrary surjective mappings for operators on a relational finite type hierarchy generalizing the so-called Tarski-Sher criterion for logicality and I characterize the invariant operators as definable in a fragment of the first-order language. These results are compared with those obtained by Feferman and it is argued that further clarification of the notion of invariance is needed if one wants to use it to characterize logicality

Links

PhilArchive



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

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

Two Theorems on Invariance and Causality.Nancy Cartwright - 2003 - Philosophy of Science 70 (1):203-224.
Set-Theoretical Invariance Criteria for Logicality.Solomon Feferman - 2010 - Notre Dame Journal of Formal Logic 51 (1):3-20.
Logical Operations.Vann McGee - 1996 - Journal of Philosophical Logic 25 (6):567 - 580.
Notions of Invariance for Abstraction Principles.G. A. Antonelli - 2010 - Philosophia Mathematica 18 (3):276-292.
Tarski's Thesis.Gila Sher - 2008 - In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press. pp. 300--339.
Logic, Logics, and Logicism.Solomon Feferman - 1999 - Notre Dame Journal of Formal Logic 40 (1):31-54.
Logicality and Invariance.Denis Bonnay - 2006 - Bulletin of Symbolic Logic 14 (1):29-68.

Analytics

Added to PP
2009-01-28

Downloads
56 (#209,212)

6 months
3 (#211,550)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logicality and Invariance.Denis Bonnay - 2006 - Bulletin of Symbolic Logic 14 (1):29-68.
Alfred Tarski: Philosophy of Language and Logic.Douglas Patterson - 2012 - Basingstoke and London, UK: Palgrave-Macmillan.
Logicality and Meaning.Gil Sagi - 2018 - Review of Symbolic Logic 11 (1):133-159.
Tarski's Thesis.Gila Sher - 2008 - In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press. pp. 300--339.
Isomorphism Invariance and Overgeneration.Owen Griffiths & A. C. Paseau - 2016 - Bulletin of Symbolic Logic 22 (4):482-503.

View all 11 citations / Add more citations

References found in this work

What Are Logical Notions?Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.
On a Generalization of Quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
Logical Operations.Vann McGee - 1996 - Journal of Philosophical Logic 25 (6):567 - 580.
Logic, Logics, and Logicism.Solomon Feferman - 1999 - Notre Dame Journal of Formal Logic 40 (1):31-54.

View all 13 references / Add more references