Invariance criteria as meta-constraints

DOI10.1017/BSL.2021.67MaRDI QIDQ5067873zbMATH OpenOpenAlexFDO

Authors Gil Sagi

Publication date 4 April 2022

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

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

zbMATH Keywords

invariance criterialogical consequencelogical constantssemantic constraints

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Logicality and Invariance
• Set-theoretical invariance criteria for logicality
• Logical constants in quantifier languages
• Isomorphism invariance and overgeneration
• Models and logical consequence

Cites work

• An Extension of Klein's Erlanger Program: Logic as Invariant-Theory
• Compositionality solves Carnap's problem
• Did Tarski commit “Tarski's fallacy”?
• Epistemic friction. An essay on knowledge, truth, and logic
• Extensionality and logicality
• Formality in logic from logical terms to semantic constraints
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 1254481 (Why is no real title available?)
• scientific article; zbMATH DE number 1329021 (Why is no real title available?)
• scientific article; zbMATH DE number 976409 (Why is no real title available?)
• scientific article; zbMATH DE number 3051936 (Why is no real title available?)
• Logic, logics, and logicism
• Logical constants across varying types
• Logical constants as punctuation marks
• Logical operations
• Logical operations and invariance
• Logicality and Invariance
• Logicality and meaning
• On a generalization of quantifiers
• The bounds of logic. A generalized viewpoint
• The logical roots of indeterminacy
• The metaphysics of logical consequence
• The Problem of Logical Constants
• What are logical notions?

Cited in

(8)

• Formality in logic from logical terms to semantic constraints
• Logical constants in quantifier languages
• Logicality and meaning
• Models and logical consequence
• A hierarchy of logical constants
• Isomorphism invariance and overgeneration
• Abstract logics as classifications of abstract structures
• Logical operations and invariance

This page was built for publication: Invariance criteria as meta-constraints

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