Логика. Том 1. Учение о суждении, понятии и выводе

5. Лучше обстоит дело в отношении безусловно значимых суждений. Действительно, так как последние касаются содержания служащего субъектом представления, то, по-видимому, и отрицание должно носить однозначный характер. Из обоих суждений – «материя обладает тяжестью» и «материя не обладает тяжестью», «пространство бесконечно» и «пространство не бесконечно» – по-видимому, как утверждение, так и отрицание носят однозначный характер. Однако, здесь обнаруживается трудность иного рода, которой мы уже касались выше (§ 22, 3–4). Она коренится во всеобщности субъектов, которая неустанно побуждает распространить суждение вместе с тем и на всякое более определенное единичное, объемлемое под ними. В то время как предикаты утвердительных суждений, само собою разумеется, имеют значение как по отношению к общему представлению, так и по отношению к отдельным объектам, подпадающим под него, – в то же время по отношению к ним нельзя уже отрицать того, что не мыслится вместе с тем в общем представлении. В общем представлении о треугольнике не заключается того, что он равносторонний; в общем представлении о человеке не содержится того, что он должен быть белым. Однако на этом основании нельзя отрицать относительно всех треугольников, что они могут быть равносторонними, ни относительно людей белый цвет. Поэтому противоположные суждения «треугольник равносторонний» – «треугольник неравносторонний» содержат в себе нечто двусмысленное; и отрицание снова становится двусмысленным, ибо теперь оно должно уничтожить только всеобщность и должно допустить соединимость предиката. Здесь оказывается пробел, который должно заполнить прежде всего частичное разделительное (das divisive Urteil) и затем основанное на нем просто разделительное (das disjunctive Urteil) суждение – одно, чтобы высказать совместимость различных предикатов с общим представлением, другое, чтобы высказать их несовместимость между собой.

6. Обыкновенная формула principium exclusi teitii понимает положение, что из двух противоречащих друг другу суждений одно необходимо должно быть истинным, следующим образом: «всякому мыслимому субъекту А должен принадлежать один из двух противоречиво противоположных предикатов (А есть или В, или non-В)». Она переносит, следовательно, отрицание на предикаты и получает, таким образом, строго говоря, два утвердительных суждения, между которыми не может быть никакого третьего. После того как вольфовская логика совершила этот переход, Кант использовал его для своих целей: он показывает, как основоположение, что всякой вещи из всех возможных предикатов, поскольку они сравниваются со своими противоположностями, должен принадлежать один, – как основоположение это выходит за пределы просто логического и в качестве принципа обыкновенного определения предполагает совокупность всех предикатов как целокупную возможность. Не кроется ли в этом переходе quaternio terminorum, в этом «все», поскольку один раз оно применяется по отношению к совершенно неопределенной всеобщности, в другой раз – по отношению к определенному числу, – этого мы можем здесь не исследовать. Во всяком случае, он указывает тот смысл, в каком Кант понимает основоположение, именно что дело идет при этом о том, чтобы известный субъект поставить в отношение ко всем возможным положительным и отрицательным предикатам, дабы посмотреть, при помощи каких предикатов следует его определять. И суждение «А есть или В, или non-В» служит, следовательно, поводом к тому, чтобы для В брать один за другим все мыслимые предикаты. Но это – если даже совсем не касаться правомерности формулы non-В – является совершенно пустым занятием, так как в этом случае мы ведь не приобретаем никакого определения, но всегда остается нерешенным, принадлежит ли субъекту В или non-В, X или non-Х. И если бы даже мы могли решить этот вопрос, то для значительного большинства таких предикатов никакая мыслимая комбинация не давала бы возможности попытаться утверждать предикат и тем вызвать отрицание. Что же касается общих понятий, то по отношению к ним оставалась бы та же самая беда, что с ними совместимо как В, так и non-В. Так что, следовательно, и с этой стороны ценность суждения значительно падает.