«Если истинным является суждение, что [нечто] является белым или не белым, [то] должно быть белым или не белым»[85]
.Контекст показывает, что этот пример является типичным, т. е. λευκόν заменяет любое свойство. Тогда, если истинным является суждение, приписывающее предмету свойство, то предмет им обладает; если истинным является суждение, отрицающее у предмета свойство, то предмет им не обладает. Поэтому, если бы два противоречащих суждения были одновременно истинными, то один и тот же предмет обладал бы неким свойством и одновременно не обладал бы им. Однако это невозможно в силу онтологического принципа противоречия, поэтому противоречащие суждения не могут быть одновременно истинными.
b) Из логического принципа противоречия следует онтологический. А именно, читаем:
«Если [нечто] является белым или не белым, то истинным было утвердительное суждение или отрицательное»[86]
.«[Тот] говорит истину, кто считает разъединенное разъединенным, а что соединено, соединенным»[87]
.Поэтому, если предмет обладает свойством, т. е. с ним соединен, то истинным является суждение, которое ему его приписывает; если же он им не обладает, т. е. с ним разделен, то истинным является суждение, которое ему в этом свойстве отказывает. Таким образом, если один и тот же предмет обладает неким свойством и одновременно им не обладает, то одновременно были бы истинными два противоречащих суждения. Однако это невозможно в силу логического принципа противоречия, следовательно, ни одни предмет не может одновременно одним и тем же свойством обладать и не обладать.
Доказательства (а) и (b), взятые вместе, утверждают, что онтологический и логический принцип противоречия являются эквивалентными суждениями.
Я этот результат не считаю верным – ведь он является следствием несомненного взгляда, что бытие и истинные суждения взаимно соответствуют. Основывается же этот взгляд на дефиниции истинного суждения:
«Говорить, что то, что есть – есть, а то, чего нет – нет, это истина»[88]
.Из этих дефиниций с необходимостью следует эквивалентность онтологического и логического принципа противоречия.
Однако эту эквивалентность Аристотель назвал бы единственно логической, но не реальной, поскольку можно прочесть:
«Не потому ты являешься белым что мы говорим истину, называя тебя белым, а потому, что ты являешься белым, и мы, говоря это, говорим истину»[89]
.Таким образом, бытие одинаково является как логическим основанием истинности суждений, так и реальной причиной их высказывания; зато истинность суждений является только логическим основанием, но не реальной причиной бытия. Я допускаю, что это различие так сформулировал бы и Аристотель, если бы отчетливо его для себя осознал.
Глава III. Отношение онтологического и логического принципа противоречия к психологическому
Психологический принцип противоречия Аристотель не трактует на равных с предыдущими. Он молчаливо признает онтологический и логический принцип эквивалентными и выразительно провозглашает, что эти принципы, являющиеся окончательными, доказать нельзя;
а) Первая часть содержится в предложении: