Notre Dame Journal of Formal Logic 51 (1):3-20 (2010)
|Abstract||This is a survey of work on set-theoretical invariance criteria for logicality. It begins with a review of the Tarski-Sher thesis in terms, first, of permutation invariance over a given domain and then of isomorphism invariance across domains, both characterized by McGee in terms of definability in the language L∞,∞. It continues with a review of critiques of the Tarski-Sher thesis, and a proposal in response to one of those critiques via homomorphism invariance. That has quite divergent characterization results depending on its formulation, one in terms of FOL, the other by Bonnay in terms of L∞,∞, both without equality. From that we move on to a survey of Bonnay’s work on similarity relations between structures and his results that single out invariance with respect to potential isomorphism among all such. Turning to the critique that calls for sameness of meaning of a logical operation across domains, the paper continues with a result showing that the isomorphism invariant operations that are absolutely definable with respect to KPU−Inf are exactly those definable in full FOL; this makes use of an old theorem of Manders. The concluding section is devoted to a critical discussion of the arguments for set-theoretical criteria for logicality|
|Keywords||criteria for logicality set-theoretical invariance criteria similarity invariance isomorphism invariance homomorphism invariance absoluteness|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Denis Bonnay (2006). Logicality and Invariance. Bulletin of Symbolic Logic 14 (1):29-68.
Enrique Casanovas (2007). Logical Operations and Invariance. Journal of Philosophical Logic 36 (1):33 - 60.
Catarina Dutilh Novaes (forthcoming). The Undergeneration of Permutation Invariance as a Criterion for Logicality. Erkenntnis:1-17.
Solomon Feferman (1999). Logic, Logics, and Logicism. Notre Dame Journal of Formal Logic 40 (1):31-54.
Nancy Cartwright (2003). Two Theorems on Invariance and Causality. Philosophy of Science 70 (1):203-224.
G. A. Antonelli (2010). Notions of Invariance for Abstraction Principles. Philosophia Mathematica 18 (3):276-292.
Nancy Cartwright (2002). Against Modularity, the Causal Markov Condition, and Any Link Between the Two: Comments on Hausman and Woodward. British Journal for the Philosophy of Science 53 (3):411-453.
Chuang Liu (1996). Gauge Invariance, Cauchy Problem, Indeterminism, and Symmetry Breaking. Philosophy of Science 63 (3):79.
Michael Pelczar (2008). On an Argument for Functional Invariance. Minds and Machines 18 (3):373-377.
Ilkka Niiniluoto (1997). Reference Invariance and Truthlikeness. Philosophy of Science 64 (4):546-554.
Jim Woodward (2001). Law and Explanation in Biology: Invariance is the Kind of Stability That Matters. Philosophy of Science 68 (1):1-20.
Bruce J. MacLennan (1998). Finding Order in Our World: The Primacy of the Concrete in Neural Representations and the Role of Invariance in Substance Reidentification. Behavioral and Brain Sciences 21 (1):78-79.
Daniel Steel (2006). Methodological Individualism, Explanation, and Invariance. Philosophy of the Social Sciences 36 (4):440-463.
Added to index2010-09-13
Total downloads22 ( #62,693 of 722,929 )
Recent downloads (6 months)1 ( #61,087 of 722,929 )
How can I increase my downloads?