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