О принципе противоречия у Аристотеля. Критическое исследование

Следовательно, суждение является предложением, произнесенным словесно, причем, предложением, которое нечто значит. Ведь каждое предложение что-то значит; правда, не каждое является суждением, но лишь такое, которому присущи свойства истины и лжи[81]. Истинным же или ложным может быть единственно то предложение, которое говорит, что нечто есть или не есть[82][83]. Собирая эти замечания в одно определение, можно таким образом сказать, что согласно Аристотелю, суждение является последовательностью слов, сообщающих, что нечто есть или не есть. Насколько же это определение лучше обычных дефиниций суждения, разбросанных в учебниках логики и усматривающих в суждении соединение понятий или состояние психического убеждения! «Золотая гора» также является соединением понятий, а тот факт, что «солнце светит», не является психическим понятием.

Глава II. Отношение онтологического принципа противоречия к логическому

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

Каждое суждение можно редуцировать к одной из двух форм: «Предмет P обладает свойством с» или «Предмет P не обладает свойством с». Два суждения: «Р обладает с» и «Р ' обладает с '» выражают разными словами одну и ту же мысль, т. е. они равнозначны, если P означает тот же предмет, что и Р', а с означает то же свойство, что и с'. Например, следующие суждения в частично разных словах выражают одну и ту же мысль: «Аристотель был создателем логики» – «Стагирит был создателем логики». Ведь слово «Стагирит» в силу принятой традиции означает ту же личность, а следовательно, тот же самый предмет, что и слово «Аристотель». Ни одно отрицательное суждение не равнозначно с утвердительным, поскольку утверждение означает нечто иное, чем отрицание; одно является таким же простым как второе, и невозможно никоим образом его редуцировать ко второму.

Если суждения: «Р обладает с» и «Р ' обладает с '» равнозначны, то из истинности первого суждения следует истинность второго и из истинности второго – истинность первого; короче говоря, из первого суждения следует второе и из второго – первое. Например, если является истиной, что «Аристотель был создателем логики», то истиной является, что «Стагирит был создателем логики», и наоборот. Два суждения, которые между собой находятся в таком отношении, что из первого следует второе, а из второго первое, являются равнозначными. И поэтому каждые два равнозначных суждения являются эквивалентными. Отсюда a contrario следует, что если два суждения не являются эквивалентными, то они не являются и равнозначными. Отсутствие эквивалентности является наиболее определенным критерием равнозначности.

И наоборот – не каждые два эквивалентных суждения являются равнозначными. Например, суждения «Аристотель был учеником Платона» и «Платон был учителем Аристотеля» эквивалентны; ведь из первого следует второе и из второго первое. Однако эти суждения не являются равнозначными, ибо слово «Аристотель» означает иной предмет, нежели «Платон», а слова «был учеником Платона» означают иное свойство, нежели слова «был учителем Аристотеля»[84].

Приведенные в Гл. I формулировки принципа противоречия не являются равнозначными суждениями. В онтологическом принципе противоречия речь идет о предметах, в логическом – о суждениях, в психологическом – об убеждениях. Слова «предмет», «суждение», «убеждение» означают разные предметы. А значит, суждения, в которых находятся эти слова, не представляют собой одного принципа, выраженного разными словами, но являются тремя разными принципами.

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

а) Из онтологического принципа противоречия следует логический. А именно, мы читаем:

Об истолковании 9, 18 а, 39-b 1: εἰ γὰρ ἀληθὲς εἰπεῖν ὅτι λευκὸν ἢ ὅτι οὐ λευκόν ἐστιν, ἀνάγκη είναι λευκὸν ἢ οὐ λευκόν…