Абу-Наср аль-Фараби

Небо, звезды, земля, вода, камни, растения, животные, человек объемлются родом «предмет». «Уже вошло в привычку… чувственно воспринимаемое, которое характеризуется не иначе как путем [выявления] акциденции и другими естественными путями, называть „что оно“ [чтойность]. Оно является субстанцией в абсолютном смысле слова, или как мы ее называем — сущностью в абсолютном смысле» (12, 63). «Индивидуальные субстанции в наибольшей мере — субстанции, потому что они более самодовлеющие и более независимые от чего-либо другого в своем бытии. Но для познания нужна суть бытия, а последняя умопостигается благодаря универсальным субстанциям». Универсалии аль-Фараби называет «вторыми субстанциями» по сравнению с «индивидуальными субстанциями» как «первыми субстанциями». Отношение индивидуального и общего представляется взаимным. «Универсалии, таким образом, существуют благодаря индивиду, а индивид умопостигается благодаря универсалиям» (5, 160). Столь же существенным для аль-Фараби является отношение субстанции к акциденции. К акциденции в широком смысле относятся все виды категориального сказывания о субстанции. Это известные девять аристотелевских категорий, следующих за субстанцией (сущностью): количество, качество, отношение, время, место, положение, состояние, действие, претерпевание действия. В узком смысле акциденцией является собственный или случайный признак. Совмещая отношение единичное — общее (индивид — универсалия, по терминологии аль-Фараби) с отношением субстанция — признак (субстанция — акциденция, по его терминологии), Абу-Наср дает следующие логические расчленения.

Внутри первого типа отношения он делит индивиды на:

1. Индивиды субстанции, «которые не дают никакого знания ни о сущности какого-то носителя, ни о чем-либо вне его сущности» (там же, 155), все отнесено к ним, они же, как говорил в свое время Аристотель, ни о чем не сказываются.

2. Индивиды акциденции, которые не дают знания о сущности своего носителя, а лишь о чем-то вне его сущности (акциденция в узком смысле слова).

Универсалии делятся на:

3. Универсалии субстанции, «которые дают знания о сущности всех своих носителей, не давая никакого знания о каком-либо носителе вне своей сущности» (там же).

4. Универсалии акциденции, «которые дают знание о сущности некоторых своих носителей и других носителей вне своей сущности» (там же).

Внутри второго типа отношения аль-Фараби проводит следующие разграничения. Субстанция может быть:

5. Индивидом, в этом случае она «не дает никакого знания ни о сущности какого-то носителя, ни о чем-либо вне своей сущности» (там же, 156) (ср. 1).

6. Универсалией, в этом случае она «дает знание одновременно о сущности всех своих носителей» (там же) (ср. 3).

Акциденция может быть:

7. Индивидом, не давая никакого знания о сущности какого-либо носителя (ср. 2).

8. Универсалией, дающей знание о другой субстанции (ср. 4).

Уже приведенная выше позиция аль-Фараби о вечности мира тоже проходит по рубрике логики. Разбирая умозаключения по аналогии («перенос» в его терминологии), он считает, что вывод о том, что «мир создан» по аналогии с «сотворенностью» животных, реальное существование которых зависит от других животных («родителей»), представляет собой логически неприемлемый ход мысли[6]. Зависимость бытий, например первопричины и последующих ступеней, не обязательно предполагает временной ряд. Предшествование может иметь место по природе, по времени, в виде причины, по степени, по совершенству, с точки зрения познания и т. д. Так, «животное» по существу субстанционально в какой-то мере «прежде» «человека». А «логически», наоборот, «человек» необходимо продуцирует «животное». «Логическое прежде» может не совпадать с историческим, а определяется либо местом тех или иных элементов в системе целого, либо уровнем зрелости, типичности и т. д. «Так, например, из двух лекарей более совершенным во врачебном искусстве может оказаться младший по возрасту, который в данном случае стоял бы впереди старшего по совершенству и следовал бы за ним во времени» (там же, 243).

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