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

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

---

Исходные множества расселовского парадокса (множество не бреющих себя и множество совершающих сей обряд) - это множества обычные, поэлементные, они объединяются воедино только потому, что одинаково ("поодиночке") не бреются или бреются. Их определение нейтрально к своему предмету. Но множество (из одного человека), порождаемое брадобреем (коль скоро он себя бреет, то не бреется сам), - это совсем иное множество, больше того, переход к иной теории множеств (шире - к иной логике).

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

Такое множество порождает себя как предмет определения и одновременно как определение предмета. Порождает себя как понятие!

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

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

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

Чтобы последнее утверждение было ясным, немного о логических предпосылках такой постановки вопроса.

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

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

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

В парадоксах теории множеств вылез наружу не математический (в узком смысле слова) кризис, а кризис оснований всей логики Нового времени, логики, чье содержание неявно всегда развивалось в русле математических идеализаций. Перед нами - снова - категорический императив логики.

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

Это утверждение следует точно понять. Дело не в том, что "математическая форма" есть какая-то превращенная, неадекватная форма логической культуры мышления Нового времени. Ничего подобного. Форма математического размышления (движение и превращение математических идей) есть наиболее адекватная форма логического движения мысли в XVII - начале XX века. (Другой вопрос: всегда ли для мышления наиболее продуктивна его наиболее адекватная форма?) Но в XX веке возникает необходимость новой логической формы - формы возникновения новой логической культуры. Весь смысл парадоксов теории множеств состоит в этой потенции смены логической формы (и коренного логического содержания) творческого движения мысли.

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

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

Конечно, в математике (или физике) основной императив логики пока еще не сформулирован в адекватной - для логических потенций XX века - всеобщей форме, но он уже предстал в форме такой особенной теоретической проблемы, "решение" которой и состоит в обнаружении ее всеобщности. Непосредственно разговор шел о том виде, который эта проблема приобрела в математике, жаждущей стать философией. Тот же процесс происходит и в физике, но на этих страничках я не буду обсуждать еще и эту проблему.

Надеюсь, что теперь первоначальное наивное недоумение - "да разве позитивные науки так уж остро нуждаются в разрешении трудностей логического обоснования исходных начал теоретического движения, то есть в разрешении трудностей введения в науку логики процессов изобретения новых идей?" сменилось более серьезными и продуктивными размышлениями. И коренное из них - над проблемой самообоснования логики, самообоснования понятия.

Однако все сказанное выше только начало, только введение в нашу проблему. Теперь мы и подходим к сюжетам нашей настройки.

Понять (и развить) язык теоретического текста как язык самообоснования (самоотнесение понятий) означает понять (и развить) этот один язык как некое двуязычие, как речь внутреннего (внутри единой теории) диалога.

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

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

Ничего себе, "условия задачи"... Да стоит ли при таких условиях вообще браться за нее? Не проще ли вернуться к старому доброму регрессу в дурную бесконечность превращения аксиом данной теории в теоремы теории более фундаментальной? К тому же, если вспомнить, что "регресс" этот был основой всего научного прогресса в XVIII - начале XX века...