В данном случае мы видим, что члены противоречия – это противоположности, более того, противоположные мнения.
Третья формулировка несколько отличается от первых двух: «наиболее достоверное положение – это то, что противолежащие друг другу высказывания не могут быть вместе истинными».49 Здесь членами противоречия выступают противолежащие высказывания. Противоположность же, по Аристотелю – один из видов противолежания.
Напомним, что Аристотель различал 4 вида противолежания. Это противоречие, лишенность, противоположность, отношение. Он говорит о противолежащем так: «Противолежащими называются противоречащее одно другому, противоположное одно другому, соотнесенное, лишенность и обладание, а также последнее «откуда» и последнее «куда» – такие, как разного рода возникновение и уничтожение; равным образом противолежащими называются те свойства, которые не могут вместе находиться в том, что приемлет их, – и сами эти свойства, и то, откуда они».50 Таким образом, противолежание шире противоположности. Примечательно, что Аристотель в качестве примера противолежания берет серое и белое. А их нельзя назвать противоположностями в собственном смысле слова.
Следует отметить, что различие видов противолежания у Аристотеля несколько смазано. Так Аристотель пишет, что одна противоположность есть лишенность другой. Всякое противоположение есть некоторого рода лишенность, но вряд ли всякая лишенность есть противоположение. С другой стороны, по Аристотелю, лишенность – это некоторого рода противоречие. Нет строгого различия и между лишенностью и противоположностью. Итак, если следовать формулировкам самого достоверного, по Аристотелю, начала, логическое противоречие может быть между мнениями, приписывающими предмету противоположные предикаты, противолежащие предикаты и мнениями, одно из которых утверждает наличие какого-либо предиката у предмета, а другое отрицает это наличие. Мы видим, что логическое противоречие и противоречие как вид противолежания не совпадают между собой. Первые две формулировки закона можно считать эквивалентными в том случае, если присущность и неприсущность одного и того же одному и тому же и присущность одному и тому же обеих противоположностей в одном и том же отношении совпадали бы. Но ведь во втором случае утверждается