a) Принцип тождества должен быть «позитивным формулированием принципа противоречия». Это высказывание, ясность и точность которого оставляют желать лучшего (сравните ниже в цитате из Зигварта еще более туманную фразу: positive Kehrseite),
означает, скорее всего, что оба принципа: один в утвердительном предложении, другой в отрицательном – выражают одну и ту же мысль, т. е. они являются равнозначными. Так вот, в Главе II я уже упоминал, что ни одно утвердительное суждение не равнозначно отрицательному; ведь утверждение означает нечто иное нежели отрицание. Утвердительное суждение может быть, разве что, эквивалентно отрицательному, но эквивалентность и равнозначность – это два разных понятия. Поэтому нельзя принять, чтобы формулы «а есть а» и «а не есть не-а» были равнозначны и тем самым выражали один и тот же принцип.b) Однако вопрос равнозначности этих формул для нашей проблемы не имеет никакого значения, поскольку формула «а не есть не-а»,
вообще, не выражает принципа противоречия. Научная логика, которая в своих исследованиях употребляет однозначно определенные символы и избегает неясных и туманных выражений обычной жизни, считает, впрочем, эти формулы неточным формулированием принципа двойного отрицания (Prinzip der doppellen Verneinung, loi de double negation)[127]. Можно показать, что ни один из этих трех принципов: тождества, противоречия и двойного отрицания – не выражает одной и той же мысли, вследствие чего все они обладают разными значениями[128].с) Чтобы надлежащим образом такое утверждение обосновать, я представлю все эти принципы в виде условных высказываний, поскольку в таком виде они наиболее приближены к точным формулам символической логики:
принцип тождества: если Р обладает с, то Р обладает с
;принцип двойного отрицания: если Р обладает с, то Р не может не обладать с
;принцип противоречия: если Р является предметом, то Р не может одновременно обладать с и не обладать с.
Определенное сомнение может вызвать вопрос, является ли третье условное высказывание равнозначным принципу противоречия, выраженному в категорической форме: «Ни один предмет не может одновременно одним и тем же свойством обладать и не обладать». Так вот, по моему мнению, каждое общее высказывание, утвердительное или отрицательное, представляет связь двух суждений: «все А
суть В» значит, что «если нечто есть А, [то] есть В», а «ни одно А не есть В» означает, что «если нечто есть А, [то] не есть В». Эквивалентность этих форм не вызывает сомнений, а их равнозначность вытекает из значения выражений «все» и «ни один».Слова «все А
» не представляют одного предмета, но неопределенное количество предметов А1, А2, …, Аn. Поэтому [тот], кто утверждает, что «все А суть В» в сокращенной форме выражает ряд суждений «А1 есть В», «А2 есть В», …, «Аn есть В», причем, А1, А2, …, Аn исчерпывают область А. Это значит, что какое бы Ах мы не приняли во внимание, оно будет В; иначе, «если нечто есть А, то есть В». Аналогично и предложение «ни одно А не есть В» в сокращенной форме представляет ряд суждений «А1 не есть В», «А2 не есть В», …, «Аn не есть В», причем, А1, А2, …, Аn исчерпывают область А. Это значит, что какое бы Ах мы не приняли во внимание, оно не есть В; иначе, «если нечто есть А, то не есть В». Поэтому понятие следования, содержащееся в условном высказывании, заключено в словах «все» и «ни один».Я привожу здесь принцип противоречия в условной форме, поскольку в такой форме легче воспринять свойства, отличающие этот принцип от принципа тождества и двойного отрицания. Однако это же различие характеризует и категорическую форму принципа противоречия так, что последующие рассуждения окажутся верными, даже если бы условная форма не была эквивалентна категорической. Свойства, которые отличают принцип противоречия от принципа тождества и двойного отрицания, следующие: