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

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