Акыда – исламское вероучение

Но при данном доказательстве использованы философские термины и понятия, которые следует разъяснить.

Возможность и необходимость

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

Доказательство наличия свойства субъекта относится к одному из трёх состояний:

1) является «невозможным», например, при суждении о том, что «три» по своей величине больше, чем «четыре»;

2) обладает «необходимостью» (например, при суждении о том, что «два» равняется половине «четырёх»);

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

Согласно логической терминологии, в первом случае суждение обладает характером «невозможности», во втором – «необходимости», а в третьем – «возможности» (в особом значении этого слова).

Но с учётом того, что философия рассуждает о бытии, и всё, что относится к категории невозможного, не будет обладать внешним бытием, философы в качестве логического предположения подразделяли бытие на бытийно-необходимое и бытийно-возможное. Бытийно-необходимое – это бытие, которое существует само по себе и ни в каком другом бытии не нуждается. Подобное бытие по своей природе является извечным и постоянным, ибо небытие какой-либо вещи в определённом временном отрезке является признаком того, что её бытие ей не принадлежит, для обладания бытием она нуждается в другой вещи, которая является причиной или условием её собственного существования.

Данная вещь при отсутствии упомянутой причины исчезнет. А бытийно-возможное – это такое бытие, которое само по себе не существует, его существование зависит от другого бытия.

Данное подразделение, основанное на логическом предположении, неизбежно опровергает наличие «бытийно-невозможного» (мумтани’ ал вуджуд).

Но оно не служит свидетельством того, что все существа принадлежат к одной из двух упомянутых категорий (бытийно-необходимой или бытийно-возможной). Другими словами, данное предположение верно будет в трёх случаях: во-первых, любое существо является бытийно-необходимым; во-вторых, любое существо – суть бытийно-возможное; и в-третьих, некоторые существа являются бытийно-необходимыми, а некоторые – бытийно-возможными.