Все это сделать необходимо, но... невозможно, поскольку в процессе изобретения исходных теоретических идей самой теории еще нет; она только-только создается, нащупывается, и, следовательно, требуется осуществить в теоретической форме нечто - по определению - в теоретической форме неосуществимое. А если "закреплять" в тексте "изобретение логических начал", когда они уже изобретены ("интуитивно"), то... зачем? Если же такие "начала" необходимо заранее логически обосновывать, то... что это за начала?
2. Логика должна обосновать собственное начало - стать "диалогикой"
Читатель вправе спросить: на каком, собственно, основании я утверждаю о столь критическом положении теоретического знания? почему сформулированный мною парадокс (да и существует ли он реально вообще?) так насущен для современной математики, физики или логики? Все эти науки спокойно себе живут и развиваются (еще как развиваются - все же эпоха научно-технической революции), сталкиваются, конечно, с серьезными трудностями, преодолевают их или запутываются в них, но, судя по всему, творцы современной науки и не помышляют о необходимости включить в логический строй наличных теорий интуитивные процессы изобретения исходных теоретических понятий... У современных теоретиков по горло других, действительных забот.
Попробую все же показать, почему я отважился на такое сильное утверждение.
Начну с некоторых всеобщих логических трудностей, как будто независимых от современной ситуации, от логических коллизий XX века...
(1990). Ход моих рассуждений в этом параграфе носит несколько раздвоенный, еще недостаточно решительный характер. Я как будто колеблюсь между двумя подходами. То, исходя из - пусть уже поколебленного, но все же еще соблазнительного - отождествления разума только с разумом познающим, я пытаюсь как бы усовершенствовать логику познающего разума в свете логических сдвигов XX века. То, уже осознавая, что разум познающий - лишь один из голосов в полифонии человеческого разумения, я осмысливаю момент перехода, "трансдукции" познающего разума в разум диалогический и тем самым осмысливаю замыкание познающего разума "на себя", оформление этого разума, как действительно самостоятельного и неповторимого Собеседника в диалоге культур. Можно было бы эту неопределенность устранить, очистить мой текст от логических колебаний. Но мне кажется, это было бы неправильно. Сами эти колебания, сама двуполюсность приведенных размышлений также симптоматичны и даже необходимы, они свидетельствуют, что созревание культурологического статута логики - это трудный момент самой органики исторического движения мысли. Дальше читатель увидит, что "второй полюс" (идея сопряжения, диалога, взаимообоснования двух всеобще-особенных логик, двух форм актуализации бесконечно-возможного бытия) все более становится единственным средоточием последующего логического движения. Самым существенным должно быть соучастие познающего разума в единой полифонии логик XX века.
И содержательная, и формальная (аристотелевская и современная математическая) логика сходятся в одном очень существенном пункте. Обоснование начал (аксиом, исходных понятий...) логического движения не входит в задачу науки логики, особенно науки логики Нового времени.
В формальной логике аксиомы и исходные термины определяются или на основе интуитивной очевидности (классическая логика), или на основе интуитивно необходимых "конструктивных схем" (логика интуиционизма), или определения вообще становятся ненужными, поскольку аксиомы данной теории переформулируются как теоремы более фундаментальной теории (программа Гильберта), или регресс в дурную бесконечность обоснования отсекается в какой-то точке исторического возникновения данной теории (историческое оправдание, неизбежно связанное с теоремой Гёделя).
В содержательной (гегелевской) логике в той мере, в какой она толкуется именно как логика, а не как гносеология, также обычно отвлекаются от первоначального формирования исходных для данной теории, наиболее абстрактных понятий - это, дескать, дело познавательной эмпирии. Логически освоен только один "пробег" теоретического мышления: от "точки" возникновения теории до "точки" ее предельного развития - движение "от абстрактного к конкретному"6, от бедного (одностороннего) понятия до развернутого единства многообразия (системы понятий). Конечно, и нижнюю и верхнюю "точки" можно превращать в многоточия и отодвигать в бесконечность. И тогда, с одной стороны, говорить о все большей абстрактности исходного пункта, вплоть до бессмысленного и абсолютного тождества "бытия и небытия" исследуемого предмета (это - вниз, в незнание). А с другой - рассуждать о все большей конкретности будущего теоретического знания, о том, что в сравнении с всемогуществом теории XXI века современное знание будет выглядеть бедной, неразличимой, неразвернутой, точечной абстракцией (это вверх, в абсолютное знание)... Все это возможно. Но проблемы такое многоточие не снимает.