Характеризуя отношения между понятиями, Аристотель говорит, что понятия, подчиненные одному и тому же родовому понятию, являются тождественными по роду и подобным же образом понятия, подчиненные одному и тому же виду, являются тождественными по виду.
Аристотель устанавливает и другие виды отношений между понятиями: понятия, из которых одно является простым отрицанием другого (А и не-A), находятся в отношении противоречащей противоположности, а понятия, принадлежащие к одному и тому же роду и наиболее отличные друг от друга, находятся в отношении противной противоположности.
Аристотель говорит еще о двух видах противоположности понятий – о противоположностях между соотносительными понятиями и между обладанием и лишением. Отношение противоположности между соотносительными понятиями имеет место среди понятий, относящихся к категории отношения (таково, например, отношение между понятиями «двойное» и «половина»). Противоположностью между лишением и обладанием является противоположность между отсутствием определенной формы и наличием ее. Материя, пребывая одной и той же, принимает различные формы. Так, человек из необразованного становится образованным.
Понятие «необразованный» есть лишение по отношению к понятию «образованный», оно выражает не-бытие, отсутствие образованности.
Таким образом, отношение между обладанием и лишением есть отношение между положительным и отрицательным понятиями. Лишение обозначает ту форму, которой еще нет у материального субстрата, но которую он в дальнейшем принимает. Тогда лишение сменяется обладанием формой.
Лишение является реальной противоположностью, находящей свое отражение а логическом отрицании. Не всякое лишение может быть заменено обладанием. Так, не всякая болезнь излечима, не всегда возможно выздоровление. Аристотель признает особую область явлений, обозначаемую термином «лишение». Бизье находит, что понятие «лишение» в смысле диалектического отрицания стало у Гегеля движущим принципом развития, но у самого Аристотеля оно этой роли не играет, поскольку он принимает в качестве перводвигателя бога. По мнению Александра Афродизийского, понятие «лишение» относится к категории качества.
Так называемые непосредственные умозаключения, именуемые также преобразованиями суждений, рассматриваются Аристотелем лишь как вспомогательные логические приемы. У Аристотеля нет теории непосредственных умозаключений, но для обоснования некоторых модусов второй и третьей фигур категорического силлогизма и для учения о предикабилиях он устанавливает правила обращения (конверсии) суждений. Уже Платоном было сделано наблюдение, что общеутвердительные суждения обратимы с изменением количества.
Аристотель устанавливает, что общеотрицательные и частноутвердительные суждения при обращении остаются общеотрицательными и частноутвердительными, общеутвердительные же суждения обратимы с переменой количества, т. е. становятся частноутвердительными, а частноотрицательные суждения вовсе необратимы. Своеобразие обращения модальных суждений возможности, по Аристотелю, заключается в том, что общеотрицательные суждения о возможности необратимы, а частноотрицательные – обратимы.
Силлогизмом Аристотель называет такое умозаключение, в котором из данных суждений с необходимостью вытекает новое суждение, отличное от данных. Суждения, входящие в умозаключение в качестве посылок, Аристотель строит таким образом, что в отличие от последующей школьной логики у него на первом месте стоит сказуемое, а на втором подлежащее суждения. У него посылка имеет следующую форму: «A присуще B» или «B содержится в A».
Категорический силлогизм Аристотель называет «силлогизмом через средний термин», и только этому силлогизму он приписывает строго доказательную силу.
Пусть нам надо построить какое-нибудь прямое доказательство того, что А присуще В («В есть А») или того, что А не присуще В («В не есть A»). Для доказательства необходимо вывести его силлогистически, а для этого в качестве основания необходимо взять какое-либо суждение. Разумеется, этим основанием не может быть само суждение «В есть A» или «B не есть A». Следовательно, предпосылаемое в качестве основания суждение должно быть суждением «С есть A». Но из одной этой посылки еще не получается никакого вывода. К ней необходимо прибавить еще одно суждение, которое приписывает либо С как предикат другому субъекту, либо С как субъекту другой предикат. Только в этом случае получится силлогизм, ибо из отдельных посылок нельзя ничего вывести с необходимостью. Итак, наряду с посылкой «С есть A», нужна вторая посылка. Однако если эта вторая посылка предицирует А какому угодно другому субъекту X («X есть A»), или X – A («A есть X»), то, хотя в этом случае можно образовать силлогизм, при этом не получается такого заключения, которое высказало бы что-нибудь о В, т. е. о субъекте того суждения, которое должно быть доказано.
Подобным же образом будет обстоять дело и в том случае, если С предицируется какому угодно другому субъекту X, X – Y, Y-Z и т. д., иными словами, если посылка умозаключения в конце концов не приводит к В.
Вообще никогда не получится никакого вывода, что одно свойственно другому, если не будет связующего среднего понятия. Суждение, которое предицирует определенный предикат определенному субъекту, может быть силлогистически доказано только с помощью среднего понятия, которое находится в определенном отношении к каждому из данных понятий – как к субъекту, так и к предикату доказываемого суждения.
Поскольку для силлогизма необходимо среднее понятие, связывающее обе посылки, то всякий силлогизм, по учению Аристотеля, может протекать не иначе, как ло одной из трех фигур: либо средний термин является субъектом одной посылки и предикатом другой, либо предикатом обеих посылок, либо субъектом обеих посылок. Это аристотелевское деление является исчерпывающим.
Вопрос, на каком принципе покоится это деление силлогизма на фигуры, вызвал разногласия среди ученых, изучавших логику Аристотеля. Сам Аристотель нигде прямо не высказывается об этом. Поэтому остается рассмотреть, как он описывает типы фигур, чтобы из этого выяснить, каков его принцип деления.
Первую фигуру Аристотель характеризует следующим образом: «Бели три термина так относятся друг к другу, что последний целиком содержится в среднем, а средний целиком содержится или не содержится в первом, то необходимо дается совершенный силлогизм, который соединяет оба крайних термина. А средним термином я называю тот, который содержится в одном из двух других и второй из них заключает в себе и который также по положению (по месту) ставится средним, крайними же терминами я называю, во-первых, тот, который заключается в других, во-вторых, тот, который сам заключает в себе другие» («Первая Аналитика», I, 4, 25Ь, 34). Здесь крайние термины не характеризуются как высшее и низшее понятия. Они характеризуются лишь постольку, поскольку этого требует различение от них среднего понятия.
Приведенная характеристика первой фигуры, данная Аристотелем в четвертой главе первой книги «Первой Аналитики», указывает лишь на принцип построения первой фигуры, и поэтому здесь имеются в виду не только правильные, но и недействительные модусы (случаи, когда средний термин не содержится в первом). Первую фигуру в отличие от второй и третьей Аристотель называет совершенным силлогизмом.
О второй фигуре Аристотель говорит, что в ней один и тот же термин полностью присущ одному из двух остальных терминов, а другому вовсе не присущ, или обоим всецело присущ или обоим не присущ вовсе, а средний термин есть тот, который предицируется о двух других, крайние же те, о которых предицируется средний термин. Далее Аристотель показывает, что в этой фигуре не может быть умозаключения, если обе посылки утвердительны или обе отрицательны. Поэтому если в характеристике второй фигуры говорится и о таких случаях, в которых оба крайних термина лежат или не лежат в объеме среднего термина, то эти случаи не представляют собой действительных силлогизмов.
Это – не общее определение второй фигуры, так как в эту характеристику не входят частные модусы, а лишь указание на то, каким образом в ней сочетаются термины.
С другой стороны, в эту характеристику входят и недействительные модусы.
Не следует возражать против данной Аристотелем характеристики, что в отрицательных посылках нет подчинения одного термина другому и что поэтому во второй фигуре, в которой во всех формах ее умозаключений одна из двух посылок должна быть отрицательной, средний термин не может обозначаться как такой, которому подчинены два других. Точно такое же возражение можно было бы сделать и против характеристики первой фигуры, поскольку и там бывают случаи, в которых средний термин не содержится в большем термине, но, несмотря на это, там средний термин дефинируется как такой, который заключается в другом и сам заключает в себе третий. Отрицательная посылка имеет по крайней мере форму отношения субординации: один термин не содержится ъ другом. А этого достаточно для уразумения принципа.
