Синергетика 2, Cинергетика 3 или Эволюционная кибернетика

         

На пути к теории происхождения логики


Наиболее интересная область эволюционной кибернетики - исследование процесса развития "интеллектуальных изобретений" биологической эволюции (безусловных рефлексов, привыкания, условных рефлексов, цепей условных рефлексов и т.д. [15]), в результате которых возникла человеческая логика, обеспечивающая научное познание природы. По мнению автора, в результате таких исследований должна быть построена теория происхождения логики, которая могла бы способствовать прояснению глубокой гносеологической проблемы - почему человеческая логика применима к познанию природы? Подходы к построению теории происхождения логики намечены в [2,3-6].

В особенности указанная гносеологическая проблема касается применимости математического знания в естественных науках. В этом контексте проблема обсуждалась рядом ученых. Например, М.Клайн в книге "Математика. Поиск истины", посвященной исследованию природы математического знания, задает вопрос: "Почему теоремы, доказанные человеческим разумом в тиши кабинетов, должны быть применимы к реальному миру...?" [16]. Проблема природы математического знания и удивительной эффективности математики в естественных науках обсуждалась такими известными учеными как А.Пуанкаре и Ю. Вигнер [17,18].

Исследование происхождения логики соответствует определенным тенденциям развития математического знания. Действительно, после открытия И.Ньютоном и Г.Лейбницем дифференциального и интегрального исчисления математики XVII и XVIII веков занимались содержательным развитием и применением этого мощного и плодотворного исчисления, не особенно беспокоясь об его обоснованности. Типичным примером такой позиции служит знаменитое изречение Ж.Даламбера: "Идите вперед, и уверенность придет" (цит. по [19]). Но в XIX веке математики устремились к достижению абсолютной строгости. Благодаря работам О.Коши, Б.Больцано, К. Вейерштрасса и других приверженцев строгих доказательств, дифференциальное и интегральное исчисление получает мощное обоснование; в результате был разработан классический математический анализ, сочетающий красоту математической строгости с эффективностью и содержательностью результатов.
Затем математики обратились к дальнейшему обоснованию математического знания, в том числе к анализу самого инструмента математических исследований - к построению теорий математической логики [20,21]. Т.е. сами математические исследования стали предметом изучения новой дисциплины - теории доказательств или метаматематики [21]. Название метаматематика подчеркивает, что в теории доказательств происходит выход на мета-уровень относительно объекта исследования - собственно математической теории. Наиболее естественным продолжением исследований в рамках рассматриваемой тенденции мог бы быть дальнейший переход к более глубокому естественнонаучному обоснованию логики путем исследования причин ее происхождения. Подчеркивая, что при этом происходит дальнейший переход на следующий мета-уровень относительно математической логики, теорию происхождения логики можно было бы назвать метаметаматематикой. Т. е., указанная тенденция такова:

математика --> метаматематика --> метаметаматематика.



Содержание раздела