Введение

Исчисление рационализатора — это теоретическая универсальная логическая система вычислений, концепция, описанная в трудах Готфрида Лейбница, обычно рассматриваемая в связке с его более часто упоминаемой универсальной характеристикой, универсальным концептуальным языком.

Два взгляда

Существуют две противоположные точки зрения на то, что Лейбниц подразумевал под "calculus ratiocinator". Первая связана с компьютерным программным обеспечением, а вторая – с компьютерным оборудованием.

Аналитический вид

В аналитической философии и формальной логике преобладающая точка зрения заключается в том, что рациоцинатор предвосхищает математическую логику – «алгебру логики». Аналитическая перспектива рассматривает рациоцинатор как формальный механизм вывода или компьютерную программу, которую можно сконструировать таким образом, чтобы придать приоритет вычислениям. Начало этой логики было положено "Begriffsschrift" Фреге 1879 года и работами Ч.С. Пирса по логике в 1880-х годах. Фреге задумывал свой "концептуальный скрипт" как рациоцинатор и одновременно как универсальную характеристику. Часть формальной логики, относящаяся к рациоцинатору, подпадает под теорию доказательств. С этой точки зрения рациоцинатор является лишь частью (или подмножеством) универсальной характеристики, а полная универсальная характеристика включает в себя «логическое исчисление».

Синтетический вид

Контрастная точка зрения исходит из синтетической философии и таких областей, как кибернетика, электронная инженерия и общая теория систем. В аналитической философии она недостаточно оценена. Синтетический подход понимает «calculus ratiocinator» как ссылку на «вычислительную машину». Кибернетик Норберт Винер считал «calculus ratiocinator» Лейбница предшественником современного цифрового компьютера:

Лейбниц построил именно такую машину для математических расчетов, которую также называли «шаговым счетным механизмом». Как вычислительная машина, идеальный «calculus ratiocinator» выполнял бы интегральное и дифференциальное исчисление Лейбница. Таким образом, значение слова «ratiocinator» проясняется и может быть понято как механический инструмент, объединяющий и сравнивающий отношения. Хартли Роджерс усмотрел связь между ними, определяя «calculus ratiocinator» как «алгоритм, который при применении к символам любой формулы универсальной характеристики определял бы, истинна ли эта формула как научное утверждение». Классическое обсуждение «calculus ratiocinator» принадлежит Луи Кутура, который утверждал, что «characteristica universalis» – и, следовательно, «calculus ratiocinator» – были неразрывно связаны с энциклопедическим проектом Лейбница. Таким образом, характеристики, «calculus ratiocinator» и энциклопедия составляют три столпа проекта Лейбница.