Александр Болдачев. Локальная контрадикторность и парадокс брадобрея

Цитаты

Абсолютная и локальная контрадикторность

посмотреть в тексте

Для логически строгой формулировки решения парадокса брадобрея предлагается ввести понятия абсолютной и локальной контрадикторности. Абсолютно контрадикторными следует считать такую пару предикатов, для которой предложения, образованные приписыванием их одному логическому субъекту, подчиняются закону исключенного третьего всегда и везде на любом множестве логических субъектов. К абсолютно контрадикторным, безусловно, следует отнести пару «предикат» / «его отрицание». В нашем случае абсолютно контрадикторными являются предикаты «бреется сам» / «не бреется сам» или «бреется у брадобрея» / «не бреется у брадобрея». Однако можно указать ситуации, когда закон исключенного третьего выполняется и для любых несовместимых предикатов.

Локально контрадикторные предикаты

посмотреть в тексте

Понятно, что пары предикатов «красный»/«зеленый» и «шарообразный»/«кубический» являются локально контрадикторными.