|
gptkbp:instanceOf
|
gptkb:logical_notation
gptkb:book
|
|
gptkbp:author
|
gptkb:Gottlob_Frege
|
|
gptkbp:countryOfPublication
|
gptkb:Halle
|
|
gptkbp:field
|
gptkb:logic
gptkb:philosophy
|
|
gptkbp:fullTitle
|
Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens
|
|
http://www.w3.org/2000/01/rdf-schema#label
|
Frege's Begriffsschrift
|
|
gptkbp:influenced
|
gptkb:Alfred_North_Whitehead
gptkb:Bertrand_Russell
gptkb:Principia_Mathematica
modern predicate logic
|
|
gptkbp:introduced
|
quantification
formal system for logic
|
|
gptkbp:language
|
gptkb:German
|
|
gptkbp:notableFor
|
first formal system of predicate logic
introduction of variables and quantifiers
|
|
gptkbp:pages
|
88
|
|
gptkbp:publicationYear
|
1879
|
|
gptkbp:publisher
|
gptkb:Louis_Nebert
|
|
gptkbp:relatedTo
|
gptkb:Gottlob_Frege
|
|
gptkbp:relatedWork
|
gptkb:Grundgesetze_der_Arithmetik
gptkb:Principia_Mathematica
|
|
gptkbp:subject
|
gptkb:logic
gptkb:mathematics
philosophy of language
|
|
gptkbp:translatedInto
|
gptkb:French
gptkb:Italian
gptkb:Spanish
English
|
|
gptkbp:type
|
monograph
|
|
gptkbp:bfsParent
|
gptkb:Peirce's_existential_graphs
gptkb:Peirce's_graphical_logic
gptkb:Peirce's_logic_of_relations
|
|
gptkbp:bfsLayer
|
7
|