Categorical quantification

DOI10.1017/BSL.2024.3MaRDI QIDQ6636686zbMATH OpenFDO

Authors Constantin C. Brîncuș

Publication date 12 November 2024

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

Full work available at URL https://doi.org/10.1017/BSL.2024.3

zbMATH Keywords

\(\omega\)-rulecategoricityinferentialismlocal modelsopen-endedness

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Categoricity and completeness of theories (03C35) Models of arithmetic and set theory (03C62) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites work

• Algebraic methods in philosophical logic
• An introduction to Gödel's theorems
• Are the open-ended rules for negation categorical?
• Classical harmony and separability
• Completeness and super-valuations
• Compositionality solves Carnap's problem
• Foundations of logical consequence
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
• Henkin's completeness proof: Forty years later
• scientific article; zbMATH DE number 3154788 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 1560719 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3099235 (Why is no real title available?)
• scientific article; zbMATH DE number 3099236 (Why is no real title available?)
• scientific article; zbMATH DE number 3111916 (Why is no real title available?)
• Inferentialism and the categoricity problem: reply to Raatikainen
• On rules of inference and the meanings of logical constants
• Reason's nearest kin. Philosophies of arithmetic from Kant fo Carnap
• Rejection
• Shadows of Syntax
• Speech acts, categoricity, and the meanings of logical connectives
• The completeness of the first-order functional calculus
• The Ways of Logicality: Invariance and Categoricity
• Transfinite Progressions: A Second Look at Completeness
• Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen

Cited in

(2)

• Inferential quantification and the -rule
• Carnap's (categoricity) problem

This page was built for publication: Categorical quantification

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