Что внес аристотель в логику

Аристотель

Законы логики Аристотеля, которыми пользуются до сих пор

Логика — основа всех точных наук — появилась благодаря Аристотелю. В этой части мы узнаем о трех законах логики и истории их возникновения.

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

В споре рождается истина, а в споре с софистами логика. Аристотель довел противопоставление Сократа и софистов до логического завершения: он объяснил, почему умозаключения софистов не могут быть истинными, так появилась логика.

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

🔗 Софисты мыслят неправильно, используя в спорах неверные умозаключения. Аристотель приводит такой пример софизма: «Если Сократ и человек не одно и то же, то Сократ не то же, что Сократ, поскольку Сократ — человек», на первый взгляд кажется, что вывод верен. Аристотель говорит, что верным может быть только одно из утверждений: «Сократ и человек не одно и то же» либо «Сократ — человек».

☝️ Законы логики Аристотеля объясняют, почему умозаключения, которые на первый взгляд кажутся верными, на самом деле ошибочны.

📜 Благодаря законам Аристотеля и его трактатам появляется логика — учение о том, как мыслить правильно.

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

🧐 Давайте подробно рассмотрим три закона логики, сформулированных Аристотелем.

1️⃣ Закон тождества или закон сохранности суждений— можно назвать основоположником здравого смысла. Его формула А=А.

🔎 Закон тождества был сформулирован Аристотелем в трактате «Метафизика»:

«Иметь не одно значение — значит не иметь ни одного значения; если же у слов нет значений, тогда утрачена всякая возможность рассуждать друг с другом, а в действительности — и с самим собой; ибо невозможно ничего мыслить, если не мыслить что-нибудь одно».

🙌🏻 Эти слова Аристотеля можно понимать так: любая мысль обязательно должна быть тождественна самой себе, т. е. она должна быть ясной, точной, простой, определенной. Примером нарушения этого закона может послужить любая двусмысленная фраза: «ученики прослушали объяснение учителя». «Прослушали» значит выслушали все, что сказал учитель, или не услышали ничего?

❌ Этот закон запрещает употреблять одно и то же слово в разных значениях или вкладывать одно и то же значение в разные слова, создавать двусмысленность.

2️⃣Закон противоречия звучит так: «Невозможно что-либо одновременно утверждать и отрицать». Его формула: А ≠ не-А.

✌️ Этот закон говорит о том, что если одно суждение что-то утверждает, а другое то же самое отрицает, то они не могут быть одновременно истинными.

☝️ Например, два суждения: «Сократ высокий», «Сократ невысокий» не могут быть одновременно истинными, если речь идет об одном и том же Сократе, в одно и то же время его жизни и в одном и том же отношении.

Кажется, что все очевидно. Но как же можно быть обманутыми такой логической ошибкой?

1️⃣ Контактными, когда одно и то же утверждается и сразу же отрицается, они редко встречаются и сразу заметны. Например: «молодая девушка преклонных лет».

2️⃣ Дистантными, когда между противоречащими друг другу суждениями находится значительный интервал в речи или в тексте, в таком случае слушатель или читатель может запутаться и не понимать, какое из двух суждений является истинным. Пример дистантного противоречия: «Аристотель никогда не использовал софистические приемы», а через несколько страниц: «В молодости Аристотель использовал софистические приемы в спорах».

3️⃣Закон исключенного третьего, tertium non datur, третьего не дано. Его формула: или А или не-А.

📜 «О чем бы то ни было истинно или утверждение, или отрицание».

⚖️ Этот закон значит, что из двух противоречащих суждений одно обязательно будет истинным, а второе ложным или наоборот: «человек или жив или не жив».

❗️ Данный закон касается только противоречащих суждений, к противоположным он не относится. Например «собака белая — собака черная» — противоположное суждение, к которому можно подобрать третий вариант «собака серая». В суждении «собака белая — собака не белая» не может быть третьего варианта.

А теперь потренируемся искать логические ошибки и узнавать законы логики. Какие законы нарушены в этих фразах?

– Я сломал руку в двух местах.
– Больше не попадай в эти места.

Устное разрешение в письменной форме.

Никогда такого не было и вот опять.

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

📜 В трактате «Категории» он описывает способы помыслить предмет.

🤝 Выясняя причины логических ошибок и софизмов, Аристотель обратил внимание на то, что существуют различные типы связи субъекта и предиката (понятия, определяющего субъект). Их смешение или подмена одного другим влечет за собой логические ошибки.

◼️ Аристотель приводит список из 10 категорий (в философии категория — способ размышления о чем-либо) :

🔹 сущность,
🔹 количество,
🔹 качество,
🔹 отношение
🔹 пространство,
🔹 время,
🔹 обладание,
🔹 состояние,
🔹 действие,
🔹 претерпевание,

👆 Функция категорий — предостерегать и объяснять логические ошибки. Эти ошибки могут возникнуть, если мы вдруг захотим смешать, сблизить или отождествить понятия из разных категорий.

Например, на вопрос «Что это?» верным ответом не может быть «Белое и тяжелое» — это характеристики из разных категорий.

🤔 Многие философы составляли свои перечни категорий. У Платона к ним относятся бытие, тождество, движение, покой. У Канта — категории реальности, отрицания, возможности и невозможности и другие.

🏢 Категории Аристотеля во многом послужили фундаментом для исследований логики на протяжении всей истории.

Сократ — кошка? Давайте поговорим о том, как связаны законы логики и здравый смысл.

🧠 Логика — неотъемлемая часть трудов Аристотеля. Он обращается к ней даже в трактате о красноречии «Риторика», где описывает силлогизмы — конструкции, в которых соблюдаются правила правильного мышления, то есть законы логики.

➡️ Примером силлогизма может послужить фраза: «Все люди смертны, Сократ человек, Сократ смертен».

👀 Логика — формальная наука, для нее важна лишь форма, а не содержание.

