От наукоучения - к логике культуры (Два философских введения в двадцать первый век)   ::   Библер В С

В таких условиях исходная идеализация (определение) оставалась по ту сторону логического движения; этой идеализации не могло коснуться лезвие логическогоанализа (между определением идеализованного предмета и логикой дедукции вечно сохранялся зазор). Опасности самообоснования не могли стать реальными логическими проблемами. Исходные "аксиомы", не замыкаясь на себя, великолепно работали "от себя", в расчете тех или иных "физических процессов".

В теории множества такого зазора уже не может быть, идея бесконечного приближения к дискретной величине уже не "срабатывает". "Быка", то бишь дискретное, конечное, особенное, надо сразу же "брать за рога", то бишь за его бесконечное континуальное, всеобщее определение. В конкретной (относительно конкретной) математической теории обнаруживается симптом всеобщего логического кризиса. Идея предмета (линии, числа, "точки") как актуальной бесконечности требует постоянного целенаправленного внимания к проблеме самообоснования логических начал; ведь бесконечность анализа должна теперь изнутри войти в определение конечного предмета.

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