Онтология математического дискурса   ::   Гутнер Г Б

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

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

Говоря о возможном, мы всегда подразумеваем случайность. То, что возможно, может и не произойти. Треугольник может быть и не вписан в окружность, хотя такое возможно. К чему относится это указание на случайность? Оно относится к некоторому событию, а именно событию актуализации данного понятия, т.е. событию построения. Точнее, здесь нужно говорить о ряде событий, после которых появляются на свет какие-то новые конструкции. Что такое событие не одно, следует из структуры теоремы, в которой различены ekqesis и kataskeuh. Возможное возможно, поскольку оно может случиться. Но к этому моменту случайности относится и указание на необходимость. Некоторое положение дел необходимо, если возникает всякий раз, когда нечто случится.