I. МЕТАФИЗИКА МАТЕМАТИКИ
1.1. Математическая логика
Логика как наука связана с именем Стагирита [29], хотя определенные успехи в построении системы высказываний были продемонстрированы еще досократиками (Фалес, Гераклит, Анаксимандр, Парменид…). Сократ для убеждения Протагора использовал метод взаимно противоречивых умозаключений [30]. В диалоге Платона «Парменид» [31] ярко проявилась диалектическая логика трех титанов античной философии: Парменида, Зенона, Сократа. У них логика выступает как главный инструмент приращения знания. Аристотель выделил из естественного языка логические формы, отвлекся от содержания высказываний, ввел буквенную символику для суждений и правила построения силлогизмов. «Аристотелевская концепция логики, особенно исследование им аксиоматического (дедуктивного) метода, предпринятое во «Второй аналитике», оказало большое влияние на древнегреческую математику, в частности на труд Евклида» [32]. В XIII – XIV веках схоласт Р. Луллий, сочетавший утонченную логическую культуру с мистикой и теологией, указал направление развития «спекулятивной теории»: вычислительная техника. Первые шаги к тайне «искусственного интеллекта» философ сделал с помощью «счетной машины» – системы крутящихся дисков с рисками и цифрами [33]. Подобные круги, или «доски», на которые заносятся царапины символов, имеющих некоторый смысл, в переносном смысле присутствуют в головах современных людей, особенно у начетчиков и так называемых энциклопедистов. Важно отметить, что ветвь логического древа, произрастая в этой вертикали, символизирует стремление homo автоматизировать процесс мышления, то есть взвалить его на «плечи» роботов. Сам же «царь природы» может выбрать в результате «механизации ума» два варианта дальнейшего существования: развивать альтернативные формы отражения собственно человека, создавать искусственную жизнь. — 22 —
|