Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion

DOI10.1007/978-3-319-18362-6_2zbMath1437.03020OpenAlexW948581330MaRDI QIDQ3299517

Solomon Feferman

Publication date: 23 July 2020

Published in: Synthese Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-18362-6_2

zbMATH Keywords

natural deductionfirst order logiclogical constantatomic formulapropositional variable

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic with extra quantifiers and operators (03C80)

Related Items (8)

ISOMORPHISM INVARIANCE AND OVERGENERATION ⋮ CARNAP’S PROBLEM FOR MODAL LOGIC ⋮ Invariance and definability, with and without equality ⋮ Implicit Definitions, Second-Order Quantifiers, and the Robustness of the Logical Operators ⋮ Quantification and Logical Form ⋮ A note on logicality of generalized quantifiers ⋮ From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory ⋮ Sameness

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Set-theoretical invariance criteria for logicality
• The adequacy problem for classical logic
• Untersuchungen über das logische Schliessen. I
• What is Logic?
• What are logical notions?
• The Problem of Logical Constants
• Logic with the quantifier “there exist uncountably many”
• Logic, logics, and logicism
• Logical operations

This page was built for publication: Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion