Begriffsschrift

E51421
book foundational work in symbolic logic logical work

Begriffsschrift is Gottlob Frege’s groundbreaking 1879 work that introduced a formal logical notation and is widely regarded as the foundation of modern symbolic logic.

Observed surface forms (2)

Surface form As subject As object
Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens 0 1
Gottlob Frege's logical works 0 1

Statements (50)

Predicate Object
instanceOf book →
foundational work in symbolic logic →
logical work →
aimedTo clarify the logical structure of mathematical reasoning →
provide a formula language for pure thought →
author Gottlob Frege →
countryOfOrigin Germany →
field logic →
mathematical logic →
philosophy of logic →
genre technical treatise →
hasForm diagrammatic formula language →
two-dimensional logical notation →
hasFullTitle Begriffsschrift self-linksurface differs →
surface form: Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens
hasTitle Begriffsschrift self-link →
hasTopic analysis of propositions →
axioms of logic →
formal proofs →
identity →
implication →
logical consequence →
negation →
quantifiers →
rules of inference →
historicalPeriod 19th century →
influenced Bertrand Russell →
Principia Mathematica →
analytic philosophy →
foundations of mathematics →
modern symbolic logic →
predicate calculus →
introducedConcept Frege’s system in "Grundgesetze der Arithmetik" →
surface form: Fregean function–argument analysis

Frege’s system in "Grundgesetze der Arithmetik" →
surface form: Fregean quantifier notation

axiomatic system for logic →
formal logical notation →
formal proof system →
formalization of logical inference →
predicate logic →
quantification theory →
truth-functional connectives in symbolic form →
originalLanguage German →
placeOfPublication Halle (Saale) →
surface form: Halle
precededBy traditional Aristotelian syllogistic logic →
publicationYear 1879 →
publisher Louis Nebert →
regardedAs first fully formal system of logic →
foundation of modern symbolic logic →
titleLanguage German →
translatedTitle Concept Notation →
Concept Script →

Referenced by (5)

Full triples — surface form annotated when it differs from this entity's canonical label.

Begriffsschrift → hasFullTitle → Begriffsschrift self-linksurface differs →
this entity surface form: Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens
Begriffsschrift → hasTitle → Begriffsschrift self-link →
Friedrich → notableWork → Begriffsschrift →
subject surface form: Friedrich Ludwig Gottlob Frege
Gottlob Frege → notableWork → Begriffsschrift →
PM → predecessor → Begriffsschrift →
subject surface form: Principia Mathematica
this entity surface form: Gottlob Frege's logical works