С чем идет современная логика в XXI век?
Статья - Философия
Другие статьи по предмету Философия
?онных технологий в XX веке, но из поля ее зрения выпало понятие "суждение", которое появилось в логике еще во времена Аристотеля и на котором, как на фундаменте, держится логическая основа естественного языка. Такое упущение отнюдь не способствовало развитию логической культуры общества и у многих даже породило иллюзию, что компьютеры способны мыслить не хуже самого человека. Многих даже не смущает то обстоятельство, что на фоне всеобщей компьютеризации в преддверии третьего тысячелетия логические нелепости в пределах самой науки (я уж не говорю о политике, законотворческой деятельности и о псевдонауке) встречаются даже чаще, чем в конце XIX века. И для того, чтобы понять суть этих нелепостей, нет необходимости обращаться к сложным математическим структурам с многоместными отношениями и рекурсивными функциями, которые применяются в математической логике. Оказывается, для понимания и анализа этих нелепостей вполне достаточно применить намного более простую математическую структуру суждения, которая не только не противоречит математическим основам современной логики, но в чем-то дополняет и расширяет их.
Недавно, в очередной раз просматривая известную монографию Н. И. Стяжкина [24], я обратил внимание на некоторые пропущенные ранее при чтении разделы книги и с удивлением обнаружил, что основы этого подхода интенсивно развивались многими логиками и математиками первой половины XIX века (Ж.Д. Жергонн, А.Д.Х. Твестен, В.М. Дробиш, А. де Морган и др.). Значительный вклад в это направление во второй половине XIX века внесли Дж. Венн и Льюис Кэрролл. Для полного завершения этого подхода оставалось лишь "чуть-чуть" математических знаний, которые появились лишь в XX столетии. Не пора ли это незаслуженно забытое направление возродить? Может быть, это позволит нам и нашим потомкам хоть немного уменьшить все возрастающий поток логических и терминологических нелепостей, который в преддверии третьего тысячелетия захлестнул нас не только в политике и в средствах массовой информации, но и в хранителях нашего разума - в науке и образовании.
И последнее. Возможно, многим из читателей это утверждение покажется спорным, но мне представляется, что проблемы, поднятые в данной статье, имеют непосредственное отношение к нашим сугубо житейским проблемам. Можно найти немало достаточно веских причин современного кризиса в экономике, политике и в духовной жизни России. Но, если вдуматься, то окажется, что в основе каждой из этих причин лежит какая-либо деструктивная "стратегия мутной воды", на поддержку которой бросаются целые армии велеречивых демагогов и мистификаторов, основной задачей которых является "замазывание" логических и терминологических нелепостей защищаемой парадигмы. Для их деструктивной деятельности в России созданы прямо-таки тепличные условия за счет практически полного отсутствия логического образования. А чтобы оболванить безграмотных людей, требуется не так уж и много интеллектуальных усилий.
Список литературы
Леонов В.П. Долгое прощание с лысенковщиной. // Web-страница в Интернете
Пуанкаре А. О науке. - М.: Наука, 1983.
Арнольд В.И. Избранное - 60. М.: Фазис, 1997.
Блехман И.И., Мышкис А.Д., Пановко Я.Г. Прикладная математика: предмет, логика, особенности подходов. Киев: Наукова думка, 1976.
Клайн М. Математика: Утрата определенности. М.: Мир, 1984.
Reichenbach H. Experience and Prediction. Chicago, 1961. P.5-6.
Зенкин А.А. Принцип разделения времени и анализ одного класса квазифинитных правдоподобных рассуждений (на примере теоремы Г.Кантора о несчетности).// Доклады РАН, раздел "Математика", том 356, No. 6, 733-735 (1997).
Зенкин А.А. Ошибка Георга Кантора // Вопросы философии. 2000. 2. С. 165-168.
Мендельсон Э. Введение в математическую логику. М.: Наука, 1984.
Gцdel K. Ьber formal unentscheidbare Sдtze der Principia Mathematica und verwandter Systeme. Monatsh. Math. Phys., XXXVIII (1931), 173-198.
Бурбаки Н. Очерки по истории математики. М.: Издательство Иностранной литературы, 1963.
von Neumann J. Eine Axiomatisierung der Mengenlehre, J. Crelle, CLIV (1925), p. 219-240.
Кулик Б.А. Моделирование рассуждений на основе законов алгебры множеств // Труды V национальной конференции по искусственному интеллекту. Казань, 7-12 октября 1996 г. Т.1. С. 58-61.
Кулик Б.А. Основные принципы философии здравого смысла (познавательный аспект) // Новости искусственного интеллекта, 1996, No 3, с. 7-92.
Кулик Б.А. Интерпретируемые системы логического вывода. В кн. Международная конференция "Смирновские чтения" (тезисы докладов). Институт философии РАН, 1997, с. 54-55.
Кулик Б.А. Логические основы здравого смысла / Под редакцией Д.А. Поспелова. - СПб, Политехника, 1997. 131 с.
Кулик Б.А. Логика здравого смысла. - Здравый смысл, 1997, No 1(5), с. 44 - 48.
Кулик Б.А. Программа для моделирования и анализа естественных рассуждений. - Компьютерные инструменты в образовании, 1998, No 2, с. 55 - 63.
Кулик Б.А. Система логического вывода на логических графах // Современная логика: проблемы теории, истории и применения в науке. - Материалы V Общероссийской научной конференции. Санкт-Петербург, 18-20 июня 1998 г.С. 169 -171.
Кулик Б.А. Алгебраические основы естественных рассуждений: E-структуры - Материалы второй международной конференции "Логико-лингвистическое управление динамическими объектами (DOLLC'99)", Санкт-Петербург, 21-25 июня 1999 г., с. 29-40.
Кулик Б.А., Романов Л.Н. Алгебраический подход к моделированию и анализу естественных рассуждений на основе E-структур // Интеллектуальное управление: новые интеллектуальные технологии в задачах управления (ICIT'99). - Труды Международн?/p>