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

Завершая наше рассуждение о необходимости, мы должны вернуться к тому выводу, которым заключили предыдущий параграф. Там мы заметили, что переход от единичного суждения к общему при доказательстве теоремы допустим потому, что таким образом осуществляется переход от более сильной модальности к более слабой (от действительности к возможности). Здесь вполне можно увидеть ошибку, состоящую в том, что произведена подмена различных категорий. Можно сказать, что в заключительной части теоремы делается переход от действительности к необходимости, т.е. к более сильной модальности, а потому такой переход все же неправомерен. Ответом на такое возражение может служить обнаруженное нами разграничение сферы действия категорий возможности и необходимости. Все рассуждения предыдущего параграфа касались только понятий и единичных объектов и не касались их отношений. Поэтому там не могло идти речи о необходимости. Мы указали, что symperasma теоремы устанавливает возможность понятия, тогда как apodeixis приводит к выводу о действительности соответствующего этому понятию предмета. В таком переходе нет ничего незаконного. Единственное, о чем не было сказано, это о произвольности момента построения названного предмета, которая и обуславливает необходимость отношения понятий, устанавливаемую теоремой. Мы уже упоминали, что обнаружение возможности обязательно оказывается сопряжено с установлением необходимости. Чтобы установить возможность, нужно построить действительный объект. Но построение действительного объекта (сообразно общим условиям опыта) подразумевает необходимость связи его элементов.

Здесь возникает еще одно недоразумение. Можно нарисовать на бумаге какой-нибудь завиток совершенно произвольной конфигурации. Коль скоро он построен, он, несомненно, возможен. Не могли же мы изобразить невозможный предмет. Но никакой необходимой связи элементов в нашей конструкции нет. Здесь налицо явное несовпадение категорий возможности и необходимости. Следует, однако, помнить, что мы говорили о возможности понятия. Уместно задать вопрос: какое понятие было актуализировано при рисовании лишенной всякой регулярности загагулины? Даже, если мы и имели нечто в виду, прежде, чем изобразили ее, совершенно невозможно выяснить в какой мере действительный предмет соответствует нашему замыслу. Если же такая возможность есть, то значит есть возможность и многократного воспроизведения, т.е. можно уже говорить о существовании некоторой схемы. Последнее же означает необходимую связь элементов.

  4 Возможное и действительное в отношении ко времени

В главе "О схематизме чистых понятий рассудка" Кант, рассматривая условия применения категорий к явлениям, установил, что таковое возможно при посредстве "трансцендентального определения времени". Определение времени есть схема категорий, с помощью которой явление подводится под понятия рассудка (B178). Ниже мы попытаемся подробнее рассмотреть, что означает определение времени в математическом рассуждении. Разъяснения самого Канта по этому поводу кажутся чрезмерно краткими. Особенно это относится к категориям модальности. По поводу действительности он ограничивается единственной фразой: "Схема действительности есть существование в определенное время" (B184). Не претендуя на подробный комментарий кантовского текста, попробуем все же ответить на вопрос: как и чем определено время существования действительного предмета?

Действительный предмет явлен нам при экспозиции или при построении. Экспозиция неизменно сопровождается фразой типа: "Пусть ABC - треугольник". Поскольку речь идет о единичном треугольнике должно быть совершенно ясно какой именно треугольник назван ABC. Ответ на этот вопрос может быть только один: "Вот этот, здесь и сейчас нарисованный треугольник". Даже, если треугольник был нарисован раньше, указание на него происходит сейчас, в тот самый момент дискурса, когда возникла потребность (или желание) предъявить его как существующий, действительный объект. Поэтому время, определяемое схемой действительности, есть настоящее время. Конечно, действительный объект, будучи один раз построен, продолжает существовать и дальше. Но узнать о его действительности можно только при актуализации, т.е. при определенном событии дискурса. Актуально событие, происходящее сейчас. Точнее, актуален (действителен) объект, являющийся в происходящем ныне событии. Событие, происшедшее в прошлом, не сохраняет своей действительности, но оставляет след.