|
gptkbp:instanceOf
|
gptkb:academic
branch of logic
|
|
gptkbp:alsoKnownAs
|
gptkb:logic
|
|
gptkbp:appliesTo
|
gptkb:mathematics
gptkb:philosophy
computer science
linguistics
|
|
gptkbp:developedBy
|
19th century
|
|
gptkbp:enables
|
logical analysis
automated reasoning
formal proofs
|
|
gptkbp:fieldOfStudy
|
gptkb:logic
|
|
gptkbp:focusesOn
|
use of symbols to represent logical expressions
|
|
gptkbp:hasSubfield
|
gptkb:logic
recursion theory
fuzzy logic
intuitionistic logic
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Symbolic Logic
|
|
gptkbp:notableFigure
|
gptkb:Alfred_North_Whitehead
gptkb:Alonzo_Church
gptkb:Bertrand_Russell
gptkb:David_Hilbert
gptkb:George_Boole
gptkb:Gottlob_Frege
gptkb:Kurt_Gödel
|
|
gptkbp:notableWork
|
gptkb:Begriffsschrift
gptkb:Principia_Mathematica
gptkb:Laws_of_Thought
|
|
gptkbp:relatedTo
|
gptkb:artificial_intelligence
gptkb:set_theory
computability theory
philosophy of language
|
|
gptkbp:studies
|
gptkb:logic
formal systems
model theory
predicate logic
proof theory
logical semantics
logical syntax
|
|
gptkbp:teaches
|
methods for analyzing logical form
methods for constructing proofs
methods for evaluating arguments
|
|
gptkbp:uses
|
formal languages
logical connectives
quantifiers
variables
|
|
gptkbp:bfsParent
|
gptkb:C._I._Lewis
gptkb:Lewis_Carroll
|
|
gptkbp:bfsLayer
|
4
|
