Karmamagic - Алексей Ситников

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

Среди новых направлений в развитии логической науки необходимо отдельно выделить интегральный подход американского философа Кена Уилбера[191]. Согласно его теории, все больше людей приходит к выводу о совместимости духовных практик с современными научными знаниями. Самые новейшие достижения в таких областях науки, как лингвистика, эволюционная биология, нейрофизиология, культурология, социология, не противоречат и дополняются духовной практикой, которая, в свою очередь, упорядочивает жизненные приоритеты человека и помогает ему найти ответ на вопрос о смысле жизни. «Основной мой тезис заключается в том, что центральные положения Великих традиций в большинстве своем можно сберечь и сохранить, — однако это достижимо лишь путем их реинтерпретации и интеграции в намного более всевключающей системе координат, часто называемой „интегральным подходом“. Интегральный подход позволит дополнить основополагающие доктрины учений множеством новых открытий о духовном опыте, духовном интеллекте и духовном развитии, которые были сделаны за последнее тысячелетие»[192]. По мнению ученого, это приведет к возникновению духовной системы координат, позволяющей использовать старые знания, дополнив их новым материалом.

Но как бы ни модифицировались подходы к изучению логики, ясно одно: все мыслительные процессы подчиняются законам логики, регулирующим в ходе рассуждения внутреннюю связь между мыслями. Логика необходима каждому человеку, ведь она помогает нам точно и ясно выражать свои мысли, быть последовательными в своих высказываниях, отстаивать свою точку зрения, анализировать собственные мысли и чужие высказывания.

В основе всех логических умозаключений лежат четыре основных закона, которые были сформулированы в рамках традиционной логики, — это закон тождества, закон противоречия, закон исключенного третьего и закон достаточного основания. Три из них были описаны еще Аристотелем, а четвертый — немецким математиком и философом XVII–XVIII вв. Лейбницем. Рассмотрим их поближе.

1. Закон тождества. Суть этого закона сводится к следующему: любое высказывание (мысль, понятие, суждение) должно быть тождественно само себе. И должно излагаться четко и понятно, не допуская двусмысленности. Вспомним вопрос с подвохом: «Почему утка плавает?», который можно услышать и по-другому: «По чему утка плавает?» Соответственно и ответов на него может быть два, и оба правильные. Подобные формулировки нарушают закон тождества. Намеренными нарушениями закона тождества являются, например, софизмы — ложные высказывания, которые при первом рассмотрении кажутся правильными.

2. Закон противоречия. Он гласит, что если речь идет об одном и том же объекте, и при этом одно суждение прямо противоположно другому, то они не могут одновременно быть истинными. По крайней мере одно из них ложно (а то и оба). Например, два утверждения «Путь от центра Москвы до аэропорта Шереметьево длинный» и «Путь от центра Москвы до аэропорта Шереметьево короткий» (длинный путь не может быть коротким и наоборот) не могут быть истинными одновременно, потому что противоречат друг другу, если только это расстояние не сравнивается с каким-то еще.

3. Закон исключенного третьего. Утверждения могут быть противоположными и противоречащими. «Путь от центра Москвы до аэропорта Шереметьево длинный» и «Путь от центра Москвы до аэропорта Шереметьево короткий» — утверждения противоположные, а «Аэропорт Шереметьево находится в Москве» и «Аэропорт Шереметьево находится не в Москве» — противоречащие. Противоположные высказывания могут предположить какой-то третий вариант, например, «путь не очень длинный». Т. е. они оба могут быть ложными. А вот если речь идет о противоречащих высказываниях, то, согласно закону исключенного третьего, они оба не могут быть ложными, и одно из них непременно является истинным. Иными словами, истину здесь нужно искать только между двумя возможными вариантами.