Противоречивый

Опровергающий что‑либо или самого себя. В частности, в логике противоречивыми называют два такие высказывания, одно из которых является отрицанием второго (р и не‑р суть противоречивые высказывания) либо включает в себя это отрицание (если р включает не‑q, р и q могут быть названы противоречивыми). Например, высказывание «Все люди смертны» противоречит высказыванию «Не все люди смертны», точнее (поскольку второе высказывание двусмысленно), высказыванию «Некий человек не смертен». Два противоречивых высказывания не могут одновременно быть оба истинными (принцип непротиворечивости) или оба ложными (принцип третьего исключенного). Следовательно, они являют собой альтернативу: ложности одного достаточно для доказательства истинности второго и наоборот. Вот почему в своих рассуждениях мы вынуждены двигаться зигзагами (иначе мы стали бы пленниками очевидности) – для доказательства истинности того или иного тезиса мы прибегаем к доказательству ложности противоречащего ему тезиса. Почти на каждом шагу мы сталкиваемся с ложным, и разум ведет нас, как ведет слепца его палка.