Journal of Philosophical Logic 36 (1):33 - 60 (2007)
|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)|
|Through your library||Configure|
Similar books and articles
Nancy Cartwright (2003). Two Theorems on Invariance and Causality. Philosophy of Science 70 (1):203-224.
Arnold Koslow (2007). Structuralist Logic: Implications, Inferences, and Consequences. [REVIEW] Logica Universalis 1 (1):167-181.
Solomon Feferman (1999). Logic, Logics, and Logicism. Notre Dame Journal of Formal Logic 40 (1):31-54.
Fabrizio Cariani, Marc Pauly & Josh Snyder (2008). Decision Framing in Judgment Aggregation. Synthese 163 (1):1 - 24.
G. A. Antonelli (2010). Notions of Invariance for Abstraction Principles. Philosophia Mathematica 18 (3):276-292.
Vann McGee (1996). Logical Operations. Journal of Philosophical Logic 25 (6):567 - 580.
Solomon Feferman (2010). Set-Theoretical Invariance Criteria for Logicality. Notre Dame Journal of Formal Logic 51 (1):3-20.
Denis Bonnay (2006). Logicality and Invariance. Bulletin of Symbolic Logic 14 (1):29-68.
Added to index2009-01-28
Total downloads5 ( #169,891 of 722,744 )
Recent downloads (6 months)0
How can I increase my downloads?