Calculus ratiocinator

Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier.
( lat. ) calculus ratiocinator bezeichnet einen von Leibniz geprägten Begriff für einen Logik kalkül durch den das logische Schließen zu formalen Rechnen nach gegebenen Regeln werden sollte in dem er das anzustrebenden Ideal einer Irrtümern befreiten Logik sah.

Mit dem Begriff calculus ratiocinator antizipierte Leibniz den heutigen Begriff der Ableitbarkeitsrelation.

Bücher zum Thema Calculus ratiocinator

Dieser Artikel von Wikipedia unterliegt der GNU FDL.

Impressum • Lesezeichen setzen • Seite versenden • Seite drucken

HTML-Code zum Verweis auf diese Seite:
<a href="http://www.uni-protokolle.de/Lexikon/Calculus_ratiocinator.html">Calculus ratiocinator </a>