Александр Маковельский - История логики

Онтологический принцип образует основу всего научного здания. Этот принцип имеет и вторую сторону – объективно-логическую, которая дана непосредственно вместе с онтологической. Объктивно-логическая формулировка принципа: «Утверждение и отрицание не могут быть вместе истинными» – служит основоположением, из которого выводится правило, что одному и тому же субъекту не могут быть присущи противоположные предикаты. И отсюда уже следует субъективная необходимость признавать закон противоречия, т. е. психологическая невозможность принимать, что нечто есть и не есть.

Принцип противоречия в его метафизической и объективно-логической формулировках, по Аристотелю, является основоположением недоказуемым, непосредственно очевидным, ибо всякий, кто приводит какое-либо доказательство, сводит его к этому положению как последнему; ибо по природе оно есть начало для всех других аксиом. Оно – достовернейшее из всех начал, оно – начало начал.

Это положение нельзя обосновать в собственном смысле слова, однако можно опровергнуть противоположный ему взгляд, показав абсурдность вытекающих из него следствий. В этом последнем смысле можно дать ему доказательства.

Первым таким косвенным доказательством у Аристотеля служит возражение противнику, который оспаривает закон противоречия, заключающееся в том, что, поскольку он нечто высказывает, постольку он на деле признает этот принцип. Ибо говорить – значит высказывать слова, имеющие определенное значение для других и для себя. Высказывая нечто, что должно иметь определенное значение, он (противник) тем самым признает закон противоречия, по крайней мере в определенной области и в определенном объеме. Предпосылкой для каких бы то ни было высказываний является однозначная определенность и безусловное постоянство значений слов.

Слово (а) означает одно понятие (а) и, следовательно, не другое (не-а). Основная формула такова: «а не есть не-а». Смысл закона противоречия в этом аспекте таков: «а не может иметь тот же самый смысл, какой имеет то, что по своей сущности не есть а», следовательно, «а есть а и поэтому не есть не-а».

Однако при таком понимании смысла закона противоречия его значимость замыкается в слишком узкие границы. Так, Антисфен учил, что правильно только то высказывание, которое о субъекте высказывает только его понятие (например, о человеке можно лишь сказать: «Человек есть человек», высказывание же о человеке какого-либо другого предиката недопустимо). Антисфен принимал исключительно возможность суждений тождества (идентичных суждений). По учению Антисфена, о каждой вещи можно лишь утверждать, что она есть именно эта вещь; нельзя никакой вещи приписывать множества признаков, ибо каждая вещь есть нечто единичное и как таковая она абсолютно отлична от всего другого. Критикуя взгляд Антисфена, Аристотель указывает, что субъекту могут быть присущи различные предикаты, как существенные, так и несущественные.

В известном смысле предикат, выражающий несущественное свойство (например, белый), относится к своему субъекту (человек) , как не-а к а. Предикат не-а высказывается о субъекте а. не в том же смысле, в каком о нем высказывается его сущность а. Если бы закон противоречия выводился из предпосылки, что со всяким словом твердо связано только одно понятие, исключающее все другие понятия, то в этом случае значение закона противоречия было бы ограничено суждениями тождества. Применение же его к суждениям с предикатами, выражающими несущественные свойства, были бы ложно. Ибо для таких суждений справедлива была бы формула «а есть не-а».

Таким образом, закон противоречия в том понимании и обосновании, какие даны в первом доказательстве, не имеет силы для суждений, высказывающих несущественные свойства. Между тем в своей первоначальной формулировке закон относился н к этим суждениям. Возникающее таким образом затруднение ослабляется, если закону противоречия придать несколько иное значение, а именно, если принять ту предпосылку, из которой исходит первое доказательство, собственным смыслом и содержанием всего этого закона.

В таком случае смысл данного закона ограничивался бы лишь устойчивостью понятий и суждений. Закон констатировал бы исключительно «однозначность акта суждения», т. е. в этой интерпретации он высказывал бы лишь то, что всякий, кто сознательно что-либо утверждает, утверждает именно то, что он утверждает.

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

Дело в том, что если бы о всяком субъекте по желанию можно было бы утверждать или отрицать любой предикат, то один и тот же субъект одновременно мог бы, например, быть кораблем, стеной и человеком.

Аристотель указывает, что отрицание принципа противоречия встречается в различной степени. Или его совершенно оспаривают и обо всем прямо утверждают, что оно белое или одновременно не белое, существует и одновременно не существует, или же придают закону ограниченное значение, но в таком случае нужно определенно указывать границы его применения.

Переходя к субъективно-психологическому аспекту закона противоречия, Аристотель указывает, что если признавать все суждения – в том числе и противоположные – истинными, то придется вместе с тем признавать, что они все ложны. Ибо стоящий на точке зрения, что все суждения истинны должен будет объявлять свои собственные высказывания ложными. Однако психологически невозможно признавать всякое суждение одновременно и истинным и ложным. Принимающий это не будет принимать ничего определенного. Наряду с психологической невозможностью Аристотель ссылается и на практику. Все поведение людей служит доказательством значимости этого закона. В практической жизни люди считают, что одно лучше, а другое хуже. Определенность поведения людей базируется на значимости закона противоречия.

Возражая противникам, Аристотель приводит и следующий аргумент. Если бы в сущем все обстояло одновременно так и не так и поэтому и в мышлении утверждение и отрицание о чем-либо было бы одновременно истинно, то было бы непонятно, как можно приписывать субъективным положениям большую и меньшую истинность. Например, кто 4 считает за 5, тот ошибается, но не в такой степени, как тот, кто считает 4 за 1000. Очевидно, первый ошибается менее, т. е. первый стоит ближе к истине, чем второй, а если так, то должна быть абсолютная истина, исходя из которой можно измерять различия степеней приближения или удаления от нее.