Categorical quantification

DOI10.1017/BSL.2024.3MaRDI QIDQ6636686FDOQ6636686

Authors: Constantin C. Brîncuș 

Publication date: 12 November 2024

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

zbMATH Keywords

categoricityinferentialismlocal models\(\omega\)-ruleopen-endedness

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) 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)

Cites Work

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

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)