second-order logic

GPTKB entity

Statements (31)
Predicate Object
gptkbp:instanceOf formal semantics
gptkbp:extendsTo gptkb:first-order_logic
gptkbp:field gptkb:logic
gptkbp:hasApplication gptkb:logic
foundations of mathematics
categoricity proofs
formalization of arithmetic
gptkbp:hasProperty greater expressive power than first-order logic
categorical for some theories (e.g., real numbers)
not compact (in standard semantics)
not complete (in standard semantics)
gptkbp:hasSemantics gptkb:Henkin_semantics
standard semantics
gptkbp:hasSyntax predicate variables
second-order quantifiers
https://www.w3.org/2000/01/rdf-schema#label second-order logic
gptkbp:limitation undecidable
not compact
no complete proof system for standard semantics
gptkbp:quantifiesOver individuals
functions
relations
gptkbp:relatedTo gptkb:logic
gptkb:set_theory
higher-order logic
gptkbp:studiedBy logicians
gptkbp:usedIn model theory
philosophy of logic
axiomatization of mathematics
gptkbp:bfsParent gptkb:logic
gptkbp:bfsLayer 4