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

Суждение Аристотель обозначает термином «апофансис» ([FIXME]),который происходит от глагола [FIXME], что значит «обнаруживаю», «открываю», «выражаю». Согласно определению суждения, данному в сочинении «Об истолковании» (4–5, 17 а 2–24), суждение есть высказывание о присущности или неприсущности чего-либо чему-либо и является особым видом речи, а именно такой речью, в которой находит свое выражение истина или ложь.

Аристотель говорит, что не всякая речь является суждением. Так, например, мольба не есть суждение, так как это такой вид речи, который не является ни истинным, ни ложным. Не являются суждениями и такие виды речи, как побуждение или вопрос. Но Аристотель идет еще дальше. По его мнению, строго говоря, не относятся к апофантической речи и так называемые гипотетические, т. е. условные, и разделительные суждения, поскольку в них определенно не высказывается присущность или неприсущность чего-либо чему-либо. Дело в том, что Аристотель понимал условные суждения как высказывания ex concessione, т. е. как условные допущения, в которых еще не выявлена точка зрения самого высказывающего их субъекта, как условное согласие ведущего спор со своим противником типа «допустим, что это так». Равным образом в разделительных суждениях нет вполне определенного отнесения к бытию, и потому для Аристотеля и они не принадлежат к апофантической речи. Значит, по Аристотелю, только категорические суждения являются суждениями в собственном смысле слова, только к ним применим термин «апофансис».

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

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

Что касается структуры суждения, то Аристотель в этом вопросе следует данному впервые Демокритом учению, что суждение состоит из «имени» и «глагола». Как и у Демокрита, под именем здесь понимается та часть суждения, которая относится к предмету, о котором идет речь, а термином «глагол» обозначается все то, что высказывается об этом предмете. Таким образом, Аристотель принимает демокритовское учение о субъектно-предикатной форме суждения; связка не выделяется им в качестве особой части суждения, а включается в предикат (в глагол).

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

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

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

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

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

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

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

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

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