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