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.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (5)

Label Occurrences
Begriffsschrift canonical 7
Frege’s Begriffsschrift 2
Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens 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 (12)

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

Gottlob Frege → notableWork → Begriffsschrift ⓘ
PM → predecessor → Begriffsschrift ⓘ
subject surface form: Principia Mathematica
this entity surface form: Gottlob Frege's logical works
Begriffsschrift → hasTitle → Begriffsschrift self-link ⓘ
Begriffsschrift → hasFullTitle → Begriffsschrift self-linksurface differs ⓘ
this entity surface form: Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens
Friedrich → notableWork → Begriffsschrift ⓘ
subject surface form: Friedrich Ludwig Gottlob Frege
Grundgesetze der Arithmetik, Volume II → relatedTo → Begriffsschrift ⓘ
this entity surface form: Frege’s concept-script (Begriffsschrift)
Concept Script → originalTitle → Begriffsschrift ⓘ
Concept Script → hasAbbreviation → Begriffsschrift ⓘ
Concept Notation → originalTitle → Begriffsschrift ⓘ
Frege: Philosophy of Language → about → Begriffsschrift ⓘ
this entity surface form: Frege’s Begriffsschrift
The Interpretation of Frege’s Philosophy → about → Begriffsschrift ⓘ
this entity surface form: Frege’s Begriffsschrift
Gottlob → notableWork → Begriffsschrift ⓘ
subject surface form: Gottlob Frege