Concept Notation
E253025
Concept Notation is Gottlob Frege’s groundbreaking 1879 logical calculus that introduced a formal system for representing logical relations and quantification, laying foundations for modern symbolic logic.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Concept Notation canonical | 1 |
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
formal system
ⓘ
logical calculus ⓘ work on logic ⓘ |
| aimedToClarify |
foundations of arithmetic
ⓘ
structure of logical inference ⓘ |
| associatedWithPhilosophicalView | logicism ⓘ |
| author | Gottlob Frege ⓘ |
| developedIn | Jena ⓘ |
| field |
logic
ⓘ
mathematical logic ⓘ philosophy of logic ⓘ |
| hasKeyConcept |
assertion sign
ⓘ
concept as a function from objects to truth-values ⓘ conditional stroke ⓘ judgment stroke ⓘ quantifier as a higher-level function ⓘ |
| historicalSignificance |
first fully formal system of predicate logic
ⓘ
milestone in the development of analytic philosophy ⓘ precursor to standard first-order logic ⓘ |
| influenced |
Alfred North Whitehead
ⓘ
Bertrand Russell ⓘ Principia Mathematica ⓘ modern logic notation ⓘ |
| introducedBy | Gottlob Frege ⓘ |
| introduces |
axiomatic method in logic
ⓘ
distinction between function and argument ⓘ formal proof system ⓘ formal representation of logical relations ⓘ formal representation of quantification ⓘ function–argument analysis of propositions ⓘ |
| laysFoundationFor |
modern symbolic logic
ⓘ
predicate logic ⓘ quantificational logic ⓘ |
| originalLanguage | German ⓘ |
| originalTitle | Begriffsschrift ⓘ |
| precedes |
Arithmetices principia, nova methodo exposita
ⓘ
surface form:
Peano’s logical notation
Principia Mathematica ⓘ |
| publicationYear | 1879 ⓘ |
| topic |
existential quantification
ⓘ
identity ⓘ implication ⓘ inference rules ⓘ logical consequence ⓘ negation ⓘ universal quantification ⓘ |
| usesNotationType |
content strokes and concavity signs
ⓘ
two-dimensional formula notation ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.