Begriffsschrift

GPTKB entity
AI-created image of Begriffsschrift
AI-created image

Statements (25)
Predicate Object
gptkbp:instanceOf formal semantics
gptkbp:creator gptkb:Gottlob_Frege
gptkbp:fullTitle Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens
gptkbp:hasConcept gptkb:logic
formalization of logic
predicate calculus
quantification
gptkbp:hasNotationFor function-argument analysis
two-dimensional notation
https://www.w3.org/2000/01/rdf-schema#label Begriffsschrift
gptkbp:influenced gptkb:logic
philosophy of language
predicate logic
gptkbp:language gptkb:German
gptkbp:notableFor first system of predicate logic
influence on analytic philosophy
introduction of quantifiers
gptkbp:publicationYear 1879
gptkbp:publishedIn gptkb:Halle,_Germany
gptkbp:relatedTo gptkb:Principia_Mathematica
gptkb:Frege's_Begriffsschrift_(book)
gptkbp:subjectOf history of mathematics
history of logic
gptkbp:bfsParent gptkb:Gottlob_Frege
gptkbp:bfsLayer 4