А. Проблема научного открытия (т. е. в конечном счете, проблема формирования принципиально новых теоретических структур) выступает, если внимательно в нее вглядеться, как логическая антиномия.
Новая теория принципиально невыводима (дедуктивным путем) из старой теории, ее возникновение всегда связано с возникновением нового предмета познания, что внешне проявляется как ориентация новой теории на качественно новые результаты экспериментальных исследований.
Вместе с тем новая теория принципиально невыводима (в результате индуктивного обобщения) и из новых экспериментальных фактов, она возникает в точке "логического изобретения" (изобретения новых понятий), причем новое понятие оказывается (и должно обернуться своеобразной "мутацией" старой теоретической системы.
В экспериментальных науках факты играют роль внешнего "облучения", катализирующего и провоцирующего мутационные процессы во внутренней "генетической" структуре научных теорий и логических "кодов" [12]. Эту же антиномию возможно представить и иначе.
Новое понятие возникает в результате (и в процессе) нарушения старых логических канонов, априорных логических вето, но новое понятие (новое знание вообще) получает мандат логически истинного знания только в процессе доказательства, т. е. только в процессе (и в результате) сведения к старому знанию, к каким-то исходным аксиомам, — сведения, осуществленного по определенным правилам и алгоритмам, принципиально независимым от содержания новых теорий.
Так, понятия "электромагнитного поля", или "относительной одновременности", или "кванта", или "дополнительности" невыводимы из структуры старых теорий, хотя получают санкцию на логическую истинность только за счет раскрытия их непротиворечивости по отношению к таким наличным теоретическим структурам.
Даже тогда, когда эти новые понятия (развившиеся в теоретические системы) осмысливаются как обобщения старых, более узких понятий и систем, даже тогда новые понятия нельзя вывести из старых понятий, хотя свести к старым понятиям, в определенных условиях, возможно (принцип соответствия).
Здесь, по сути дела, начинается расщепление единой логики "вывода-доказательства" на противоположные определения:вывода (вывести новое знание нельзя, новое понятие изобретается, "мутирует") и доказательства (доказать новое знание должно и можно сведением его к знанию старому). Но такая ситуация означает логическую катастрофу. Вывод, несимметричный доказательству, и доказательство, несимметричное выводу, теряют свой необходимый, логически непротиворечивый характер.
Этот второй аспект антиномии открытия особенно отчетлив и резок для математических наук. Именно здесь, где доказательная и выводная сила теории наиболее развиты, ситуация предельно противоречива.
Новое понятие ("функция", "представление", "группа", "множество") возникает внутри собственно теоретического движения; на новые факты часто нельзя сослаться вообще, катализатором интуиции явно служит противоречие в недрах старой теории и вместе с тем новое понятие невыводимо из старой теории, возникает вне "законного" теоретического движения, в нарушение "законов логики" [13].
Здесь становится особенно ясным (если хочешь видеть), что само логическое развертывание знания выводит... за "пределы логики" (впрочем, может быть, сами "пределы" следует понимать иначе?!). Сформулируем еще раз. Новое понятие возникает только вместе с новым предметом познания, а этот новый предмет познания невыводим из старого знания о старом предмете.
Предмет потому и предмет (Gegenstand), что он "пред-положен", "противо-стоит" чисто теоретическому движению, вот и ищешь его, по необходимости, в новых "фактах" или (и) в интуитивных прозрениях. Все так. Но, с другой стороны, "теорию нельзя вывести индуктивным обобщением фактов", а следовательно... И сказка начинается сызнова.
Б. Важнейшая проблема логики доказательства не менее антиномична (как показало само развитие математической логики XX в.3) [14].
Дело в том, что исходные (для данной системы) аксиомы выводимы только в другой теоретической системе. Тем самым независимые и квазизамкнутые системы оказываются подсистемами какой-то метасистемы, носящей — в конечном счете — принципиально открытый характер. Тут и возникает антиномия. Закрытость системы — условие ее доказательной силы.
Корректный анализ доказательства разламывает любую закрытую систему, бесконечность выведения (направленная в будущее и потому не пугающая логиков) оборачивается бесконечностью сведения, движение вперед зачеркивается бесконечным попятным движением и принципиально оказывается невозможным, теряет статут доказательства. В конце концов начинается прорыв в эмпирию физиологического и психологического процессов или же дело заканчивается раздраженной ссылкой на предметную, конвенциальную, или интуитивную очевидность. Ho в большинстве случаев эта антиномия обходится стороной, на путях беспринципного оппортунизма ("для данных технических целей достаточно рассматривать данную дедуктивную систему как закрытую"), но подобные проявления умственной лени следует решительно игнорировать.
Бесконечное развинчивание научной истины (во имя того, чтобы добиться логически бесспорных исходных пунктов) приводит в первородный туман эмпирических случайностей или утыкается в знакомую уже нам проблему — проблему конструирования исходных понятий, каким-то (?) образом тождественных с... исходными предметами познания. Или иначе: возникает проблема логической (и практической) истинности научного изобретения!
Проблема доказательства упирается в проблему открытия, в проблему формирования нового, и вместе с тем логически достоверного знания (без "кивков" на старые истины). Вспомните первый и четвертый парадоксы интуиции. Логика доказательства хранит свои тайны в логике творчества! Логика творчества не имеет статута логики вне контекста логики доказательства. Круг замкнулся. Обе проблемы могут быть разрешены только одним ударом, единой идеей.
Две антиномии свелись к одной-единственной — к антиномии "творчества-доказательства", мучительно актуальной для современной логики, ставящей под вопрос само существование логики как науки 4. Однако, если вдуматься, ситуация не столь трагична, как она выглядит "на близком расстоянии". В исторической перспективе безвыходная антиномия осмысливается как позитивная, эвристическая проблема. Нужен только правильный контекст. Здесь необходимо сделать небольшое отступление.
До сих пор (в разделах 1-2) мы исходили из современной логической ситуации во всей ее антиномичности и безвыходности. Мы двигались вместе с наукой в ее первичной логической саморефлексии (современная математическая логика именно такой первичной саморефлексией науки и является). Важно было подчеркнуть, что в настоящее время антиномия "творчество-доказательство" становится насущной проблемой самосознания, а тем самым дальнейшего развития точных наук.
Проблема встала сейчас в самом актуальнеишем смысле: "что делать?" Но теперь пора вспомнить, что в XVII-XIX вв. эта "новая" проблема стояла столь же остро (Кант, Гегель, Тренделенбург), хотя и в ином плане — не столь актуальном для собственного развития науки, но зато гораздо более принципиальном в смысле общей теории познания. И — глубже — философских начал мышления. Проблема стояла (не стояла, а развивалась) как проблема высшей саморефлексии науки, — рефлексии философской.
Тогда новая наука только что формировалась, и были ясны (ясны в философском осмыслении) назревающие в ней антиномии. Антиномии эти улавливались тогда только в контексте познавательной деятельности в целом, точнее, только в контексте новой формы Праксиса. Это "только" означает, скорее, не сужение, а углубление проблемы, — историей навязывался тот единственный контекст, в котором проблема могла быть решена.
Впрочем, философские страхи оказались преждевременными. наука продолжала чудесно работать и развиваться, даже и не замечая пресловутой, столь мучавшей Канта, антиномии "синтетических априорных суждений". Лишь к серединеXX в. выяснилось, что глаза у страха не только велики, но и дальнозорки. Теперь уже не "на входе", а "на выходе", в порядке самопроверки своего логического "вооружения", точные науки пришли к необходимости как-то понять и разрешить антиномию "изобретения-доказательства".
Логический автоматизм стал отказывать уже прямо в работе "под руками". Конструктивная роль понятий прямо противопоставлялась их "отражательной" роли (конструктивизм в математике, проблема "объект — прибор", соотношение неопределенностей).
Коренные, самоочевидные категории обнаруживали свою творческую функцию "схем деятельности"; измени схему, получишь другую теоретическую структуру; вместе с тем, эти "схемы", в прямое опровержение кантовской концепции, теряли свой априорный характер (пересмотр понятия времени в специальной теории относительности). Стал на глазах перестраиваться и сразу же обнажился категориальный каркас мышления.
Стала ясна творческая роль этого логического "скелета", — там, где мнились кости, объявилась живая плоть реальное мысли. "Скелет" оказался не скелетом, а растущим древом понимания. Особое значение здесь имеет развитие категорий причинно-следственной связи и резкое разбухание эвристической силы модальных категорий (вероятность — виртуальность — потенциальность — необходимость). Наконец, историзм все более становится высшим логическим принципом (в особенности в современной математике).
В таких реальных условиях наука уже не может удовлетворяться саморефлектированием первого порядка, формальной логикой и самоотчетами крупнейших творцов науки, и должна обратиться к прерванной линии философского самосознания. Линия эта (Декарт — Спиноза — Кант — Гегель — Фейербах — Маркс) прервалась в период научной самоудовлетворенности, а сейчас ее продолжение — насущнейшая потребность самой науки.
Впрочем, внутринаучная потребность лишь момент более широкой и глубоко культурно-философской интенции. Поэтому нам приходится вернуться к проблеме "доказательство — изобретение" в ином, историко-философском разрезе.
_____________
2 Следует только учитывать, что сама эта сфера исторически изменчива и ее воздействие на соответствующую форму математического знания (в частности, на символизм математики в XVII-XX вв.) носит исторически определенный характер. Несколько детальнее об этом своеобразии — в четвертом разделе работы.
3 Сравним парадоксы Геделя, парадоксы "пухнущих исчислений" в общей теории исчислений Лоренцена, или иерархию формальных структур Хао Вана и др.
4 Вся острота и напряженность этой антиномии, больше того, сама возможность понять, что это — одна антиномия, выявились именно в XX в. на основе достижений математической логики, на основе бескомпрокиссного расщепления "истины-структуры" и "истины-процесса". Необходимо еще раз подчеркнуть этот момент, выделенный в первом параграфе.
- Войдите, чтобы оставлять комментарии