513

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

Квентин Мейясу в книге «После конечности» пишет:

Сильная модель сводится к следующему тезису: невозможность немыслимого сама является немыслимой. Я не могу рационально обосновать абсолютную невозможность противоречивой реальности или небытия всего, даже если под этими терминами не подразумевается ничего определенного. У фактичности есть, таким образом, четкое и исключительное следствие: становится незаконным с точки зрения рациональности дисквалифицировать иррациональный дискурс об абсолюте только на основании его иррациональности.

Тут я оставил выделения курсивом как они есть. И собственно в них и вся проблема.

«Невозможность немыслимого сама является немыслимой» — если это высказывание формализовать, то в нём есть:

• a — возможность
• b — мыслимость
• утверждение !a && !b = !b , то есть не-возможность И не-мыслимость РАВНО (является) не-мыслимость .

Нагромождение отрицаний можно переформулировать, чтобы рассмотреть с разных сторон и убедиться, что понято всё правильно. У выражения !a && !b = !b есть эквивалент !(a || b) = !b . Это называется Законы де Моргана ( вот тут можно проверить).

Программист, которому знакома эта нотация уже и так почуял неладное. Но в этом неладном можно убедиться на практике. Вот тест на языке c# демонстрирующий нарушение логики:

[TestCase(true, true)]
[TestCase(true, false)]
[TestCase(false, true)]
[TestCase(false, false)]
public void Test(bool a, bool b)
{
   // Все случаи успешны,
   // в доказательство эквивалентности выражений
   Assert.That(!(a || b), Is.EqualTo(!a && !b));

   // Ошибка в случае a=true, b=false
   Assert.That(!a && !b, Is.EqualTo(!b));
}

В нём есть 4 варианта данных, всех возможностей сочетания двух параметров и двух их состояний. И оказывается, что один вариант ошибочен. То есть в случае a=true (возможность), b=false (не-мыслимость), согласно выражению: не-возможность мыслимости НЕ РАВНА (возможности) мыслимости .

Тут ещё присутствует неявная ошибка сравнимости несравнимого, так как возможность фундаментальнее мыслимости, ибо для мыслимости нужна такая возможность в дереве категорий.

Хотя это вопрос интерпретации терминов, но в любом случае тут будет:

• либо одна ошибка в случае отождествления мыслимости и возможности;
• либо две в случае их нетождества, где дополнительно возникает категориальное нарушение.

А всё это в итоге Мейясу использует для «вывода»:

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

[мем: жаль, что далеко не все поймут «что я логически доказал бога»]

Невозможность немыслимого — мыслима. Ты её даже написал, Карл. Другое дело логический статус этого высказывания — он ложный. Ибо немыслимое — это то, что за пределами мысли, невозможность немыслимого — это прежде всего отсутствие пределов, за которыми нет возможности быть чему-то немыслимому. Иными словами: можно помыслить всё, что угодно. Но это не так. Нельзя помыслить истинность равенства 1+1=3. И это было незаметно изначально только из-за дефективности выбранной риторики.