Логика Аристотеля

Глава 28

1. Аристотель систематизировал философию по самым разным основаниям, однако в целом он выделял в ней следующие разделы.

Теоретическая философия, целью которой является не достижение практических результатов, а знание, как таковое. Она, в свою очередь, делится на: а) физику, или натурфилософию, которая имеет дело с материальными объектами, подверженными изменению; b) математику, которая имеет дело с неизменяемым, но неотделенным (от материи); с) метафизику, которая изучает отделенное (трансцендентное) и недвижимое. (Таким образом, метафизика включает в себя то, что мы называем естественной теологией.)

Практическая философия имеет дело главным образом с политической наукой, но в качестве подчиненных дисциплин изучает стратегию, экономику и риторику, поскольку эти науки решают вспомогательные задачи и в целом подчинены политической науке.

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

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

Это хорошо видно на примере его доктрины категорий. С логической точки зрения категории – это способы нашего мышления о вещах, к примеру предицирование свойств субстанций, но в то же время категории – это и способы существования вещей, ибо вещи действительно являются субстанциями и наделены качествами. Таким образом, к категориям следует относиться не только как к объектам логики, но и как к объектам метафизики. Поэтому логику Аристотеля не следует приравнивать к трансцендентальной логике Канта, ставившей перед собой задачу выделить априорные формы мышления, которые присущи самому разуму как моменты активного процесса познания. Аристотель не поднимал «критическую проблему», он придерживался реалистической гносеологии и считал, что категории мышления, выражаемые нами в языке, являются также и объективными категориями экстраментальной реальности.

3. В книгах «Категории» и «Топика» называются десять категорий или общих свойств: ούσία или τί έστι, (человек или лошадь); ποσόν (длиной три ярда);ποιόν (белый); πρός τι (двойной); πού (на рынке); πότε (в прошлом году); κείσθαι (лежит, сидит); έχειν (вооруженный, в обуви); ποίειν (режет); πάσχειν (отрезанный или сожженый). Однако во «Второй Аналитике» их становится уже восемь, поскольку κείσθαι, или лежащий, и έχειν, или обитающий, вошли в состав других категорий. Таким образом, Аристотель не считал свой перечень десяти категорий окончательным. Тем не менее, несмотря на это, нет никаких причин считать этот перечень случайным, лишенным какой-либо организационной структуры. Напротив, он подчиняется строгому порядку, это классификация фундаментальных понятий, управляющих нашим научным познанием. Слово «κατηγορείν» означает «предицировать» (или «утверждать»), и в «Топике» Аристотель рассматривает категории как классификацию предикатов, или способов нашего мышления о действительном Бытии. Например, мы думаем о каком-нибудь предмете как о субстанции или об определении, которые входят в состав одной из девяти категорий, выражающих способ нашего мышления о субстанции как об определенной субстанции. В «Категориях» Аристотель рассматривает категории как классификацию родов, видов и индивидов, начиная с высших родов и кончая отдельными сущими. Если мы рассмотрим понятия, то есть те способы, которыми наше мышление представляет различные вещи, то обнаружим, что имеем понятия, например, об органических телах (высший род), животных (подчиненный род) и об овце (вид животного); однако все органические тела, животные и овцы образуют одну категорию – категорию субстанции. Аналогичным образом мы можем думать о цвете в общем, о голубом цвете в общем и о бирюзовом; но и цвет, и голубизна, и бирюза вместе подходят под категорию качества.

Однако категории в понимании Аристотеля – это не просто формы умственного представления или матрицы понятий: они представляют реальные формы бытия в экстраментальном мире, образующие мост между логикой и метафизикой (главным предметом изучения которой является субстанция). Поэтому категории имеют не только логический, но и онтологический аспект, и вполне вероятно, что именно в онтологическом аспекте наиболее четко проявляется их структурная организация. Так, для того чтобы существовало Бытие, должна существовать и субстанция – она является, так сказать, отправной точкой. За пределами ума существуют только единичные объекты, а для того, чтобы такой объект мог существовать независимо от нашего разума, он должен быть субстанцией. Но он не может существовать в виде чистой субстанции, он должен иметь случайные формы. Например, лебедь не мог бы существовать, не имея цвета; он не мог бы иметь цвета, не обладая количественной характеристикой – объемом. Мы сразу же получаем три первые категории – субстанцию, качество и количество, которые являются внутренними свойствами объекта. Но лебедь своими отличительными чертами похож на других лебедей, он может быть равен или неравен по размеру другим субстанциям, другими словами, он находится в определенных отношениях с другими. Более того, лебедь, как физическая субстанция, должен существовать в определенном месте и в определенное время, кроме того, он должен иметь определенное положение. Опять– таки материальные субстанции, как принадлежащие космической системе, совершают действия и сами являются объектами воздействия. Таким образом, некоторые категории принадлежат самому объекту как его внутренние свойства, а другие – как его внешние свойства, воздействуя на его отношения к другим материальным объектам. Таким образом, мы видим, что, даже если сократить число категорий, включив некоторые из них в состав других, сам принцип их выведения никак нельзя назвать случайным.

