Logical operations and invariance

Journal of Philosophical Logic 36 (1):33 - 60 (2006)
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
Keywords logical operations  logical constants
Categories (categorize this paper)
Reprint years 2007
DOI 10.1007/s10992-006-9034-y
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 26,178
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.
On a Generalization of Quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
The Problem of Logical Constants.Mario Gomez-Torrente - 2002 - Bulletin of Symbolic Logic 8 (1):1-37.

View all 13 references / Add more references

Citations of this work BETA
Modal Logic and Invariance.Johan Van Benthem & Denis Bonnay - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):153-173.

Add more citations

Similar books and articles
Two Theorems on Invariance and Causality.Nancy Cartwright - 2003 - Philosophy of Science 70 (1):203-224.
Logic, Logics, and Logicism.Solomon Feferman - 1999 - Notre Dame Journal of Formal Logic 40 (1):31-54.
Tarski's Thesis.Gila Sher - 2008 - In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press. pp. 300--339.
Notions of Invariance for Abstraction Principles.G. A. Antonelli - 2010 - Philosophia Mathematica 18 (3):276-292.
Logical Operations.Vann McGee - 1996 - Journal of Philosophical Logic 25 (6):567 - 580.
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.

Monthly downloads

Added to index

2009-01-28

Total downloads

22 ( #223,086 of 2,153,578 )

Recent downloads (6 months)

4 ( #184,516 of 2,153,578 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums