Isomorphism invariance and overgeneration

DOI10.1017/BSL.2016.37MaRDI QIDQ5283449zbMATH OpenOpenAlexFDO

Authors Owen Griffiths, Alexander Paseau

Publication date 21 July 2017

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

Full work available at URL https://doi.org/10.1017/bsl.2016.37

zbMATH Keywords

model theorysecond-order logiclogical consequencelogical constantsisomorphism invarianceovergeneration argument

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Applications of model theory (03C98)

Recommendations

• Logicality and Invariance
• The overgeneration argument(s): a succinct refutation
• Invariance criteria as meta-constraints
• Set-theoretical invariance criteria for logicality
• Which quantifiers are logical? A combined semantical and inferential criterion

Cites work

• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• scientific article; zbMATH DE number 51086 (Why is no real title available?)
• scientific article; zbMATH DE number 1254481 (Why is no real title available?)
• scientific article; zbMATH DE number 1550341 (Why is no real title available?)
• Epistemic friction. An essay on knowledge, truth, and logic
• Identity and harmony
• Logic, logics, and logicism
• Logical indefinites
• Logical operations
• Logical operations and invariance
• Logicality and Invariance
• Set-theoretical invariance criteria for logicality
• The bounds of logic. A generalized viewpoint
• The foundational problem of logic
• The overgeneration argument(s): a succinct refutation
• The set-theoretic multiverse
• What are logical notions?
• Which logic is the right logic?
• Which modal logic is the right one?
• Which quantifiers are logical? A combined semantical and inferential criterion

Cited in

(4)

• Invariance criteria as meta-constraints
• ISOMORPHISM INVARIANCE AND OVERGENERATION – CORRIGENDUM
• The overgeneration argument(s): a succinct refutation
• Logicality and Invariance

This page was built for publication: Isomorphism invariance and overgeneration

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