Во «Второй аналитике» (в связи с вопросом об определениях) и в «Топике» Аристотель обсуждает предикабилии (высказывания о сущем) или различные отношения между универсалиями и субъектами, которыми они предицируются. К предикабилиям относятся: род, вид, отличие, свойство и случайность (не главная особенность предмета). В «Топике» (I, с. 8) Аристотель основывает классификацию предикабилий на отношениях между субъектом и предикатом. Так, если предикат равен субъекту по объему, это дает нам либо сущность этого субъекта, либо его свойство. Если же предикат не равен экстенсивно субъекту, то он либо образует часть признаков, входящих в определение субъекта (тогда он будет родом или отличием), либо не образует таковых (в этом случае он будет случайностью).

Сущностные определения – это точные определения по роду и видовому отличию; Аристотель считал, что определение вырабатывается в ходе процесса разделения понятий, доходящего до неделимого вида (см. у Платона)2. Однако очень важно помнить, что Аристотель, прекрасно понимавший, что мы не всегда можем получить сущностное или реальное определение, допускал существование номинальных или описательных определений, хотя и был о них невысокого мнения, считая, что только сущностные определения достойны этого имени. Различие, однако, имеет очень важное значение, поскольку по отношению к природным объектам, изучаемым физической наукой, мы часто должны довольствоваться отличительными определениями или определениями-характеристиками, которые, подходя гораздо ближе к идеалу, чем номинальные или описательные определения Аристотеля, тем не менее никогда не достигают его.

(Некоторые авторы подчеркивают, что на философию большое влияние оказывает язык. Например, поскольку мы называем розу красной (а это необходимо для общения и ориентирования в социальных отношениях), мы, естественно, склонны думать, что «краснота» как свойство или случайный признак объективно существует и что это свойство или признак присущи предмету или субстанции, называемой розой. Таким образом, мы можем проследить, как слова или язык влияют на философские категории субстанции и случайности. Однако следует помнить, что язык следует за мыслью, ибо он создавался для выражения мысли, и это особенно верно в отношении философских терминов. Когда Аристотель устанавливал способы мышления о вещах, он использовал язык как средство выражения мысли, но язык следует за мыслью, а мысль следует за объектами. Язык – это не априорная конструкция.)

4. Научное знание преимущественно означало для Аристотеля дедукцию частного из общего или следствие из его причины, что предполагает знание причины, породившей то или иное явление, и необходимой связи между явлением и его причиной. Иными словами, «мы полагаем, что знаем каждую вещь безусловно… когда полагаем, что знаем причину, в силу которой она есть, что она действительно ее причина и что иначе обстоять не может»3.

Но хотя посылки с логической точки зрения предшествуют выводам, Аристотель установил, что существует разница между логическим первенством, или первенством in se[1], и гносеологическим первенством quoad nos[2]. Он весьма эмоционально подчеркивал, что термины «предшествующее» и «более известное» надо понимать двояко, ибо предшествующее по природе и предшествующее для нас это не одно и то же, как не одно и то же более известное [по природе] и более известное нам. «Под предшествующим и более известным для нас – я разумею то, что ближе к чувственному восприятию; под предшествующим и более известным безусловно – более отдаленное от него»4. Иными словами, наше знание начинается с восприятия, то есть с частного, и поднимается к общему или универсальному. «Итак, ясно, что первые [начала] нам необходимо познать через наведение, ибо таким именно образом восприятие порождает общее»5. Таким образом, Аристотель вынужден был иметь дело не только с дедукцией, но и с индукцией (которую он называл наведением). К примеру, в вышеупомянутом силлогизме главная посылка «Все люди смертны» основана на данных восприятия, и Аристотель вынужден отдать должное и восприятию, и памяти, ибо они оба участвуют в формировании этой посылки. Отсюда мы получаем доктрину, что восприятие как таковое никогда не ошибается – истинным или ложным может быть только суждение.

Так, если пациент, страдающий белой горячкой, «видит» розовых крыс, восприятие в этом не виновато; ошибка возникает в тот момент, когда пациент решает, что розовые крысы находятся «вне его», то есть представляют собой объекты, реально существующие за пределами его разума. Аналогичным образом Солнце кажется нам меньше Земли, но это не ошибка восприятия – если бы Солнце показалось нам больше Земли, вот тогда бы мы могли сказать, что с нашим восприятием что-то не так. Ошибка возникает тогда, когда, не имея знаний по астрономии, человек делает вывод, что Солнце объективно меньше Земли.

5. Таким образом, в «Аналитике» Аристотель рассматривает не только научное доказательство, демонстрацию или дедукцию, но и индукцию. Научная индукция означала для него полную индукцию; он утверждал, что «наведение осуществляется через перечисление всех случаев»6. Неполная индукция особенно популярна среди ораторов. Аристотель применял метод эксперимента, но не выработал научной методологии индукции и использования гипотез. И хотя он признает, что «для нас умозаключение через наведение более наглядно»7, его идеалом оставался дедуктивный силлогизм, основанный на доказательстве. Он провел тщательный анализ дедуктивного вывода очень высокого уровня, чего нельзя сказать об индукции. Конечно же для Древнего мира это было совершенно естественно, поскольку математика в то время была развита гораздо сильнее, чем естествознание. Тем не менее, заявив, что мы не можем познать универсальное с помощью чувственного восприятия, как такового, Аристотель указывает, что, наблюдая за группой сходных объектов или за явлением, которое часто повторяется, мы можем с помощью абстрактного мышления получить знание о сущности этого явления и его причине.

6. В «Первой аналитике» Аристотель исследует формы умозаключений. Он определяет силлогизм как «фигуру речи, в которой если нечто предположено, то нечто отличное от положенного с необходимостью вытекает из него»8.

Он приводит пример трех фигур силлогизмов:

i) Средний термин (М) является субъектом (S) в одной посылке и предикатом (P) – в другой. Например: М – это P, S – это М, значит, S – это P. Все животные – это живые существа, человек – это животное. Значит, каждый человек – это живое существо.

ii) Средний термин является предикатом в обеих посылках. P – это М, S – это не М, значит, S – это не P. Все люди умеют смеяться. Лошади не умеют смеяться. Значит, лошадь – это не человек.

iii) Средний термин является субъектом в обеих посылках. М – это Р, М – это S, значит, S – это Р. Все люди умеют смеяться. Но все люди – это животные. Значит, некоторые животные умеют смеяться.

В «Топике» Аристотель говорит о разнице между действительным доказательством («когда умозаключение строится из истинных и первых [положений] или из таких, знание о которых берет свое начало от тех или иных первых и истинных [положений]») и диалектическими умозаключениями, «которые строятся на основе общепринятого [мнения]… всеми или большинством людей или самыми мудрыми и славными из них». Аристотель добавляет третий вид умозаключений – эристические, или «спорные» («которые кажутся правдоподобными, но на деле не таковы»). Третий вид подробно рассматривается в книге «Софистические опровержения», где Аристотель исследует, классифицирует и разоблачает различные виды ложных аргументов.

7. Аристотель хорошо понимал, что дедуктивные посылки сами нуждаются в доказательстве, однако, если мы начнем доказывать каждый принцип, нам придется доказывать до бесконечности, и мы не сможем доказать ничего. Он утверждал поэтому, что существует ряд принципов, которые мы знаем интуитивно и принимаем без демонстрации. Самый высший из этих принципов – это принцип противоречия. Эти принципы не нуждаются в доказательствах. Например, логическая форма принципа противоречия – «Из двух предположений, одно из которых утверждает что-то, а другое – его отрицает, одно должно быть истинно, а другое ложно» – не является доказательством этого принципа в его метафизической форме – «невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении». Это просто констатация факта, что никто не может сомневаться в принципе, лежащем в основе всякого мышления.

И так, мы имеем: i) главные принципы, полученные νούς; ii) то, что вытекает с необходимостью из главных принципов, полученное с помощью индукции, и iii) то, что возможно или наоборот и что является предметом мнения. Однако Аристотель видел, что главная посылка силлогизма, например «Все люди смертны», не может быть выведена непосредственно из главных принципов – она также основана на индукции. Это подразумевает реалистскую теорию универсалий, и Аристотель утверждает, что индукция показывает, как общее проявляется в известном нам единичном.

8. В книге, подобной этой, нет возможности подробно изложить логику Аристотеля, однако необходимо отметить, какой огромный вклад внес Аристотель в эту область науки, особенно в учение о силлогизме. Логическим анализом занимались и в Академии, особенно в связи с теорией Форм (стоит только вспомнить дискуссию в диалоге «Софист»), но именно Аристотель констатировал логику как отдельную науку, а также открыл и исследовал фундаментальную форму умозаключения – силлогизм. Его теория силлогизма не потеряла своего значения и поныне, и, даже если бы Аристотель, кроме нее, не создал бы ничего другого, его имя навечно вошло бы в историю. Однако справедливости ради надо признать, что Аристотель подверг исчерпывающему анализу не все дедуктивные процессы, так как классический силлогизм предполагает наличие: i) трех предположений, в субъектной и предикативной форме; ii) трех терминов, из которых предположение берет как субъект, так и предикат и в данном случае определяет, в какой форме два предположения содержит третий: а) только в логической форме либо b) в форме примыкающего экзистенциального утверждения, как в модусе Darapti.

Аристотель, к примеру, не рассматривает другую форму умозаключения (описанную в книге кардинала Ньюмана «Грамматика согласия»), в которой ум делает заключения не на основе посылок, а на основе конкретных фактов. Ум изучает эти факты и, критически оценив их, делает вывод, который является не общим положением (как при подлинной индукции), а заключением о конкретном случае, например «Подсудимый не виновен». Конечно, здесь подразумеваются и общие положения (например, совместимы или несовместимы те или иные улики с понятием о невиновности), однако в данном случае ум занят выводом следствий не столько из предполагаемых посылок, сколько из определенного количества конкретных фактов. Этот тип рассуждений признавал Фома Аквинский и приписывал его жизненности мышления, также называемой здравым смыслом. Более того, даже по отношению к той форме умозаключения, которую Аристотель хорошо изучил, он не рассмотрел подробно вопрос, являются ли те общие принципы, с которых оно начинается, чисто логическими или несут в себе и онтологический смысл. Последнее большей частью просто предполагалось.

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

Периодически раздаются голоса, что современные исследования в области логики обесценили традиционную Аристотелеву логику и можно сдать традиционную логику в запасники музеев, которыми интересуются только антиквары. С другой стороны, люди, воспитанные в духе Аристотелевой традиции и стремящиеся сохранить ей верность, могут поддаться искушению отвергнуть современную символическую логику. Не следует впадать ни в ту ни в другую крайность, целесообразнее придерживаться здравой, сбалансированной позиции, признавая как незавершенный характер Аристотелевой логики, так и достижения современной, отказываясь в то же самое время от дискредитации логики Аристотеля на том основании, что она не охватывает всю область логического. Такой взвешенной позицией отличаются те люди, которые глубоко изучили логику, и об этом следует помнить тем, кто считает, что только философы-схоласты верят в то, что логика Аристотеля не потеряла своего значения и поныне. Так, утверждая, и правильно утверждая, что «мы не можем больше считать, что она охватывает всю область дедукции», Сюзан Стеббинг признает, что «традиционный силлогизм по-прежнему сохраняет свое значение». Генрих Шольц заявляет, что «Органон» Аристотеля и поныне является самым замечательным и самым содержательным учебником по логике из всех, что когда-либо были созданы. Современная символическая логика – это очень ценное добавление к логике Аристотеля, и ее нельзя рассматривать как полную ее противоположность – она отличается от традиционной более высокой степенью формализации, например идеей пропозициональной функциональности.

9. Мне хотелось бы закончить это по необходимости краткое и урезанное описание логики Аристотеля небольшим обзором нескольких характерных тем, обсуждаемых в «Органоне», чтобы продемонстрировать, какой широкий круг вопросов охватывал логический анализ Аристотеля. В «Категориях» мыслитель исследует различные варианты субъекта и предиката, в книге «Об истолковании» – противоположные утверждения, модальные и утвердительные, что породило предположения о том, что середина глав 7 и 10 была утеряна. В первой книге «Первой аналитики» он рассматривает вопрос о преобразовании чистых утверждений и о необходимых и случайных утверждениях, анализирует три фигуры силлогизма и дает правила для формулировки или обнаружения силлогизмов, имеющих дело, например, с косвенными умозаключениями, отрицанием, доказательствами от противного и доказательствами гипотез. Во второй книге Аристотель рассматривает вопрос о соотношении истинного и ложного в посылках и заключении, недостатки силлогизма, индукцию в узком смысле, через «перечисление всех случаев» (Ch. 23), энтимемы и др.

Первая книга «Второй аналитики» рассматривает структуру дедуктивной науки и ее логическую отправную точку; единство, разнообразие и различия между науками, невежеством, ошибками и недостоверностью, а также их логический ранг. Вторая книга посвящена определениям, сущностным и номинальным; различию между определением и демонстрацией; недоказуемости природы сущности; способу установления исходных истин и т. д. «Топика» посвящена предикабилиям, определению, методике доказательства или практике диалектики; а трактат «О софистических опровержениях» – классификации заблуждений и тому, как от них избавиться.