Определение

Поскольку категории - это не просто термины разъятого предложения, но роды бытия, поэтому они суть нечто первичное и нередуцируемое, а потому неопределимое именно в силу того, что нет чего-то более общего, прибегнув к которому, можно было бы дать определение. О дефинициях идет речь во "Второй аналитике".

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

Что значит определить? Сам Аристотель полагает, что это означает выразить сущность вещей, для чего необходимо найти "ближайший род" и "специфическое отличие". Если, например, мы хотим знать, что такое человек, то в процессе анализа выясняем, что это не просто живое существо (ведь растение - тоже живое), но животное чувствующее, крайним же отличием будет его рациональность.

Дефиниция может быть ценной или малоценной, но никогда - ложной или истинной, ибо связь строится по отдельным понятиям. Истинными или ложными могут быть лишь суждения, т.е. блоки концептов, о чем речь впереди.

Суждения и предложения

Объединяя термины, мы получаем суждения. Суждение - это акт утверждения или отрицания, логическая форма которого есть утверждение или пропозиция.

Истина и ложь возникают вместе с суждением, утверждением и отрицанием. Истина возникает, если связь между субъектом и предикатом найдена верно, если связано то, что связано в реальности, или, напротив разъединяется, то, что в реальности разъединено. Ложны, по этой логике, суждения, соединяющие или объединяющие нечто, вопреки реальности. Заметим, что речь идет о логическом дискурсе; мольбы, заклинания, декламация - все это за пределами логики. Среди суждений Аристотель выделяет утвердительные, отрицательные, особенные (партикулярные), по модальности - вероятностные и необходимые.