Не следует возражать против данной Аристотелем характеристики, что в отрицательных посылках нет подчинения одного термина другому и что поэтому во второй фигуре, в которой во всех формах ее умозаключений одна из двух посылок должна быть отрицательной, средний термин не может обозначаться как такой, которому подчинены два других. Точно такое же возражение можно было бы сделать и против характеристики первой фигуры, поскольку и там бывают случаи, в которых средний термин не содержится в большем термине, но, несмотря на это, там средний термин дефинируется как такой, который заключается в другом и сам заключает в себе третий. Отрицательная посылка имеет по крайней мере форму отношения субординации: один термин не содержится ъ другом. А этого достаточно для уразумения принципа.
Третья фигура силлогизма характеризуется у Аристотеля следующим образом: «Если одному и тому же термину один из двух остальных всецело присущ, а другой вовсе не присущ или оба всецело присущи или оба вовсе не присущи, то это я называю третьей фигурой. Средним термином в ней я называю тот термин, о котором высказываются оба остальных, крайними же терминами-те, которые высказываются о среднем термине» («Первая аналитика», I, 6, 28 а 10).
И эта характеристика вовсе не есть дефиниция возможных способов умозаключения по третьей фигуре, так как, с одной стороны, под нее не подходят частные модусы третьей фигуры, с другой же стороны, сюда входят недействительные модусы. Таким образом, эта характеристика указывает только отличительный признак третьей фигуры.
Различие большего и меньшего терминов при самом делении фигур у Аристотеля осталось вообще без внимания. Оба они просто как крайние противопоставлялись третьему (среднему) термину. Равным образом не обращалось никакого внимания на суждение, служащее заключением.
Тренделенбург и некоторые другие историки логики усматривают основание деления силлогизма на фигуры в отношении объема среднего термина к объемам двух других. Однако при характеристике фигур силлогизма у Аристотеля во всех случаях указывается и на место среднего и двух крайних терминов. В фигурах каждый из них имеет свое определенное место. Из этого видно, что учение о фигурах силлогизма изложено у Аристотеля небрежно. Аристотель не дает ни определения фигуры силлогизма вообще, ни определения отдельных его фигур. Нет у него и ясного указания на принцип деления силлогизмов на фигуры. Он лишь характеризует каждую из трех фигур со стороны ее структуры. Но и это указание не отличается четкостью.
По нашему мнению, постановка вопроса о фигурах силлогизма у Аристотеля такова: Аристотель ищет решения этой проблемы в отношении среднего термина к двум крайним. Он устанавливает факт, что средний термин может занимать в посылках силлогизма тю отношению к крайним терминам три различных положения: средний термин может быть или субъектом в одной посылке и предикатом в другой, или предикатом в обеих посылках, или субъектом в обеих посылках. Затем Аристотель ищет объяснения этого факта в отношении среднего термина к крайним по объему, а следовательно, и по содержанию, поскольку объем понятий зависит от их содержания, т. е. он ищет ответа в иерархии высших и низших понятий, которая у Аристотеля имеет не только логическое, но и онтологическое значение. Но этот замысел был осуществлен им неудачно.
Как мы уже упоминали, у Аристотеля порядок терминов силлогизма отличается от общепринятого в формальной логике. По мнению Н. Н. Ланге, аристотелевский порядок является более естественным.
В первой фигуре номера терминов по порядку устанавливаются уже в самом описании типа умозаключений: последний термин содержится в среднем и средний в первом и т. д. С этим связано замечание Аристотеля о среднем термине: «Он и по положению (гао месту) бывает средним». Разумеется, смысл названий «первый», «средний», «последний» становится понятным при сравнении аналогичных высказываний относительно других фигур.
Во второй фигуре больший термин есть тот, который лежит подле среднего термина, меньший же термин лежит дальше от среднего. Средний термин здесь есть первый по месту.
В третьей фигуре больший термин есть тот, который лежит дальше от среднего, меньший же лежит ближе к нему. Здесь средний термин есть последний по месту.
Отсюда несомненно, что употребляемые в характеристике первой фигуры выражения «первый», «средний», «последний» обозначают не что иное, как место. В первой фигуре (по занимаемому месту):
I – больший термин, II – средний термин, и III – меньший термин. Во II фигуре:
I – средний термин. II – больший термин, и III – меньший термин. В III фигуре:
I – больший термин, II – меньший термин, и III – средний термин.
Аристотель говорит, что по месту терминов можно узнать фигуру. Можно думать, что место терминов находится в определенном отношения к основанию деления фигур. Что разумеет Аристотель под местом терминов?
Он имеет в виду положение терминов при их линейном расположении. Аристотель употребляет для изображения форм умозаключений в каждой фигуре определенные алфавитные знаки. Если обозначить термины общепринятыми в традиционной формальной логике символами, то мы получим для фигур следующие ряды:
I фигура PMS
II фигура MPS
III фигура PSM.
В развернутом виде мы будем иметь, по Аристотелю:
I фигура II фигура III фигура
Р присуще М М присуще Р Р присуще М М – S М – S S – М
Р присуще S Р присуще S Р присуще S
С точки зрения линейного расположения терминов, различие между фигурами представляется в следующем виде. В первой фигуре наша мысль идет от большего термина к среднему и от среднего к меньшему. Этот ход мысли соответствует самой природе вещей, и именно поэтому первая фигура дает совершенный силлогизм. Во второй фигуре наша мысль идет от среднего термина к большему и от последнего к меньшему, а в третьей фигуре она идет от большего термина к меньшему и от меньшего к среднему.
По мнению Тренделенбурга, аристотелевское деление категорического силлогизма на три фигуры является столь же полным, как и позднейшее деление на четыре фигуры, но оно основано на другом принципе деления. У Аристотеля в первой фигуре средний термин занимает в ряде субординации понятий среднее место, во второй фигуре он занимает наивысшее место и в третьей – низшее место.
Основная форма I фигуры у Аристотеля:
Р присуще всякому М М присуще всякому S
Р присуще всякому S.
Здесь средний термин занимает место посредине между крайними терминами. Поэтому Аристотель располагает термины первой фигуры в линейном порядке PMS.
Ш
Основная форма II фигуры:
М не присуще никакому Р М присуще всякому S
Р не присуще никакому S.
Здесь средний термин есть первый по положению, так как он в качестве предиката в обеих посылках предшествует прочим терминам. Отсюда линейное расположение терминов во второй фигуре MPS.
Основная форма III фигуры:
Р присуще всякому М S присуще всякому М
Р присуще некоторым S.
Здесь средний термин есть последний по положению. Линейное расположение в третьей фигуре PSM.
Таким образом, три фигуры отличаются друг от друга линейным расположением терминов.
В общем в вопросе об истолковании «места» терминов в аристотелевской теории силлогизма наметились три различные точки зрения.
1. Фигура силлогизма зависит от способа отношения среднего термина к крайним. При этом имеются только три возможности:
средний термин может быть или субъектом по отношению к большему и предикатом по отношению к меньшему, или предикатом обоих, или субъектом обоих. Такова точка зрения Целлера, Ибервега, Вайтца.
2. Другая точка зрения, которой придерживается Г. Майер, основанием деления фигур в силлогизме считает место терминов в линейном расположении терминов.
3. Третья точка зрения (Тренделенбург, Бобров) заключается в том, что основанием деления фигур в силлогизме Аристотеля признается принцип не логический, а метафизический, а имен но – место терминов в иерархии понятий вообще.
Следует признать, что принципом деления силлогизма на фигуры у Аристотеля служит различное отношение среднего термина к крайним. Средний термин является логическим основанием установления той связи между крайними терминами, которая утверждается в заключении. Но значение среднего термина этим не ограничивается. Он имеет не только логическое, но и онтологическое значение. Средний термин в силлогизме, по учению Аристотеля может соответствовать реальной основе – причине.
Аристотель впервые установил общие правила силлогизма и специальные правила отдельных фигур. Общее правило силлогизма состоит в том, что если обе посылки отрицательные или обе посылки частные, to из Таких посылок нельзя сделать необходимого вывода, т. е. во всяком силлогизме одна посылка обязательно должна быть общей и одна утвердительной. Далее Аристотель устанавливает, что в силлогизме должны быть две посылки и три термина.
