calculus ratiocinator
E883487
The calculus ratiocinator is Gottfried Wilhelm Leibniz’s envisioned formal symbolic system for mechanically performing logical reasoning and calculation.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| calculus ratiocinator project | 1 |
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
concept in the philosophy of logic
ⓘ
formal logical system ⓘ historical logical calculus ⓘ |
| aimedAt |
providing objective methods of inference
ⓘ
resolving disputes by calculation ⓘ |
| assumes |
that correct reasoning can be fully formalized
ⓘ
that logical validity can be checked mechanically ⓘ |
| basedOnIdea |
reasoning as calculation
ⓘ
symbolic representation of logical relations ⓘ |
| componentOf |
Leibniz’s broader project of a universal science
ⓘ
Leibniz’s program for a universal characteristic language ⓘ |
| conceptualPrecursorOf |
formal deductive systems
ⓘ
logical calculi of Frege and Boole (in broad sense) ⓘ |
| creator | Gottfried Wilhelm Leibniz NERFINISHED ⓘ |
| describedIn | Leibniz’s logical and philosophical writings ⓘ |
| envisionedBy | Gottfried Wilhelm Leibniz NERFINISHED ⓘ |
| epistemicRole | tool for deriving truths from given axioms and definitions ⓘ |
| field |
computer science (historical precursor)
ⓘ
foundations of mathematics ⓘ logic ⓘ philosophy of mathematics ⓘ |
| goal |
to allow calculation with concepts and propositions
ⓘ
to mechanize logical inference ⓘ to provide a formal symbolic system for reasoning ⓘ |
| hasAlternativeName | calculus ratiocinator of Leibniz NERFINISHED ⓘ |
| hasProperty |
aimed at eliminating ambiguity in reasoning
ⓘ
expresses logical relations symbolically ⓘ intended to be mechanically executable ⓘ intended to be purely formal ⓘ |
| historicalSignificance |
anticipates the notion of algorithmic reasoning
ⓘ
early vision of a universal logical calculus ⓘ precursor to formal systems in mathematical logic ⓘ |
| influenced |
early conceptions of computers as logic machines
ⓘ
later developments in symbolic logic ⓘ the idea of mechanical computation ⓘ |
| influencedBy |
Leibniz’s metaphysics of concepts
NERFINISHED
ⓘ
Leibniz’s work on arithmetic and calculation ⓘ |
| language | intended to operate on a formal symbolic language ⓘ |
| relatedConcept |
automated theorem proving
ⓘ
characteristica universalis ⓘ decision procedure in logic ⓘ formal logic ⓘ mechanical reasoning ⓘ symbolic logic ⓘ |
| status | never fully realized as a complete system by Leibniz ⓘ |
| timePeriod | late 17th century ⓘ |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
calculus ratiocinator project