История логики

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

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

Что касается классификации суждений по количеству, то в «Первой Аналитике» Аристотель делит суждения на общие, частные и неопределенные, тогда как в сочинении «Об истолковании» дается иное деление: суждения делятся там на общие, частные и единичные, причем частные суждения понимаются в более широком смысле, чем в «Первой Аналитике», так как они охватывают собой и частные и неопределенные суждения «Первой Аналитики». В «Первой Аналитике» под частными суждениями понимаются суждения с кванторным словом «некоторые» в отличие от неопределенных суждений, не содержащих обозначения ни для общности, ни для частности. В сочинении же «Об истолковании» под частными суждениями понимаются все суждения, которые не являются ни общими, ни единичными.

В этой классификации Аристотеля существует неясность. Если частные суждения понимать в смысле «некоторые, а может быть и все S суть Р», то нет никакого различия между ними и неопределенными суждениями, так как в тех и других остается невыясненным, идет ли речь только о некоторых, или, может быть, о всех S. Если же, исходя из определения частного суждения в «Первой Аналитике» как присущности или неприсущности того, что сказывается, некоторому или не всякому предмету, являющемуся подлежащим суждения, понимать частные суждения Аристотеля в смысле «только некоторые S суть Р», то получается еще большее затруднение. В таком случае, как отмечает Н. А. Васильев, окажутся неверными установленные Аристотелем частные модусы категорического силлогизма[25].

Суждения типа «только некоторые S суть Р» получили название выделяющих суждений. Аристотелевская теория силлогизма безупречна лишь в том случае, если под частными суждениями «Первой Аналитики» понимать суждения типа «некоторые, а может быть и все S суть Р». Особенности аристотелевского деления суждений по количеству, как правильно отмечает А. С. Ахманов, заключаются в том, что, по Аристотелю, общность и частность суждений есть элемент сказуемого, а не количества подлежащего[26]. Строго говоря, то, что называется различием суждений по количеству, Аристотель понимает как различие в том, высказывается ли сказуемое о подлежащем общим или необщим образом, обо всем или не обо всем объеме подлежащего.

Третий вид деления суждений у Аристотеля – деление на суждения, говорящие о простом, необходимом и возможном бытии. Таким образом, в понимании модальности у Аристотеля на первый план выступает онтологическая точка зрения: деление по модальности есть деление по «степеням» бытия.

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

Таким образом, модальность суждений в логике Аристотеля не означает субъективной степени уверенности: возможность не тождественна вероятности, а необходимость не есть психологическая невозможность мыслить иначе. Но наряду с онтологической возможностью Аристотель применяет и понятие логической возможности (в смысле допустимости чего-либо). В последней части сочинения «Об истолковании» выясняется вопрос об отношениях противоречивости и противности между модальными суждениями. Результаты исследования он резюмирует в таблице, состоящей из восьми положительных и восьми отрицательных модальностей. Аристотель считает, что в модальных суждениях утверждение и отрицание относятся не к глаголу суждения, а к виду модальности (т. е. утверждается или отрицается возможность или невозможность, допустимость или недопустимость, необходимость или не-необходимость).