Concept
Second-order logic
Overview
extension of first-order logic allowing quantification over functions and relations
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Philosophers who discussed Second-order logic
Related ideas
- First-order logic
- Journal of Symbolic Logic
- Finite set
- Gödel's completeness theorem
- Proof assistant
- Skolem's paradox
- Springer Science+Business Media
- Compactness theorem
- Zermelo–Fraenkel set theory
- Kurt Gödel
- Jaakko Hintikka
- Law of excluded middle
- Propositional logic
- Proof theory
- Function (mathematics)
- Mathematics
- Mathematical induction
- Real number
- Sentence (mathematical logic)
- Oxford
- Domain of discourse
- Power set
- Peano axioms
- Archimedean property
Opposing perspectives
Place in the tradition
Part of Outline of philosophy.
Narrower topics: