Talk:Расчетный рационализатор

логика высказываний

Связь между исчислением рационализатора и сентенциальной логикой в ​​разделе ниже не ясна. Поэтому я удалил ее, пока это не будет прояснено. Sholto Maud 06:16, 29 января 2006 (UTC) [ ответить ]

В работах, не опубликованных до 1903 года и не проанализированных должным образом, пока Вольфганг Ленцен не сделал это в 1980-х годах, Лейбниц изложил то, что сейчас известно как сентенциальная логика : конъюнкция , дизъюнкция , отрицание , тождество , включение множества и пустое множество . Чего ему (и всем до Фреге и Пирса) не хватало, так это квантифицированных переменных, охватывающих универсум дискурса .

обширный спуск

Вклад автора приветствуется. Возможно, автор мог бы войти в систему как участник, а не оставаться анонимным. Пояснение комментария ниже было бы оценено. Sholto Maud 06:19, 29 января 2006 (UTC) [ ответить ]

"и его обширное интеллектуальное происхождение склонно с этим согласиться"

Эта цитата, кажется, больше относится к Characteristica universalis, чем к 'calculus ratiocinator'. Она также должна быть более ясной. Sholto Maud 06:32, 29 января 2006 (UTC) [ ответить ]

«Следовательно, можно рассматривать универсальную характеристику как универсальную символику, изображающую математику качественных потоков и преобразований нашего космоса . Тогда исчисление рационализаторов будет способом вычисления соответствующих величин потоков».


Синтетическое предложение

Я не уверен, что значение слова "синтез" в философии языка и в философии инженерии одинаково. Поэтому я не уверен, что корректировка, сделанная предыдущим автором (чтобы отделить синтез от синтетического предложения ), является уместной. Sholto Maud 05:10, 1 марта 2007 (UTC) [ ответить ]

универсальное исчисление

Является ли calculus ratiocinator тем же самым, что и "универсальное исчисление"[1]? 66.127.52.47 ( обсуждение ) 02:44, 16 марта 2010 (UTC) [ ответ ]

Статья Решера

Это выглядит полезным: JSTOR  2267644. 69.111.194.167 ( обсуждение ) 09:14, 2 мая 2011 (UTC) [ ответ ]

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Calculus_ratiocinator&oldid=1206509794"