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

Представление совокупного «металогического» исследования или всесторонней разработки вопроса о принципе противоречия на фоне современной символической логики не является целью данной работы. Прежде, чем это произойдет, сначала следует обратиться к Аристотелю; надо переосмыслить некоторые старые нерешенные и сегодня забытые проблемы, связанные с этим принципом, и только затем объединить с ними новые исследования. Я собираюсь убедить читателя, что принцип противоречия не является столь неколебимым, как принято считать, что он является утверждением, требующим доказательства и что его доказательство, хотя бы частичное, может быть найдено даже вопреки словам Стагирита: «Ищут доказательства тому, что недоказуемо» (λόγον ζητοῦσιν ὧν οὐκ ἔστι λόγος)[65][66]. Если такое убеждение пробудит читателя и создаст из неприкасаемого и неприкосновенного, а значит, мертвого на сегодня вопроса живую проблему далеко не последнего значения, тогда эта работа полностью достигнет своей цели.

Глава I. Три формулировки принципа противоречия

Аристотель формулирует принцип противоречия в онтологическом, логическом и психологическом значении, хотя явно нигде эти значения не отличает.

а) Онтологический принцип противоречия он определяет в предложении:

Метафизика Г 3, 1005 b 19-20: τὸ γὰρ αὐτὸ ἅμα ὑπάρχειν τε καὶ μὴ ὑπάρχειν ἀδύνατον τῷ αὐτῷ καὶ κατὰ τὸ αὐτό

«Одно и то же не может одновременно быть присущим и не быть присущим одному и тому же с одной и той же точки зрения»[67].

Еще короче этот принцип выражается в словах:

Метафизика В 2, 996 b 30: ἀδύνατον (scil. τί)[68] ἅμα εἶναι καὶ μὴ εἶναι.

«Невозможно, чтобы что-то одновременно было и не было»[69].

Выражения ὑπάρχει τι τινί – «присуще нечто чему-то» и μὴ (οὐχ) ὑπάρχει τι τινί – «не присуще нечто чему-то» Аристотель использует для обозначения не точно определенного отношения, которому в логическом предложении, άπόφασις, соответствует отношение предиката к субъекту. Я считаю, что это отношение можно назвать отношением ингеренции, а его члены предметом и свойством. Под предметом я понимаю что-либо, что является «чем-то», а не «ничем», под свойством – все, что о неком предмете можно сказать. Между данным предметом и данным свойством возникает отношение «ингеренции», если предмет обладает свойством, т. е., если его можно высказать о предмете; если он им не обладает, отношения ингеренции нет. Используя эти термины, я формулирую онтологический принцип противоречия следующим образом:

Ни один предмет не может одним и тем же свойством обладать и не обладать.

Эта формулировка не меняет мысли Аристотеля, лишь вместо стилистически неудобных местоимений «одно и то же» и «нечто» вводит существительные «предмет» и «свойство».

Вышеприведенный принцип называется онтологическим, поскольку касается всего бытия, τὸ ὄν, т. е. всего, что является чем-то, а не «ничем» (ἅπασι γὰρ ὑπάρχει τοῖς οὖσιν)[70].

b) Логический принцип противоречия Аристотель определяет словами:

Метафизика Г 6, 1011 b 13-14: … βεβαιοτάτη δόξα πασῶν τὸ μὴ εἶναι ἀληθεῖς ἅμα τὰς ἀντικειμένας φάσεις.

«Из всех принципов наиболее верный тот, что противоречащие суждения не являются одновременно истинными»[71].

Под противоречащими суждениями, ἀντιφατκῶς, ἀντικείμεναι φάσεις, Аристотель понимает утвердительное суждение (sąd), κατάφασις, и отрицательное, απόφασις, об одном и том же предмете с одной и той же точки зрения. Например, «Каллий (есть) справедлив» – «Каллий не (есть) справедлив». Отношение таких суждений называется противоречием. Далее читаем:

Об истолковании 6, 17 а 32-35: … πάσῃ καταφάσει ἐστὶν ἀπόφασις ἀντικειμένη καὶ πάσῃ ἀποφάσει κατάφασις. καὶ ἔστω ἀντίφασις τοῦτο, κατάφασις καὶ ἀπόφασις αἱ ἀντικείμεναι. λέγω δὲ ἀντικεῖσθαι τὴς (scil. κατάφασιυ καὶ ἀπόφασιν) τοῦ αὐτοῦ κατὰ τοῦ αὐτοῦ)

«Каждому утвердительному суждению соответствует противоположное ему отрицательное, а каждому отрицательному – утвердительное. Пусть это будет противоречием, а противоречащие суждения – утверждением и отрицанием. Противоречащими суждениями называется утверждение и отрицание одного и того же свойства (τοῦ αὐτοῦ) об одном и том же предмете (κατὰ τοῦ αὐτοῦ)[72].

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