❌ С точки зрения логики, софистический силлогизм «Все кошки смертны, Сократ смертен, значит, Сократ — кошка» неверен. Не потому что Сократ не кошка (здравый смысл логику не интересует), а потому что нарушены законы правильного мышления.

✅ При этом такое же абсурдное утверждение «Все философы — кошки, Сократ философ, значит, Сократ — кошка» логически верно.

Источник

Аристотель и его вклад в развитие логики

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

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

Размещено на http://www.allbest.ru/

Автором первой системы формальной логики считается Аристотель, который ввёл понятие силлогизма и переменных. Логика имеет дело с языковым мышлением (или, «языком, взятым в функции мышления»), в котором группы определённым образом связанных между собой знаков по определённым законам замещают реальные объекты и друг друга в отношении к действиям. Исследование категорического силлогизма, осуществленное Аристотелем в «Аналитике», стало наряду с учением о доказательстве центральной частью его логического учения.

Аристотель изложил также в своем главном произведении «Метафизика» три основных закона логики:

Размещено на Allbest.ru

Подобные документы

С чего началась наука логика. Формирование логики как самостоятельной науки. Внутренняя структура человеческого мышления. Законы и правила логики. Двухчленные и трехчленные суждения. Закон противоречия с логических позиций. Основные элементы силлогизма.

контрольная работа [22,4 K], добавлен 26.03.2011

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

контрольная работа [88,7 K], добавлен 23.06.2017

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

контрольная работа [30,3 K], добавлен 14.05.2011

Возникновение и этапы развития традиционной формальной логики. Аристотель как основатель логики. Создание символической логики, виды логических исчислений, алгебра логики. Метод формализации. Становление диалектической логики, работы И. Канта, Г. Гегеля.

реферат [26,9 K], добавлен 19.01.2009

Исследование периодизации развития схоластической логики. Методы логики византийского богослова и философа И. Дамаскина. Характеристика суждения и категорического силлогизма в труде «Диалектика». Разделение родов на виды. Теория двойственной истины.

презентация [1,7 M], добавлен 27.01.2015

Причины возникновения и этапы становления традиционной логики. Вклад Аристотеля, Ф. Бэкона, Дж. Милля, Р. Декарта, М. Каринского в развитие логического знания. История создания и основные концепции символической (математической) и диалектической логики.

реферат [32,8 K], добавлен 05.01.2013

контрольная работа [18,1 K], добавлен 29.09.2010

Источник

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

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

Структура процесса познания по Аристотелю

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

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

Суждение – повествовательное высказывание, выражающее утверждение или отрицание. В отличие от понятия, суждение имеет утвердительную окраску. Также суждения различаются по критерию истинности и не истинности, т.е. насколько утверждаемое суждение совпадает с действительностью.

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

Это предельно обобщенные группы понятий, характеризующие виды субъектов или так называемых предикатов суждения, т.е. того, о чем ведется рассуждение.

Субстанция или сущность – субъект сам по себе, вне какого-либо «контекста».

Количество – взаимоотношение субъекта, его частей и свойств со значением величины, числа, степени проявления той или иной его характеристики.

Качество – категория, отражающая все сущностные, неколичественные черты субъекта.

Отношение – категория связи, процесса взаимодействия двух или более субъектов.

Пространство – нахождение субъекта в конкретных материальных условиях, окружении.

Время – нахождение субъекта в рамках последовательности темпоральных данных.

Состояние – данные о сиюминутных значениях субъекта, пребывающего в конкретных условиях.

Обладание – характеристика обязательного внешнего обстоятельства субъекта.

Действие – проявление активности, противоположность покою.

Претерпевание – субъект, подвергающийся влиянию другой сущности.

Закон тождества в логике гласит о том, что в процессе рассуждения каждое используемое понятие и суждение должно употребляться в одном и том же смысле, быть неизменным по своему смысловому содержанию. Иначе здесь будет уместна цитата самого Аристотеля из «Метафизики»: «…иметь не одно значение — значит не иметь ни одного значения; если же у слов нет значений, тогда утрачена всякая возможность рассуждать друг с другом, а в действительности — и с самим собой; ибо невозможно ничего мыслить, если не мыслить что-нибудь одно».

Закон противоречия (или закон непротиворечия) говорит о том, что если друг другу противопоставлены два суждения, то одно из них ложно. Другими словами – если в процессе рассуждения были выдвинуты два противоположных высказывания, то одно из них не истинно.

Закон исключенного третьего («третьего не дано») состоит в том, что из двух противопоставленных друг другу суждений одно обязательно является истинным. Невозможна такая ситуация, при которой оба суждения будут одновременно ложными.

Доказательство и его методы

Рассуждение по определенным правилам логики с целью утверждения истинности заявленного суждения называется доказательством. Оно используется для прочного закрепления излагаемого размышления и должно неизменно отвечать самому главному критерию – истинности.

Существует два метода доказательств:

Индукция – восхождение от частного к общему в процессе логического рассуждения.

Дедукция – рассуждение от общего к частному.

Аристотель полагал, что достоверное и полномерное доказательство можно получить лишь путем соединения индуктивного и дедуктивного метода.

Список использованных источников:

2. Челпанов Г.И. Учебник логики. М.: Прогресс, 1994

Источник

Что внес аристотель в логику

ЛОГИКА АРИСТОТЕЛЯ И ЕГО УЧЕНИЕ О МЕТОДЕ

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

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

«Аналитики» — не единственный труд Аристотеля по логике. Важным вопросам логики посвящены также его «Топика», «Об истолковании», «Опровержение софистических умозаключений», «Категории», а кроме того отдельные места «Метафизики» и даже «Этики».

Изучение всех сочинений Аристотеля, посвященных вопросам логики или, по крайней мере, рассматривающих эти вопросы, показывает, что в логических исследованиях Аристотеля наибольшее его внимание привлекали три проблемы:

1) вопрос о методе вероятностного знания; этот отдел логических исследований Аристотель называет «диалектикой», он рассматривает его в своей «Топике»;

2) вопрос о двухосновных методах выяснения уже не вероятного только знания, а знания достоверного; эти методы — определение «.доказательство;

3) вопрос о методе нахождения посылок знания; это индукция.

Сравнение учения Аристотеля о знании с учениями некоторых крупных рационалистов XVII в., например Декарта, показывает, что в одном чрезвычайно важном вопросе теории познания и логики Аристотель видел дальше и яснее, чем знаменитый французский ученый и философ. Это вопрос о вероятностном знании. Аристотель с не меньшей силой, чем позднейшие рационалисты, и с гораздо большим приближением к материализму, чем они, полагал, что цель знания — верное отражение самой реальности. Вместе с тем он ясно видел, что далеко не всегда и не по всем вопросам знание сразу возникает как достоверное познание реальности. В ряде случаев и по ряду вопросов знание не может быть непререкаемым обладанием истиной, а есть лишь знание вероятное. Это знание предполагает свой, особый метод. Это не метод науки в точном смысле слова, а метод, приближающий к научному методу, подготовляющий его. Аристотель называет его «диалек-

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

Напротив, для Аристотеля «диалектика» — только исследование, а не доктринальное изложение непререкаемых истин. Предмет аристотелевской «диалектики» — не сама истина, не соответствие знания его предмету, а только отсутствие формального противоречия между терминами обсуждаемого вопроса, а также между положениями, высказанными участниками спора. Ценность «диалектики», по Аристотелю, во-первых, в ее способности показать, каким образом должен исследоваться вопрос; для этого развиваются умозаключения, которые могли бы привести к ответу на поставленный вопрос (не к достоверному, а всего лишь вероятному) и которые были бы свободны от противоречий. Во-вторых, «диалектика» дает способ исследовать, что в ответах на поставленный вопрос может быть ложного.

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

цели «диалектики» указывается или установление определения или опровержение.

В «Топике» (II — VII) особенно обстоятельно разработаны правила опровержения. Нельзя не согласиться с Робэном (Robin), что по существу это «критические правила верификации» [72, с. 42]. Испытывается некоторое предложение, в котором высказывается принадлежность известному предмету известного свойства. Вопрос заключается в исследовании, соответствует или не соответствует этому предмету приписанное ему свойство. Рассматриваются случаи, когда обращение предложения (перемена местами его субъекта и предиката) возможно и когда оно невозможно. В первом случае приписанный предмету атрибут или точно выражает сущность предмета и представляет его дефиницию, или не дает точного определения предмета и есть только его «собственное» свойство; например, когда «грамматик» по отношению к «человеку» не выражает сущности человека, а представляет единственный открывшийся /познанию его атрибут. Во втором случае «обращение» неосуществимо. Здесь, в свою очередь, представляются две возможности: первая, когда свойство есть элемент определяемого, но имеет в сравнении с ним больший объем. Такое свойство — род. Или вторая возможность, когда это свойство — не род, а видовое отличие, но опять-таки с объемом большим, чем у определяемого. Если же приписанное предмету свойство не есть элемент его сущности, то оно будет «случайным» качеством [см. Топика, I, 4 и 8].

Сказанным определяется возможный способ «испытания» предложений. Если. сущность вещи или существа предполагают выразить посредством какого-либо свойства (атрибута), то для проверки предложения можно сопоставить его или с отдельными экземплярами рода, или с видами. Чтобы проверить, например, предложение: «Наука о различных противоположностях есть одна и та же», — необходимо сопоставить это предложение с различными видами’ противоположностей, а затем исследовать эти самые противоположности.

Таковы, некоторые виды логического испытания предложений. Самым ценным из них будет испытание точности, с которой указывается род определяемого. Для этого рассматриваются отношения определяемого предмета к различным видам его рода: если он не попал

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

В этих логических «испытаниях» есть нечто общее:

во всех них сопоставляются одни вероятности с другими. Как впоследствии у Ф. Бэкона, предполагается, что даже одна-единственная невероятность дает повод для сомнения и выдвигает на очередь задачу проверки и критического испытания.

Кроме различных способов «испытания», «диалектика» Аристотеля выдвигает другую важную проблему. Это исследование высших начал знания посредством рассмотрения противоречий и трудностей, которые могут обнаружиться при разработке того или иного вопроса. Такое рассмотрение образует «апоретический» метод исследования. Термин «апоретический» происходит от aporia («трудность», «недоумение») и означает исследование равносильных противоречий в решении проблемы. Апории были у Зенона из Элеи.

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

Теория достоверного познания. Определение и доказательство

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

ных положений знания Этим двум целям служат сопоставление вероятных предположений, анализ языка, оптическое рассмотрение исторически известных учений и содержащихся в них противоречий.

Вторая часть теории познания совпадает с логикой. Она выясняет условия, исследует методы уже не вероятного только, а достоверного знания. Главные предмета этой части — теория определения и теория доказательства

В теории определения, разработанной Аристотелем, раскрывается двоякая точка зрения на определение и определяемое.*

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

Такова первая точка зрения на определение. Но ею вопрос об определении не исчерпывается. Согласно второй точке зрения Аристотеля на определение неделимые простые сущности имеют бытие не только как сущности в себе, но и как сущности для нас. Простые сами по себе, они делимы, так как составляют предмет мысли

* Превосходный анализ этой двоякой точки зрения дан в монографии Робэна, содержащей один из лучших анализов теории познания Аристотеля [см 72. с. 44 — 46].

нашего не абсолютного, но конечного ума. Какой бы простой ни была мыслимая сущность, мы можем мыслить ее только при условии, если мыслим отношение ее к какой-то другой сущности: если, например, мыслим ее как входящую в некий род, внутри которого она выделяется при помощи определяющего ее вид различия. Поэтому невозможное в случае изолированной неделимой индивидуальной сущности определение все же возможно и весьма действенно в случае мышления посредством отношений. В этом смысле сами категории — высшие и самые общие роды бытия: субстанция, качество, количество, отношение, время, место и т. д. — представляют собой простые природы и вместе общие роды всякого мыслимого отношения.

Существует, по Аристотелю, глубокое соответствие между понятым таким образом бытием и определением как условием доказательства и средством познания бытия. В определении род соответствует «материи», или «возможности», так как род — то, что может быть определено различными способами.

Напротив, определяющее вид различие соответствует «форме», или «действительности», так как различие указывает в отношении сущности, составляющей предмет определения, ее индивидуальную реальность.

Эта реальность выделяет ее из всех других сущностей, входящих в тот же самый род и мыслимых в этом роде. Для Аристотеля «действительность» — всегда то, что выделяет, изолирует, отличает, отграничивает.

Совмещение обеих указанных точек зрения на определяемые сущности проливает свет на черты определения как элемента и условия достоверного знания.

По Аристотелю, «материя» определяемого не должна быть отделяема от «формы» и, наоборот, «форма» — от «материи». Правило это относится не только к чувственной материи отдельной природной вещи, но и ко всему, что в понятии о предмете принадлежит к его роду.

Аристотель сам дает яркий пример нарушений правила о неотделимости «материи» от «формы». Рассмотрим опыт определения дома. Некоторые философы пытались определить понятие о доме», указывая только на его «форму», или цель: согласно этому определению, дом — убежище для защиты от дурной погоды. С другой стороны, некоторые физики пытались определить

то же понятие, указывая только на его «материю»: дом — нечто, сделанное из камней, кирпичей, дерева и черепицы. И та и другая попытка определения ошибочны: первая оставляет «форму» без осуществления в «материи», вторая — «материю» без определения соответствующей «формой». В этом случае мыслимо осуществление «формы» в другой «материи».

Напротив, правильным определением, удовлетворяющим и требования философии, и требования физики» будет определение, согласно которому дом — убежище, достроенное из таких-то материалов с целью защиты человека от дурной погоды. В определении этом дана целостность того, что образует для мысли сущность определяемого, и вместе с тем определение это, не отделяя «форму» от «материи», подчеркивает все значение реформы» как источника свойств, принадлежащих самой вещи. Такое определение будет причинным. «..Во всех этих случаях, — поясняет Аристотель, — очевидно, что вопрос о том, что есть, тождествен с вопросом о том, почему есть» [5, II, 2, 90 а 16 — 18].

Так, определением понятия затмения Луны будет: «Лишение Луны света вследствие расположения Земли между ней и Солнцем» [там же, 90 а 19 — 20].

В науке ценность причинных определений обусловлена их ролью в доказательстве. Собственная задача определения в том и состоит, что оно дает причинное, необходимое объяснение, и притом объяснение, касающееся сущности. Соответственно с этим, по Аристотелю, имеются доказательные определения. В них сущность — предмет непосредственного созерцания — доставляет уму предмет для рассуждения. Для этого в этой сущности различают часть, не подлежащую доказательству, а также часть доказуемую В первой части находится основание для бытия второй. «. Наше искание, — выразительно говорит Аристотель, — направлено на материю» почему она образует нечто определенное. Например, почему данный материал образует дом? Потому что в нем находится суть бытия для дома. Таким образом, отыскивается причина для материи, и это — форма, в силу которой материя есть нечто определенное; а форма — это сущность» [7, VII, 17, 1041 в 5 — 9].

Кроме доказательного определения Аристотель различает еще один вид определения. Поставим, например, вопрос: что такое квадратура? Ответ гласит: квадратура

В проблеме доказательства Аристотель различает знание достоверное и лишь вероятное («правдоподобное»). Началом доказательства не может быть, по Аристотелю, ни неправдоподобное, ни даже правдоподобное знание, и умозаключение должно быть построено из необходимых посылок. «. Началом, — читаем в «Аналитике», — не является правдоподобное или неправдоподобное, но первичное, принадлежащее к тому роду, о котором ведется доказательство. » [5, I, 6, 74 в]. Две мысли характерны для аристотелевской теории Доказательства. Первая состоит в утверждении, что исходные начала доказательства — сущности, природа которых недоступна доказательству; вторая — в утверждении, что доказательство все же способно получать из сущностей свойства, вытекающие из их природы. Достигается это посредством деления. Для этого необходимо. «брать все, относящееся к существу [вещи], и делением [все] расположить по порядку, постулируя первичное и ничего не оставляя без внимания. И это [приписываемое] необходимо [содержит определение], если все включается в деление и ничего не упускается» [5, II, 5, 91 в 28 сл.].

Ценность, в глазах Аристотеля, этого способа получения свойств из сущностей представится еще большей, если учесть, что сущности, познание которых имеет в виду Аристотель, в большинстве не простые, а сложные. Знание о таких сущностях дано в суждениях, которые указывают отношение «материи» к «форме»..

‘Именно этот метод применяется в доказательстве. Последнее есть умозаключение, в котором из сущности с необходимостью получаются истинные свойства. Свой-

ства эти следуют из сущности, но не порождают ее как таковую. Научное умозаключение исходит как из начальных и непосредственных, из максимально очевидных истин. Заключение зависит от них как от своей причины, а его применение адекватно его предмету.

Задача доказательства — привести к усмотрению, что некоторое свойство принадлежит предмету или что некий предикат принадлежит субъекту.

Возможные виды силлогизмов не исчерпываются его научной формой. «. [Всякое] доказательство, — говорит Аристотель, — есть некоторого рода силлогизм, но не всякий силлогизм — доказательство» [4, I, 4, 25 в 29]. И он выделяет в классе силлогизмов «риторические» и «диалектические» силлогизмы, вполне корректные по логической связи между посылками и заключениями, но начала их — только вероятные положения, принятые на веру. А в «Топике» [см. Топика, IX, 11, 171 в 8] Аристотель указывает как виды умозаключений силлогизмы «софистические» и «эвристические». В этих силлогизмах, которые по сути есть лишь разновидности предшествующих, более обнажен всего лишь вероятный характер положений, на которых они основываются.

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

щиеся вещи «перестают быть известными. людям, обладающим знанием, когда выйдут из области чувственного восприятия. ни определения, ни доказательства по отношению к этим вещам существовать уже не будет» [там же].

Поэтому и знание о причине есть знание об общем. Во всех доказательствах, выясняющих принадлежность некоторого свойства, некоторой сущности, причина — всеобщая. Она есть часть содержания более обширного всеобщего и вместе с тем содержит в себе менее широкое всеобщее или же часть этого всеобщего: коллективную либо единичную.

Исследование причинного отношения Аристотель считает основной задачей научного знания: «. рассмотрение [причины», почему есть [данная вещь», есть главное в знании» [5, I, 14, 79 а].

Для Аристотеля «знать, что есть [данная вещь» и знать причину того, что она есть, — это одно и то же» [5, II, 8, 93 а]. Именно потому, что силлогизм первой фигуры больше, чем силлогизмы других видов, способен обосновывать знание причинных отношений, Аристотель считал первую фигуру наиболее ценным видом умозаключения. «Среди фигур [силлогизма], — писал он, — первая является наиболее подходящей для [приобретения] научного знания, ибо по ней ведут доказательства и математические науки, как арифметика, геометрия, оптика, и, я сказал бы, все науки, рассматривающие [причины», почему [что-нибудь] есть, ибо силлогизм о том, почему [что-нибудь] есть, получается или во всех, или во многих случаях, или больше всего именно по этой фигуре» [там же, 79 а].

Это понятие о причине делает ясной роль среднего термина в умозаключении и доказательстве. Средний

термин есть также понятие, общее двум понятиям, отношение которых рассматривается в силлогизме и доказательстве. Вместе с тем средний термин выступает в доказательном рассуждении как причина: «Причина: того, почему [нечто] есть не это или это, а [некоторая] сущность вообще, или [почему нечто есть] не вообще, но что-то из того, что присуще само по себе или случайно, — [причина всего этого] представляет собой средний термин» [там же, II, 2, 90 а 9 сл.].

Особенно ясно выступает свойство среднего термина быть причиной в достоверных доказательных умозаключениях. Во всех таких умозаключениях достоверность их — не только достоверность какой-то причины, а именно истинной причины.

Очень характерно для Аристотеля, что единичные предметы, термины которых выступают в умозаключении доказательства, рассматриваются сами по себе все же как универсальные. «Ни одна посылка, — говорит Аристотель, — не берется так, чтобы она [относилась только] к тому числу, которое ты знаешь, или только к той прямолинейной [фигуре], которую ты знаешь, но [она] относится ко всякому [числу] или прямолинейной [фигуре]» [там же, I, 1, 71 в 3 и сл.]. Даже если для непосредственного созерцания фигура единична, то сама по себе она универсальна.

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

Это понимание доказательства преодолевало важный пробел теории познания Платона. У Аристотеля методом науки становится доказательство. Изображенный Платоном процесс деления обретает недостававшее ему посредствующее звено. Впервые теперь деление получает основание: нет необходимости, как раньше, постулировать каждый из его шагов. Доказательство как метод науки шире платоновского деления («диайрезиса»): «Легко усмотреть, что деление по родам составляет только незначительную часть изложенного нами метода. при делении то, что должно быть доказано, постулируется, но при этом всегда что-нибудь выводится из более общих [понятий]».*

Однако Аристотель вводит в учение о применимости доказательства важное ограничение. Обусловлено оно его убеждением в том, что общность может существовать только между подчиненными одно другому понятиями. Каждая отдельная наука имеет свой особый высший род, но переход от одного рода к другому невозможен: между понятиями, образующими координацию, нет и не может быть общего. «Нельзя, следовательно, — утверждает Аристотель, — вести доказательство так, чтобы из одного рода переходить в другой. нельзя геометрическое положение доказать при помощи арифметики» [5,1,7]; «. арифметическое доказательство всегда имеет дело с тем родом, относительно которого ведется [это] доказательство» [там же]; «. [вообще] нельзя доказать посредством одной науки [положения] другой, за исключением тех [случаев], когда [науки] так относятся друг к другу, что одна подчинена другой, каково, например, отношение оптики к геометрии и гармонии — к арифметике» [там же].

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

* «Первая Аналитика», 1, 31, 46 а 31 и сл.; о невозможности получить заключение и определение посредством деления говорит также 5-я глава 2-й книги «Второй Аналитики».

теля, «по направлению вверх» идут и относящиеся к сущности и случайные признаки, «однако и то и другое не бесконечно. Необходимо, следовательно, должно быть нечто, чему что-то приписывается первично. и здесь должен быть предел и должно быть нечто, что больше не приписывается другому предшествующему и чему другое предшествующее [больше не приписывается]» [5, I, 22, 88 в].

Так обстоит дело с познанием свойств, приписываемых единичным «сущностям». В их иерархии есть предел для восхождения и нисхождения. Но существует также и предел для доказательства приписываемых свойств; «. ни по направлению вверх, ни по направлению вниз приписываемое не может быть бесконечным в рассматриваемых [нами] науках, дающих доказательства» [там же, 84 а]. То, что содержится в существе вещей, «не бесконечно, в противном случае невозможно было бы [их] определение. Так что если все приписываемое обозначается как [присущее] само по себе, а то, что есть само по себе, не бесконечно, то существует предел по направлению вверх и, следовательно, по направлению вниз» [там же]. Отсюда Аристотель выводит, что необходимо должны быть начала доказательств и что нет доказательства всего [см. там же]. В конце концов, мы дойдем до начал, составляющих независимую основу всех зависимых от них положений: эти начала уже не доказываются.

Аристотель различает три вида недоказуемых начал: 1) аксиомы; 2) предположения; 3) постулаты.

Аксиомы — положения, обусловливающие возможность какого бы то ни было знания либо в любой науке, либо в группе взаимозависимых наук. Пример аксиомы, общей для всех наук, — начало, или закон противоречия. Начало это — не гипотеза, а то, что необходимо знать человеку, если он познает хоть что-нибудь. Согласно этому началу, «невозможно, чтобы одно и то же вместе было и не было присуще одному и тому же и в одном и том же смысле» [7, IV 3, 1005 19 — 20]. Пример аксиомы, общей для группы наук: две величины остаются равными, если у них отнять равные части. Аксиомы имеют силу для всего существующего, а не специально для одного какого-либо рода. Пользуются ими, потому что они определяют сущее как таковое. Однако в каждом отдельном исследовании с аксиомами имеют дело

в зависимости от того. как далёко простирается род, к области которого относятся развиваемые доказательства. Так как аксиомы применяются ко всему, поскольку оно есть нечто сущее, или свойство, одинаково присущее всему, то никакой ученый, ведущий исследование частного характера, не может сказать о них, истинны они или ложны: ни геометр, ни арифметик. Некоторые физики притязали на это, так как полагали, будто физика исследует, всю природу и все сущее. Но так как природа — только отдельный род существующего, и физика — не первая мудрость, то вполне компетентна в исследовании аксиом только философия. Только философия может указать самое достоверное из всех начал, по отношению к которому нельзя ошибиться [см. 7, IV, 3, 1005 а — 1005 в].

Предположениями Аристотель называет положения, которые сами по себе доказуемы, но в пределах данного научного рассуждения принимаются без доказательства. При предположении принимаемое положение кажется учащемуся правильным. Или, согласно определению Аристотеля, «все то, что хотя и доказуемо, но сам [доказывающий] принимает, не доказывая, и учащемуся это кажется [правильным], — это есть предположение» [5, I, 10, 76 в]. Предположение небезусловно и имеет значение лишь для учащегося, для которого оно сформулировано или выдвинуто. Функция предположений в суждении — в обосновании заключений: «. [предположения] — это [суждения], при наличии которых получается заключение благодаря тому, что они, есть» [там же].

Постулатами («требованиями») Аристотель называет положения, которые принимаются в пределах данного научного рассуждения, но принимаются или при полном отсутствии у учащегося мнения по поводу исследуемого предмета, или даже при наличии несогласия учащегося с постулируемым положением. «. Если принимают [что-то], в то время, как [учащийся] не имеет никакого мнения [об этом] или имеет мнение, противное [этому], то постулируют это» [там же].

Метод установления исходных принципов науки

Мы рассмотрели первые две части учения Аристотеля о научном познании: диалектику вероятного знания и метод достоверной науки. Третью часть его учение о познании составляет учение о методике установления исходных положений науки.

Уже в аристотелевской «диалектике» показывается, каким образом ум может подготовляться — посредством отбрасывания заблуждений, ложных мнений — к достоверному созерцанию основных положений науки. Специальным методом подготовки к усмотрению общего — через частное — должна быть, по Аристотелю, «индукция» ( epagwgh ). Применение этого слова стало техническим термином логики, по-видимому, впервые у Аристотеля. Первоначально термин мог означать способ перехода от одних знаний, которыми ученики уже владели, к новым. Аристотелевская «индукция» уже есть путь от единичных случаев к общим положениям. Разъяснение термина в этом смысле дано в «Топике». Но в «Аналитике» в качестве отправного пункта индукции указано вместо «единичного» «частное», а индукция как метод противопоставлена дедукции, отправляющейся от всеобщего.

Вся небольшая глава 1-й книги «Второй Аналитики» доказывает, что общее знание невозможно без индукции, а индукция — без чувственного восприятия. Если нет чувственного восприятия, рассуждает Аристотель, «то необходимо будет отсутствовать и какое-нибудь знание, которое невозможно [в таком случае] приобрести, поскольку мы научаемся [чему-нибудь] либо через индукцию, либо посредством доказательства» [5, I, 18, 81 а — 81 в]. Хотя доказательство исходит из общего, а индукция — из частного, однако и общее «нельзя рассматривать без посредства индукции, ибо и так называемое отвлеченное познается посредством индукции, [именно], если кто-либо хочет показать, что некоторые [признаки]. присущи каждому роду. Но индукция невозможна без чувственного восприятия, так как чувственным восприятием [познаются] отдельные [вещи], ибо [иначе] получить о них знание невозможно» [там же]. Таким образом, «как знание, [приобретаемое] из общего, невозможно без индукции, так и [знание] посредством индукции невозможно без чувственного восприятия» [там же, 81в].

«Индуктивные» умозаключения, как их понимает Аристотель, не составляют еще науку в собственном смысле, но образуют (наподобие аристотелевских «диалектических» аргументов) только подготовление к ней, или преддверие к ним.

Характерно, что как на своего предшественника в обосновании метода науки Аристотель указывает не на

Платона, с которым он в этой связи полемизирует, а на Сократа Но тут же он подчеркивает, что даже у Сократа речь шла не о самой науке, а только о «начале знания»: «. две вещи надо было бы отнести на счет Сократа — индуктивные рассуждения и образование общих определений: в обоих этих случаях дело идет о начале знания» [7, XIII, 4,1078 в 27 и сл ]. Напротив, платоновская «диалектика» как учение об «идеях», приписавшее общим сторонам вещей обособленное существование, не может быть истинным методом науки.

Аристотель находит, что «диалектический» (в его, аристотелевском, смысле) силлогизм и «индукция» определяют формальный характер двух видов вывода, которые он назвал «энтимемой» и «примером».*

Исходной точкой «энтимемы» Аристотель считает предположение некоторого общего положения, которому должны быть подчинены частные случаи Например: если война — причина бедствий, от которых мы страдаем, то мы можем исправить свое состояние только посредством мира [см. 13, I, 23] Рассуждение предполагает здесь вероятность не только для некоторых частных случаев, но и общего значения. Эта вероятность касается результатов войны и мира, которые могут быть сопоставлены. Но «энтимема» может иметь исходной точкой и другое, принятое в качестве общего или обычного, отношение «признака».

Посредством такого умозаключения не получается объяснение, а только удостоверяется или отвергается существование. Оно не может ответить ни на вопрос «почему», ни на вопрос «что есть».

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

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

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

В этом умозаключении частные случаи не подводятся под общее, но вывод опирается на аналогию — сходство, или подобий некоторых частных случаев: по словам Аристотеля, «пример» «не показывает отношения ни части к целому, ни целого к части, но отношение части к части, когда они обе подходят под один и тот же [термин], но одна [из них] известна» [4, II, 24, 69 а].

Отличие «примера» от «индукции» в том, что индукция дает более дифференцированное рассмотрение частных случаев, а сходство в том, что и «пример» и «индукция» — выводы по аналогии.

Индукция отправляется от единичных опытов и есть нечто, наилучшим образом известное, но лишь с точки зрения восприятия.

Восприятие, или ощущение, — способ бытия и соответственно познания, общий у человека со всеми живыми существами: все они обладают прирожденной способностью «разбираться». При этом у одних существ от чувственно воспринятого остается нечто, у других — ничего не остается. Те, у кого ничего не остается, не могут иметь познания вне чувственного восприятия. Но есть и такие живые существа, которые, когда они чувственно воспринимают, удерживают в душе что-то из воспринятого. Если таких восприятий накапливается много, то между испытавшими восприятия возникают различия: у одних из воспринятого возникает некоторое понимание, у других же не возникает. Способность удерживать часть воспринятого есть память. Из часто повторяющегося воспоминания об одном и том же возникает опыт. Из опыта же, т. е. из всего общего, сохраняющегося в душе, берут свое начало навыки и наука. Навыки возникают, когда происходит процесс создания вещей; наука — «если дело касается существующего» [5, II, 19, 100 а]. Все эти способности познания «не обособлены и возникают не из других способностей, более известных, а из чувственного восприятия» [там же].

Способ их возникновения Аристотель сравнивает с тем, что бывает в сражении, когда строй обращается в бегство: «. когда один останавливается, останавливается другой, а затем и третий — пока [все] не придет в первоначальный порядок». Нечто подобное может испы-

тать и душа. Как только из не отличающихся между собой вещей нечто удержится в памяти, впервые возникает в душе общее. Происходит это так: ощущаться может только единичное, но восприятие, если оно уже возникло, всегда «есть [восприятие] общего, например, человека, а не [единичного] человека Каллия». Затем на достигнутом результате задерживаются, «пока не удержится [нечто] неделимое и общее» [там же].

Отсюда Аристотель заключает, что первичное мы должны «необходимо познавать посредством индукции, ибо [именно] таким образом восприятие порождает общее» [там же].

Не следует недооценивать это утверждение Аристотеля. Если бы Ф. Бэкон внимательно прочитал 19-ю главу 2-й книги «Второй Аналитики», он вряд ли смог бы так односторонне характеризовать, как он это сделал, логику и теорию познания Аристотеля в качестве чисто дедуктивной. Аристотель не только признавал необходимость индукции для науки. Он даже полагал, как это верно отметил Робэн, что чем выше уровень науки, чем он более всеобщ и доказателен, тем больше наука испытывает нужду в опоре на индукцию [72, с. 57]. И в «Физике» и в «Метафизике» Аристотель нередко говорит об очевидности, которая есть результат именно индукции (примеры отмечены в «Индексе» Боница).

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

Оценка индукции не может быть изменена в силу указания, что посредством индукции могут быть обнаружены в опыте если не всеобщие, то по крайней мере устойчивые, стабильные свойства». Такое указание также не может дать научного объяснения. Факт сам по себе

Напротив, индукция лишь направляет мысль к сущности. Однако раскрыть эту сущность может только определение, для того же, чтобы выяснить связь сущности с ее действиями, требуется доказательство.

Аристотель противопоставляет то, что в умозаключении более первично и ясно по существу, тому, что является таким для нас, т. е. лишь в порядке развития и хода нашего опыта, в порядке оказавшегося возможным для нас подхода к познанию порядка самой природы. «По существу, — разъясняет Аристотель, — более первичным и более известным является умозаключение, получаемое посредством среднего [термина]. Но для нас более ясным является умозаключение, получаемое посредством индукции» [4, II, 23. 68 в].

Научная база логики и теории познания Аристотеля

В «Аналитиках» рассматриваются обобщенные и в известной мере формализованные виды умозаключения и доказательства. Характер этой формализации, ее значение, сильные и слабые стороны выясняются новейшими исследованиями, среди которых видное место принадлежит превосходной работе Яна Лукасевича [см. 32]. Но логика Аристотеля возникла не в безвоздушном пространстве логических абстракций. Она возникла как попытка логического исследования тех форм и видов логического мышления, которые действуют в умозаключениях и доказательствах науки. Она не предписывает н•ауке ничего, что не было бы выведено из бытующих

в самой науке форм, методов, приемов мысли. Для Аристотеля такой подход к нахождению форм логического мышления естествен: ведь сам Аристотель был не только крупнейшим философом своего века, но и его крупнейшим ученым поразительно широкого творческого охвата. Но именно эта широта и «универсальность», отмеченные как характерная черта Аристотеля Энгельсом [см. I, т. 20, с. 19], выдвигает важный вопрос: на каких именно науках основывался Аристотель в своих логических исследованиях? Из каких научных форм умозаключения и доказательства, из каких наук черпал он образцы, обобщением и формализацией которых оказались выведенные и объясненные Аристотелем логические формы мышления?

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

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

Прежде всего заметим: не следует основывать решение вопроса о научной базе логики Аристотеля на тождестве терминов «род» и «вид» в биологии и в логике. Биологическая систематика и классификация представ-

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

Однако, по воззрению Аристотеля, уже нам известному, хотя эмпирические знания ведут к познанию всеобщего, это всеобщее может быть дано только в возможности. В определении, приводящем к различению рода и вида, речь идет не об эмпирической группировке фактов или предметов опыта, а об определении умопостигаемой сущности. Именно в ней различается как ее материальная часть ее род и как ее формальная часть — ее видоопределяющее различие. Для понимания логической функции определения единственно возможной наукой, в которой оно было уже реализовано и обосновывало ее доказательства, могла стать только математика, точнее геометрия. Ко времени Аристотеля в геометрии уже сложились условия для возможности систем магического построения и изложения. «Начала Евклида» предполагают задолго до них начавшуюся — в математических кругах последователей Платона — работу по изложению результатов, достигнутых в математике с ее дисциплинами — арифметикой, геометрией, теорией гармонии и астрономией. «Началам Евклида» предшествовали не дошедшие до нас, но, по всей видимости, подобные им своды математического знания: «Начала» Гиппократа, Леонта и Февдия, упоминаемые в каталоге Прокла.* Близость Евклида к Аристотелю по времени явствует из того, что Евклид родился меньше чем десятью годами позже смерти Аристотеля: при жизни Аристотеля работы по созданию сводов математических знаний шли уже полным ходом.

Но кроме этих общих исторических соображений есть данные, относящиеся к существу вопроса. Имеется важный факт, состоящий в том, что в логических трактатах Аристотеля почти все иллюстрации, необходимые для обоснования и разъяснения логики, почерпнуты из геометрии.

И действительно, предметы математики по Аристотелю, имеют несомненное преимущество сравнительно

* Прекрасный исторический очерк развития этой традиции в истории греческой науки написал известный алгебраист и историк древней науки Ван дер Варден [см. 18, гл. VI, с. 205 — 275, особенно с 269 и сл.].

с органическими существами, известными из опыта. Объекты математики — результат абстракции от чувственных предметов опыта.

Согласно разъяснению самого Аристотеля, «предметом. [изучения] математических наук являются понятия, а не какая-либо [материальная] основа. Ибо если геометрия и рассматривает некоторую [материальную] основу, то не как таковую» [5, I, 13, 79а]. А & другом месте он добавляет, что наука, «не имеющая дело с [материальной] основой, точнее и выше науки, имеющей с ней дело, как арифметика по сравнению с гармонией» [там же, I, 27, 87а]. Правда, основа этой науки и ее понятий — физическая реальность. Это тот материалистический базис математических абстракций, который отметил и высоко оценил в Аристотеле Ленин. Однако непосредственная реальность математических объектов для науки, как ее понимает Аристотель, уже не в их физической, а только, если можно так выразиться, в их логической материи: это умопостигаемое, а не чувственно постигаемое единство рода и видоопределяющего признака. Именно это единство лежит в основе дедукции произвольных свойств математических объектов. В связи с этим математические объекты в известном отношении Аристотель ставит ниже, чем собственно «формы», именно потому, что предметы математики — только абстракции и обладают индивидуальностью не в самой действительности, а только в мысли. Они не имеют длящегося бытия и воссоздаются всякий раз и как угодно часто посредством определения. Напротив, истинные «формы» отличаются каждая индивидуальной субстанциальностью, которая не возникает каждый раз вновь, когда дается их определение.

Но, признавая умопостигаемую реальность объектов математики, благодаря которой математическое рассуждение — естественный «материал», в котором раскрывается природа логических операций и форм, Аристотель борется против платоновского — идеалистического — взгляда на математику. Имея в виду платоников, и прежде всего самого Платона, он неодобрительно отмечает, что математика «стала для теперешних [мыслителей] философией» [7, 991 а 32 — 33]. В концепции платонизма Аристотель осуждает учение Платона о срединном положении математики между умопостигаемым миром «идей» и чувственно воспринимаемым миром

вещей: чтобы подвести многообразие и изменчивость чувственных вещей под единство и тождественность разума, Платон вводит посредствующую функцию математических объектов. Таким образом, математика становится для Платона средством или орудием знания. Напротив, для Аристотеля математика — не «органон», не орудие знания, а само знание в его явлении или обнаружении. Для Аристотеля «органон» знания — не математика, а «аналитика», т. е. логика. Не только математика, но и всякая наука — знание — есть сфера применения «органона».

К тому же связи между понятиями науки, как ее понимает Аристотель, — связи логические. Наука направлена на постижение качеств, характеризующих индивидуальное или субстанциальное бытие. Но качества Аристотеля, так же как и его субстанции, в плане науки являются логическими сущностями, между которыми существуют отношения, или градация, подчинения. Между всеми этими понятиями должна быть выяснена их логическая связь.

В конечном счете действительный мир познания — это мир, где действует ум. Ум, по Аристотелю, истиннее даже, чем сама наука. Поэтому ум может иметь своим предметом начала знания. Наука, как и ум, дает истину, и никакой другой род познания, кроме ума, «не является более точным, чем наука» [7, 99 la 32 — 33], «не может быть истиннее» [там же].

Но всякая наука обосновывается, а начала доказательств более известны, чем сами доказательства. Так как начало доказательства уже не есть доказательство, то наука не может быть началом науки. Таким началом может быть только ум — единственный, кроме науки, вид истинного познания. Теория познания Аристотеля, так же как и его теория «форм», — теория объективного идеализма.

Источник