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

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

Б.А. Кулик

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

А.П. Чехов, "Огни"

А нужна ли нам логика?

Недавно мне предложили прочесть небольшой курс лекций по логике для старшекурсников одного гуманитарного университета. На первой лекции я задал студентам такой вопрос:

- Скажите, отличаются ли друг от друга по смыслу два утверждения: "Все гениальное просто" и "Все простое гениально"?

Ответом мне было продолжительное молчание. Наконец кто-то робко произнес:

- Кажется, они отличаются.

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

Любой выпускник старой русской гимназии, в которой логика была обязательным предметом, ответил бы на этот вопрос не задумываясь. В классической логике существенная разница между суждениями "Все A есть B" и "Все B есть A" не подлежит никакому сомнению. Самое интересное, что для англичанина или немца, даже не знающих классическую логику, этот вопрос тоже не вызвал бы особых затруднений - во многих европейских языках сама синтаксическая структура предложения не позволяет отождествлять такие "перевертыши". Для языков же славянской группы и некоторых других языков (например, арабского), в которых порядок слов в предложении менее строго регламентирован и допускается пропуск глагола-связки "есть" (оказывается, что это не просто связка, а, как мы увидим далее, насыщенное глубоким смыслом логическое понятие), подобные "перевертыши" грамматически (а порой и по смыслу) трудно различимы и поэтому при некотором навыке их можно использовать для того, чтобы "доказать" собеседнику явную нелепость. И, видимо, тот факт, что в России как нигде вольготно чувствуют себя демагоги и мистификаторы, обусловлен неблагоприятным стечением двух обстоятельств: 1) особенностями русского языка и 2) явным пробелом в логическом образовании населения России.

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

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

Наверное, невозможно найти человека, который никогда не допускал бы в своих рассуждениях логических ошибок. И было время, когда анализ логических ошибок в рассуждениях оппонентов играл немалую роль в науке и образовании. Но в XX столетии эта роль заметно потускнела. Логика замкнулась в себе и перестала быть понятной для многих. И можно лишь догадываться о том, кто выиграл от того, что в России логика надолго исчезла из списка общеобразовательных предметов. Но проигравших, как мне думается, намного больше.

Резюме

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

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

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

Список литературы

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

Пуанкаре А. О науке. - М.: Наука, 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). - Труды Международной конференции, Переславль-Залесский, 6-9 декабря 1999 г. М.: Наука. Физматлит, 1999. С. 50-54.

Карпенко А.С. Логика: Феномены XX века // Современная логика: проблемы теории, истории и применения в науке. - Материалы VI Общероссийской научной конференции. Санкт-Петербург, 22-24 июня 2000 г.С. 461 - 465.

Кэрролл Л. История с узелками. - М.: Мир, 1973.

Стяжкин Н. И. Формирование математической логики. М.: Наука, 1967.

 

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

Б.А. Кулик

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

А.П. Чехов, "Огни"

А нужна ли нам логика?

Недавно мне предложили прочесть небольшой курс лекций по логике для старшекурсников одного гуманитарного университета. На первой лекции я задал студентам такой вопрос:

- Скажите, отличаются ли друг от друга по смыслу два утверждения: "Все гениальное просто" и "Все простое гениально"?

Ответом мне было продолжительное молчание. Наконец кто-то робко произнес:

- Кажется, они отличаются.

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

Любой выпускник старой русской гимназии, в которой логика была обязательным предметом, ответил бы на этот вопрос не задумываясь. В классической логике существенная разница между суждениями "Все A есть B" и "Все B есть A" не подлежит никакому сомнению. Самое интересное, что для англичанина или немца, даже не знающих классическую логику, этот вопрос тоже не вызвал бы особых затруднений - во многих европейских языках сама синтаксическая структура предложения не позволяет отождествлять такие "перевертыши". Для языков же славянской группы и некоторых других языков (например, арабского), в которых порядок слов в предложении менее строго регламентирован и допускается пропуск глагола-связки "есть" (оказывается, что это не просто связка, а, как мы увидим далее, насыщенное глубоким смыслом логическое понятие), подобные "перевертыши" грамматически (а порой и по смыслу) трудно различимы и поэтому при некотором навыке их можно использовать для того, чтобы "доказать" собеседнику явную нелепость. И, видимо, тот факт, что в России как нигде вольготно чувствуют себя демагоги и мистификаторы, обусловлен неблагоприятным стечением двух обстоятельств: 1) особенностями русского языка и 2) явным пробелом в логическом образовании населения России.

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

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

Наверное, невозможно найти человека, который никогда не допускал бы в своих рассуждениях логических ошибок. И было время, когда анализ логических ошибок в рассуждениях оппонентов играл немалую роль в науке и образовании. Но в XX столетии эта роль заметно потускнела. Логика замкнулась в себе и перестала быть понятной для многих. И можно лишь догадываться о том, кто выиграл от того, что в России логика надолго исчезла из списка общеобразовательных предметов. Но проигравших, как мне думается, намного больше.