Коллектив авторов - Аристотель. Идеи и интерпретации

…имеются три теоретических науки [ἐπιστήμη]: математика (μαθηματική), физика (φυσική), теология (θεολογική) (совершенно очевидно, что если где-то существует божественное, то ему присуща именно такая природа), и достойнейшее знание должно иметь своим предметом достойнейший род [сущего] [371] ( Met. E 1026а18-22).

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

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

Но все эти науки имеют дело с одним определенным сущим и одним определенным родом, которым они ограничиваются, а не с сущим вообще и не поскольку оно сущее (οὐχὶ περὶ ὄντος ἁπλῶς οὐδὲ ᾗ ὄν), и не дают никакого обоснования для сути предмета, а исходят из нее: одни [науки] делают это ясным с помощью чувственного восприятия, другие принимают как предпосылку, что это есть (τὸ τί ἐστιν), таким образом, они с большей или меньшей строгостью доказывает то, что само по себе присуще тому роду, с которым они имеют дело… ( Met. Е 1025b7-16).

Под сущим просто (ἁπλῶς) или лучше сказать безотносительно, Аристотель понимает «сущее, поскольку оно сущее», то есть он ставит вопрос о сути сущего и спрашивает о том, что делает сущее сущим. Как говорит Аристотель, в приведенной выше цитате, теоретическая наука не обосновывает существование своего предмета, а принимает его, либо опираясь на чувственное восприятие, как делает это физика, либо в качестве гипотезы, как это делает математика. Почему это так? Это обусловлено устройством аподиктического знания, любое доказательство всегда исходит из своего предмета, а не обосновывает его, оно идет от посылок к следствиям. Теоретическая наука представляет собой систему доказательств, поэтому вопрос о первой истинной посылке, не находится в ее ведении. Значит, даже если бы теоретическая наука хотела доказать существование своего предмета, сделать этого она бы не смогла. Возникает проблема начала доказательства, начала науки.

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

Далее, начала доказательств — это определения, у которых не будет доказательств (ὁρισμοί, ὧν ὅτι οὐκ ἔσονται ἀποδείξεις)… В самом деле, или начала доказуемы, тогда имеются начала начал — и так до бесконечности, или первые [начала] будут недоказуемыми определениями (τὰ πρῶτα ὁρισμοὶ ἔσονται ἀναπόδεικτο) ( An. Post. II 90b25).

Но может быть эти определения не нуждается в доказательстве благодаря своей очевидности? Аристотель в О небе (I, 5 271b8-13) говорит, что ошибка, допущенная в начале, многократно возрастет в дальнейших рассуждениях. Значит, даже в началах можно ошибаться. Поэтому, чтобы получить истинное доказательное знание, необходимо наличие истинной посылки. Как ее получить? Аристотель полагает, что всякое знание, в том числе знание первой посылки, предполагает уже имеющееся знание:

Всякое обучение и всякое основанное на размышлении учение возникает из ранее имеющегося знания (ἐκ προϋπαρχούσης γνώσεως). Это становится очевидным, если мы рассмотрим это в каждом случае, ведь и математические науки, и каждое из прочих искусств приобретаются именно таким способом ( An. Post. 171а1-5).