Библиотека >> С чем идет современная логика в XXI век?

Скачать 19.02 Кбайт
С чем идет современная логика в XXI век?

Такое упущение отнюдь не способствовало развитию логической культуры общества и у многих даже породило иллюзию, что компьютеры способны мыслить не хуже самого человека. Многих даже не смущает то обстоятельство, что на фоне всеобщей компьютеризации в преддверии третьего тысячелетия логические нелепости в пределах самой науки (я уж не говорю о политике, законотворческой деятельности и о псевдонауке) встречаются даже чаще, чем в конце XIX века. И для того, чтобы понять суть этих нелепостей, нет необходимости обращаться к сложным математическим структурам с многоместными отношениями и рекурсивными функциями, которые применяются в математической логике. Оказывается, для понимания и анализа этих нелепостей вполне достаточно применить намного более простую математическую структуру суждения, которая не только не противоречит математическим основам современной логики, но в чем-то дополняет и расширяет их.

Недавно, в очередной раз просматривая известную монографию Н. И. Стяжкина [21], я обратил внимание на некоторые пропущенные ранее при чтении разделы книги и с удивлением обнаружил, что основы этого подхода интенсивно развивались многими логиками и математиками первой половины XIX века (Ж.Д. Жергонн, А.Д.Х. Твестен, В.М. Дробиш, А. де Морган и др.). Значительный вклад в это направление во второй половине XIX века внесли Дж. Венн и Льюис Кэрролл. Для полного завершения этого подхода оставалось лишь "чуть-чуть" математических знаний, которые появились лишь в XX столетии. Не пора ли это незаслуженно забытое направление возродить? Может быть, это позволит нам и нашим потомкам хоть немного уменьшить все возрастающий поток логических и терминологических нелепостей, который в преддверии третьего тысячелетия захлестнул нас не только в политике и в средствах массовой информации, но и в хранителях нашего разума — в науке и образовании.

И последнее. Возможно, многим из читателей это утверждение покажется спорным, но мне представляется, что проблемы, поднятые в данной статье, имеют непосредственное отношение к нашим сугубо житейским проблемам. Можно найти немало достаточно веских причин современного кризиса в экономике, политике и в духовной жизни России. Но, если вдуматься, то окажется, что в основе каждой из этих причин лежит какая-либо деструктивная "стратегия мутной воды", на поддержку которой бросаются целые армии велеречивых демагогов и мистификаторов, основной задачей которых является "замазывание" логических и терминологических нелепостей защищаемой парадигмы. Для их деструктивной деятельности в России созданы прямо-таки тепличные условия за счет практически полного отсутствия логического образования. А чтобы оболванить безграмотных людей, требуется не так уж и много интеллектуальных усилий.



Список литературы
1. Леонов В.П. Долгое прощание с лысенковщиной. // Web-страница в Интернете http://www.doktor.ru/doctor/biometr/lib/lis ­

2. Пуанкаре А. О науке. - М.: Наука, 1983. ­

3. Арнольд В.И. Избранное – 60. М.: Фазис, 1997. ­

4. Блехман И.И., Мышкис А.Д., Пановко Я.Г. Прикладная математика: предмет, логика, ­особенности подходов. Киев: Наукова думка, 1976.

5. Клайн М. Математика: Утрата определенности. М.: Мир, 1984. ­

6. Reichenbach H. Experience and Prediction. Chicago, 1961. P.5-6. ­

7. Мендельсон Э. Введение в математическую логику. М.: Наука, 1984. ­

8. Gцdel K. Ьber formal unentscheidbare Sдtze der Principia Mathematica und verwandter Systeme. Monatsh. Math. Phys., XXXVIII (1931), 173-198. ­

9. Бурбаки Н. Очерки по истории математики. М.: Издательство Иностранной литературы, 1963. ­

10. von Neumann J. Eine Axiomatisierung der Mengenlehre, J. Crelle, CLIV (1925), p. 219240. ­

11. Кулик Б.А. Моделирование рассуждений на основе законов алгебры множеств // Труды V национальной конференции по искусственному интеллекту. Казань, 7-12 октября 1996 г. Т.1. С. 58-61. ­

12. Кулик Б.А. Основные принципы философии здравого смысла (познавательный аспект) // Новости искусственного интеллекта, 1996, No 3, с. 7-92.

13. Кулик Б.А. Интерпретируемые системы логического вывода. В кн. Международная конференция "Смирновские чтения" (тезисы докладов). Институт философии РАН, 1997, с. 54-55.

14. Кулик Б.А. Логические основы здравого смысла / Под редакцией Д.А. Поспелова. — СПб, Политехника, 1997. 131 с.

15. Кулик Б.А. Логика здравого смысла. - Здравый смысл, 1997, No 1(5), с. 44 - 48.

16. Кулик Б.А. Программа для моделирования и анализа естественных рассуждений. — Компьютерные инструменты в образовании, 1998, No 2, с. 55 - 63.

17. Кулик Б.А. Система логического вывода на логических графах // Современная логика: проблемы теории, истории и применения в науке. — Материалы V Общероссийской научной конференции. Санкт-Петербург, 18-20 июня 1998 г.С. 169 -171.

18.

Страницы:  1  2  3  4  5  6  7  8  9  10  11