Валентин Асмус - Античная философия

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

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

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

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

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

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

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

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

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