Котофеич писал(а):
Естественно возникает вопрос о том какова природа противоречивой логики
Существует две основных концепции, в рамках которых трактуется природа противоречивой
логики и природа противоречивых множеств.
1.Паралогический формализм.2.Паралогический платонизм. 1.Паралогический формализм. Это концепция, которая есть обобщение идеи
Д.Гильберта. Сторонники этой концепции не считают, что нужно придавать конкретный
смысл математическому утверждению
А, если оно истинно одновременно с утверждением
не А, в лучшем случае объекты этого типа относятся к некоторому
воображаемому универсуму
V{Inc}.
Такой точки зрения придерживается большинство логиков-нематематиков. В частности
этой точки зрения придерживался великий русский логик Васильев-основоположник
современной теории противоречивых логик. По этой причине Васильев, назвал свою
логику Воображаемая логика. Он ошибочно полагал, что в реальном мире не может
существовать объективных противоречий.
которой противоречие признается как часть объективной реальности.
парадокс но только как объективное логическое противоречие избавиться от которого
принципиально невозможно. Как мы потом покажем ЛЖЕЦ имеет фундаментальную
математическую природу и в абстрактной форме всегда присутствует в топосах Гротендика
с противоречивой внутренней логикой.