Остается еще один вопрос: как может быть доступен нам тот оригинал, который следует привлечь для сравнения (т. е. сама объективная действительность) ? На это Аристотель отвечает, что в ощущениях и в интуиции разума нам дана действительность так, как она есть на самом деле. Суждение, которое лежит в области дискурсивного мышления, истинно, если оно оказывается в согласии с данными чувственного восприятия и интуиции разума. Критерия практики теория познания и логика Аристотеля не знают.
Таким образом, получается, что истина первоначально принадлежит единичным представлениям, доставляемым ощущениями и отдельным объектам интуиции разума, постигающей сущность вещей (и то и другое, по учению Аристотеля, не допускает ошибок), тогда как в области дискурсивного мышления, в которой имеют место и истина и ложь, истина является вторичной, производной. Таким образам, здесь у Аристотеля получается расхождение с его учением, что истина первоначально связана с суждением.
Суждение Аристотель обозначает термином «апофансис» ([FIXME]),который происходит от глагола [FIXME], что значит «обнаруживаю», «открываю», «выражаю». Согласно определению суждения, данному в сочинении «Об истолковании» (4–5, 17 а 2–24), суждение есть высказывание о присущности или неприсущности чего-либо чему-либо и является особым видом речи, а именно такой речью, в которой находит свое выражение истина или ложь.
Аристотель говорит, что не всякая речь является суждением. Так, например, мольба не есть суждение, так как это такой вид речи, который не является ни истинным, ни ложным. Не являются суждениями и такие виды речи, как побуждение или вопрос. Но Аристотель идет еще дальше. По его мнению, строго говоря, не относятся к апофантической речи и так называемые гипотетические, т. е. условные, и разделительные суждения, поскольку в них определенно не высказывается присущность или неприсущность чего-либо чему-либо. Дело в том, что Аристотель понимал условные суждения как высказывания ex concessione, т. е. как условные допущения, в которых еще не выявлена точка зрения самого высказывающего их субъекта, как условное согласие ведущего спор со своим противником типа «допустим, что это так». Равным образом в разделительных суждениях нет вполне определенного отнесения к бытию, и потому для Аристотеля и они не принадлежат к апофантической речи. Значит, по Аристотелю, только категорические суждения являются суждениями в собственном смысле слова, только к ним применим термин «апофансис».
Поскольку в таких суждениях о будущем, как, например, утверждение, что будет война, по Аристотелю, нет отнесения к бытию, так как будущее не есть еще действительность, то и такие высказывания о будущем являются лишь догадками, а не достоверными утверждениями, т. е. не являются апофантическими.
Это не значит, что Аристотель вообще отрицает всякую возможность истинных суждений, относящихся к будущему. Так как наряду с изменчивыми истинами, относящимися к определенному времени, Аристотель признавал и вечные абсолютные истины, то с его точки зрения могут быть и безусловно истинные суждения, имеющие силу и в отношении будущего. Так, в духе Аристотеля можно сказать, что дважды два всегда будет равно четырем, отношение диаметра к окружности всегда будет одним и тем же.
Что касается структуры суждения, то Аристотель в этом вопросе следует данному впервые Демокритом учению, что суждение состоит из «имени» и «глагола». Как и у Демокрита, под именем здесь понимается та часть суждения, которая относится к предмету, о котором идет речь, а термином «глагол» обозначается все то, что высказывается об этом предмете. Таким образом, Аристотель принимает демокритовское учение о субъектно-предикатной форме суждения; связка не выделяется им в качестве особой части суждения, а включается в предикат (в глагол).
В онтологическом аспекте подлежащее суждения мыслится Аристотелем как самый предмет реального мира, о котором что-либо высказывается, а сказуемое суждения – как выражение реальной присущности или неприсущности этому предмету тех или иных признаков.
В структурном отношении Аристотель проводит различие между двухчленными суждениями, в которых говорится о существовании или несуществовании того или иного предмета, и трехчленными суждениями, в которых предмету приписываются какие-либо признаки.
Аристотель подчеркивает, что, несмотря на сложный состав, всякое суждение представляет собой единую мысль.
По указанным выше причинам классификация суждений в логике Аристотеля охватывает только категорические суждения. Он делит их по трем основаниям: по качеству, количеству и модальности.