Tercium non datur - почему это не работает
Принцип исключенного третьего в логике означает, что любое высказывание может быть или истинным или ложным. Бяка заключается в том, что могут быть высказывания, которые не являются ни тем ни другим. Простейший пример: "Вася всё еще бьет свою жену". В случае, если это правда, тут всё более-менее ясно. Однако если нет, у нас проблемы. Что если он НИКОГДА не бил свою жену или у него вообще никогда не было жены?
Можно, конечно, сказать, что ложность высказывания включает в себя возможность этих вариантов. Однако ответ "нет" означает, что мы согласились отвечать на этот вопрос в бинарной системе и, таким образом, согласились с информацией, содержащейся в вопросе. И реально наш ответ означает "бил, но перестал".
Вот, каким образом работает еврейский принцип "соври посильнее" - сама постановка вопроса может исключать возможность дать на него правильный ответ в бинарной системе. Поэтому для такого рода утверждений нам требуется то самое третье, которое древние совершенно напрасно исключили из рассмотрения.
Не случайно Брауэр, один из основателей интуиционистской математики, не принимал правило TND, которое является фундаментальным глюком бинарной логики.
Без троичной логики нельзя рассуждать адекватно. А если ты не можешь рассуждать адекватно, найдется тот, кто будет тобой манипулировать. Вот, почему раса, использующая бинарную логику и принцип TND - это находка для деятелей вроде Кургиняна, которые будут таращиться на вас, подпрыгивать и требовать дать им ответ "да или нет".
Кстати, я читал, что Брауэр поддерживал Гитлера в годы национал-социализма. Похоже, что у него были для этого серьезные причины.
Можно, конечно, сказать, что ложность высказывания включает в себя возможность этих вариантов. Однако ответ "нет" означает, что мы согласились отвечать на этот вопрос в бинарной системе и, таким образом, согласились с информацией, содержащейся в вопросе. И реально наш ответ означает "бил, но перестал".
Вот, каким образом работает еврейский принцип "соври посильнее" - сама постановка вопроса может исключать возможность дать на него правильный ответ в бинарной системе. Поэтому для такого рода утверждений нам требуется то самое третье, которое древние совершенно напрасно исключили из рассмотрения.
Не случайно Брауэр, один из основателей интуиционистской математики, не принимал правило TND, которое является фундаментальным глюком бинарной логики.
Без троичной логики нельзя рассуждать адекватно. А если ты не можешь рассуждать адекватно, найдется тот, кто будет тобой манипулировать. Вот, почему раса, использующая бинарную логику и принцип TND - это находка для деятелей вроде Кургиняна, которые будут таращиться на вас, подпрыгивать и требовать дать им ответ "да или нет".
Кстати, я читал, что Брауэр поддерживал Гитлера в годы национал-социализма. Похоже, что у него были для этого серьезные причины.