characteristica universalis project

E883490
conceptual language philosophical project unrealized project

The characteristica universalis project is Gottfried Wilhelm Leibniz’s envisioned universal symbolic language and logical calculus intended to represent all human knowledge and enable mechanical reasoning.

Try in SPARQL Jump to: Statements Referenced by

Statements (45)

Predicate Object
instanceOf conceptual language ⓘ
philosophical project ⓘ
unrealized project ⓘ
aimedAt eliminating ambiguity in reasoning ⓘ
making disputes decidable by calculation ⓘ
creator Gottfried Wilhelm Leibniz NERFINISHED ⓘ
describedAs logical calculus ⓘ
universal symbolic language ⓘ
documentedIn Leibniz’s logical and philosophical writings ⓘ
field epistemology ⓘ
knowledge representation ⓘ
logic ⓘ
mathematics ⓘ
philosophy of language ⓘ
goal to create a universal symbolic language ⓘ
to enable mechanical reasoning ⓘ
to reduce reasoning to calculation ⓘ
to represent all human knowledge ⓘ
hasAlternativeName characteristica universalis NERFINISHED ⓘ
universal characteristic ⓘ
hasConcept formalization of reasoning ⓘ
symbolic representation of concepts ⓘ
systematic encoding of knowledge ⓘ
hasLegacy influence on the idea of mechanized reasoning ⓘ
inspiration for later universal language schemes ⓘ
precursor to formal logical notation ⓘ
historicalContext early modern philosophy ⓘ
inception 17th century ⓘ
influenced artificial intelligence ⓘ
concepts of universal language ⓘ
formal languages in mathematics ⓘ
knowledge representation in computer science ⓘ
logical positivism ⓘ
modern symbolic logic ⓘ
influencedBy Aristotelian logic NERFINISHED ⓘ
Rene Descartes NERFINISHED ⓘ
medieval logical traditions ⓘ
language German ⓘ
Latin NERFINISHED ⓘ
partOf Leibniz’s broader logical program ⓘ
proposedBy Gottfried Wilhelm Leibniz NERFINISHED ⓘ
relatedTo calculus ratiocinator NERFINISHED ⓘ
formal logic ⓘ
universal language projects ⓘ
status never fully realized ⓘ

Referenced by (1)

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

Leibnizian logic → associatedWithWork → characteristica universalis project ⓘ