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

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

Как, однако, удостовериться в возможности, понимаемой в названном только что смысле? Как, уж если мы обратились к такому примеру, выяснить, что треугольник можно вписать в окружность. Процедура выяснения, оказывается, ничем не будет отличаться от той, которая выполнялась при установлении необходимого свойства. Мы должны будет установить, что понятие "треугольник, вписанный в окружность," согласуется с формальными условиями опыта, т.е. предъявить необходимый синтез настоящего понятия. Говоря более конкретно, нужно, сформулировав сначала общее суждение о возможности (protasis), мы должны будем затем начертить треугольник (ekqesis). После этого общее суждение о возможности будет переформулировано применительно к единичному предмету (diorismos - вокруг построенного треугольника ABC может быть описана окружность l).