First-Order Logic

GPTKB entity

Statements (51)
Predicate Object
gptkbp:instanceOf gptkb:logic
formal semantics
gptkbp:alsoKnownAs gptkb:first-order_predicate_calculus
predicate logic
quantificational logic
gptkbp:contrastsWith gptkb:second-order_logic
higher-order logic
gptkbp:developedBy gptkb:David_Hilbert
gptkb:Kurt_Gödel
gptkb:Thoralf_Skolem
gptkb:Leopold_Löwenheim
gptkbp:generalizes gptkb:logic
gptkbp:hasApplication gptkb:artificial_intelligence
gptkb:knowledge_representation
automated theorem proving
formal verification
database theory
gptkbp:hasComponent quantifiers
variables
constants
functions
predicates
gptkbp:hasProperty gptkb:Löwenheim–Skolem_property
completeness
undecidability
compactness
gptkbp:hasQuantifiers existential quantifier
universal quantifier
gptkbp:hasSemantics gptkb:model
interpretations
gptkbp:hasStandardNotation =
¬ (not)
→ (implies)
∀ (for all)
∃ (there exists)
∧ (and)
∨ (or)
gptkbp:hasSyntax formulas
terms
sentences
https://www.w3.org/2000/01/rdf-schema#label First-Order Logic
gptkbp:inventedBy gptkb:Gottlob_Frege
gptkbp:limitation cannot express some properties of infinite structures
gptkbp:studiedIn model theory
proof theory
gptkbp:usedIn gptkb:mathematics
gptkb:philosophy
computer science
linguistics
gptkbp:bfsParent gptkb:Ontological_Commitment
gptkbp:bfsLayer 7