Implicit Definitions, Second-Order Quantifiers, and the Robustness of the Logical Operators

DOI10.1007/978-3-319-18362-6_3zbMath1437.03040OpenAlexW982818995MaRDI QIDQ3299518

Arnold Koslow

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_3

zbMATH Keywords

universal quantificationnegation operatorfilter conditionlogical operatorintroduction condition

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Higher-order logic (03B16)

Cites Work

• The foundations of mathematics. A study in the philosophy of science
• What's so logical about the logical axioms?
• Foundational studies. Selected works. Vol. I, II
• The adequacy problem for classical logic
• AN “i” FOR ANi: SINGULAR TERMS, UNIQUENESS, AND REFERENCE
• Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Implicit Definitions, Second-Order Quantifiers, and the Robustness of the Logical Operators