Logicality and Invariance

DOI10.2178/bsl/1208358843zbMath1146.03002OpenAlexW2007806072MaRDI QIDQ5387295

Denis Bonnay

Publication date: 8 May 2008

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/b770d833e237e9febd021766be597c69490b1d6d

zbMATH Keywords

invarianceinfinitary logiclogicismabstract model theorypotential isomorphismlogicalitylambda-definabilityset-theoretic quantifierTarski's thesis

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Logic with extra quantifiers and operators (03C80) Abstract deductive systems (03B22) Other infinitary logic (03C75) Abstract model theory (03C95)

Related Items

LOGICALITY AND MODEL CLASSES, ISOMORPHISM INVARIANCE AND OVERGENERATION, INVARIANCE CRITERIA AS META-CONSTRAINTS, MATHEMATICAL INFERENCE AND LOGICAL INFERENCE, Reassessing logical hylomorphism and the demarcation of logical constants, Why logical pluralism?, Human Thought, Mathematics, and Physical Discovery, Invariance and definability, with and without equality, Extensionality and logicality, Compositionality solves Carnap's problem, Carnap and the invariance of logical truth, Semantic Nominalism: How I Learned to Stop Worrying and Love Universals, LOGICALITY AND MEANING, Consequence mining. Constants versus consequence relations, 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08, Sameness, Modal logic and invariance, Generalized Quantifiers Meet Modal Neighborhood Semantics

Cites Work

• What are logical notions?
• Generalized quantifiers and natural language
• Logic, logics, and logicism
• Unnamed Item
• Unnamed Item