О ПРОТИВОПОЛОЖНОСТИ МЕЖДУ ПРЕДЛОЖЕНИЯМИ, ИМЕЮЩИМИ ОДИН И ТОТ ЖЕ СУБЪЕКТ И ОДИН И ТОТ ЖЕ АТРИБУТ

Мы сказали, что есть четыре вида предложений — А, Е, I, О. Теперь рассмотрим, какое соответствие или несоответствие существует между пими, когда из одного п того же субъекта и одного и того же атрибута составляют различные виды предложений.

Нетрудно заметить, что противоположность между такими предложениями может быть только трех видов; правда, один из них, в свою очередь, делится иа два вида.

Если они противоположны одновременно и по количеству и по качеству, как А, О и Е, I, их называют, противоречащими.

Если они различны только по количеству и одинаковы по качеству, как А, I и Е, О, их называют подчиненными. Например: Всякий человек есть животное, Некоторый человек есть животное; Ни один человек не безгрешен, Некоторый человек не безгрешен.

Если же опи различны по качеству и одинаковы по количеству, их называют противными и подпротивными. Противными — когда они общие, например: Всякий человек есть животное, Ни один человек не есть животное.

Подпротивными — когда они частные, например: Некоторый человек есть животное, Некоторый человек не есть животное.

Рассматривая теперь противоположные предложения с точки зрения истинности и ложности, нетрудно прийти к следующим выводам.

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

Протнвпые предложения никогда пе могут быть одновременно истинными, но опи могут быть одновременно ложными.

Однако ложность одного пз противных предложений не влечет зд собой ИСТИННОСТИ другого. Ибо может быть ложным, что все люди справедливы, но отсюда пе следует истинность того, что ни один человек не справедлив, поскольку средп людей могут быть справедливые, хотя справедливы не все.

Подпротивные предложения по правилу, обратному тому,. которому подчиняются противные, могут быть одновременно истинными, как, например, следующие два: Некоторый человек справедлив, Некоторый человек не справедлив; пбо справедливость может быть присуща одной части людей и не присуща другой, и, таким образом, утверждение и отрицание относятся не к одному и тому же субъекту, поскольку некоторый человек означает в одном предложении одну часть людей, а в другом — другую. Однако они пе могут быть оба ложными — иначе были бы ложными противоречащие предложения. Ведь если бы было ложным, что некоторый человек справедлив,, то, следовательно, было бы истинным, что ни один человек не справедлив, т. е. противоречащее предложение, и тем более — что некоторый человек не справедлив, т. о. подпротивноо предложение.

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

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