sergey 11.09, 09:48 писал(а):
Она непротиворечива. Она неполна.
Ну как же непротиворечива?
Утверждение «брадобрей должен брить себя сам» истинно, или ложно?
Он должен брить тех и только тех мужиков, которые не бреются сами.
Если он должен себя самого брить, то получается, что он бреется сам, но тогда он не должен самого себя брить. А если он не будет самого себя брить, то тогда он мужик, который не бреется сам, и тогда он должен сам себя брить.
Таким образом, вышеупомянутое утверждение не может быть ни истинным, ни ложным, что противоречит закону исключенного третьего.
И что вы имеете в виду под «семантическим парадоксом»? Здесь парадокс — это эвфемизм для логического противоречия.
Иногда пытаются преодолеть это противоречие кавалерийским наскоком, заявляя, что такого брадобрея не существует.
Это возражение несостоятельно
Переформулируем парадокс:
Назовем прилагательное «аутоморфным», если оно описывает само себя. Например, прилагательное «русский» аутоморфно, т.к. оно русское, а прилагательное «французский» не аутоморфно («гетероморфно»), т.к. оно не французское, а русское.
Вопрос на засыпку: прилагательное «гетероморфный» аутоморфно?
Очевидно, что на этот вопрос невозможно ответить ни «да», ни «нет», т.к. оба ответа ведут к противоречию.
Теперь уже невозможно заявить, будто такого прилагательного не существует, т.к. вот оно: «гетероморфный»!