Leibniz's characteristica universalis
GPTKB entity
Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:philosophy
|
| gptkbp:century |
17th century
|
| gptkbp:describedBy |
Leibniz's writings
|
| gptkbp:goal |
eliminate ambiguity in reasoning
enable mechanical calculation of truth |
| https://www.w3.org/2000/01/rdf-schema#label |
Leibniz's characteristica universalis
|
| gptkbp:influenced |
gptkb:logic
symbolic logic artificial language theory |
| gptkbp:intendedUse |
universal formal language
|
| gptkbp:languageOfName |
formal semantics
|
| gptkbp:proposedBy |
gptkb:Gottfried_Wilhelm_Leibniz
|
| gptkbp:purpose |
to represent concepts and reasoning symbolically
|
| gptkbp:relatedTo |
gptkb:calculus_ratiocinator
universal language logical calculus |
| gptkbp:status |
never fully realized
|
| gptkbp:bfsParent |
gptkb:Concept_Script
|
| gptkbp:bfsLayer |
7
|