Logicality and Invariance

DOI10.2178/BSL/1208358843MaRDI QIDQ5387295zbMATH OpenOpenAlexFDO

Authors Denis Bonnay

Publication date 8 May 2008

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

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

zbMATH Keywords

abstract model theoryinfinitary logicinvariancelambda-definabilitylogicalitylogicismpotential isomorphismset-theoretic quantifierTarski's thesis

Mathematics Subject Classification ID

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

Recommendations

• Set-theoretical invariance criteria for logicality
• Logical operations and invariance
• Logic, logics, and logicism
• Isomorphism invariance and overgeneration
• A hierarchy of logical constants

Cites work

• Generalized quantifiers and natural language
• scientific article; zbMATH DE number 1846036 (Why is no real title available?)
• scientific article; zbMATH DE number 1433941 (Why is no real title available?)
• Logic, logics, and logicism
• What are logical notions?

Cited in

(34)

• Abstract logical constants
• Invariance and definability, with and without equality
• Compositionality solves Carnap's problem
• Carnap and the invariance of logical truth
• A note on logicality of generalized quantifiers
• Extensionality and logicality
• Logical indefinites
• Semantic nominalism: how i learned to stop worrying and love universals
• 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
• Modal logic and invariance
• Reassessing logical hylomorphism and the demarcation of logical constants
• scientific article; zbMATH DE number 1984511 (Why is no real title available?)
• Mathematical inference and logical inference
• Logicality and meaning
• Generalized Quantifiers Meet Modal Neighborhood Semantics
• LOGICALITY AND MODEL CLASSES
• Invariance criteria as meta-constraints
• Sameness
• A hierarchy of logical constants
• Isomorphism invariance and overgeneration
• scientific article; zbMATH DE number 2209823 (Why is no real title available?)
• Logic, logics, and logicism
• Logical operations
• Why logical pluralism?
• Human Thought, Mathematics, and Physical Discovery
• Logical constants and the sorites paradox
• Logical constants and arithmetical forms
• Logical hylomorphism revisited: Aristotle, Tarski, and Corcoran
• Grounding and defining identity
• Abstract logics as classifications of abstract structures
• Consequence mining. Constants versus consequence relations
• Logical operations and invariance
• Logical constants across varying types
• Set-theoretical invariance criteria for logicality

This page was built for publication: Logicality and Invariance

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5387295)