|
Логическое выведение – философское исчисление по Лейбницу. Его необходимость осознана в древнем мире. Для древнегреческих философов ее необходимость общепризнанна. И они искали пути решения этой проблемы. И называли все это по-разному ? дедукция (выведение), индукция (наведение) и т.п. Затем была разработана специальная наука - логика. Конечно, следует уяснить содержание слова “выведение”. Его этимология: веды – ведать – выведать – вывести – выведение, наведение, сведение и т.п. – вывод. Выведение предполагает сопоставление понятий для выяснения общих и специфических их свойств с тем, чтобы заключить об их соотнесении. Диалектическая логика. Этого термина тогда не было. Но замысел Лейбница состоял в ее разработке. И фактически он указал путь к истинной диалектической логике, как и практически применил ее. Если конкретизировать логический вывод как противоположность исчислению, то можно выделить “арифметизированный математический вывод” (математическую логику) и диалектическую логику как собственно философствование [134.Т.3.с.63]. Далее специально рассмотрим это направление поиска Лейбница. Символическая логика. Сейчас не обособляют символической и математической логики. Символическая логика отличается от формальной логики только символами. Ничего математического в ней нет. Символическая логика нужна в том виде, как она сложилась на основе замысла Лейбница. Овладение голосом как средством коммуникации произошло на уровне животного мира. Голосовые сигналы породили вербализацию. И сегодня слова являются главной формой звуковых сигналов в жизни людей. Скажем, при счете человек называет “второй” и т.п. Потом использовали разные знаки для обозначения этого слова и, наконец, изобрели – математические символы – “2” и т.п.: жесты? голосовые сигналы ? вербализация ? категоризация ?символизация. Арифметизированная логика. Лейбниц исследовал проблему разработки интеллектуального аппарата, наподобие математического, который позволял бы проверить истинность идей [см. 134.Т.3.с.523 и др.] Именно ее считают утопией некоторые современные философы. Возможно, арифметизированная логика и должна стать содержанием собственно математической логики. Данный замысел Лейбница ясен, хотя и неизвестно, как его осуществить. Практически решать эту проблему можно только при теоретическом уровне науки, обеспечивающем строгость категорийного аппарата. Возможности компьютеров делают реальным этот подход. — 305 —
|