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