Но вот в другом доме муж сказал «если я рыцарь, то жена рыцарь»
Можно конечно рассудить так, что высказывание просто не может быть ложным. Ибо если бы оно было ложным, то муж был бы рыцарем, а жена плутом. Но рыцарь не мог высказать ложь, а потому высказывание истинно, а потому муж рыцарь, и поскольку он говорил, что если он рыцарь (а это так), то и его жена рыцарь, значит, они оба рыцари.
Но можно сразу допустить, что муж рыцарь. Тогда его высказывание истинно, а потому высказанное им имеет место. А именно если он рыцарь, то его жена тоже рыцарь - вот что имеет место. И поскольку он рыцарь, то его жена рыцарь.
И потому истинно, что если муж рыцарь, то жена рыцарь. Но именно это и утверждал муж. Получается, он сделал истинно высказывание, а потому он рыцарь. Значит, его жена тоже рыцарь. Следовательно, они оба рыцари
Post #31
313
Душный синтаксис Класс. Кстати Смаллиан в «Вовеки неразрешимо», например, использует такое рассуждение, но не в качестве парадокса. Где он показывает, как работает «если, то» с точки зрения классики
- ❤ 2