Интуиционизм (Кузнецов, 2007)

ИНТУИЦИОНИЗМ - философия математики, основанная на представлении о математическом творчестве как о мысленной конструктивной деятельности субъекта, опирающейся на исходные интуиции (пра-интуиции) сознания. Свое начало И. берет в работах Канта, который пытался вывести математическое понятие из чистого созерцания пространства и времени и настаивал на конструктивном характере производных математических объектов. Голландский математик Л. Брауэр положил идеи И. в основу своей программы перестройки классической математики. В этом плане И. выступает наряду с логицизмом и формализмом как одна из программ обоснования математики, выдвинутых в начале XX в. в ответ на появление парадоксов в теории множеств.

Основное отличие Брауэра от Канта состоит в том, что последний пытается свести все исходные интуиции математики к интуиции времени, считая пространственные интуиции не вполне удовлетворяющими требованию строгости математического мышления. Другое важное отличие состоит в том, что Брауэр ограничивает область действия классической логики, которую Кант принимал в качестве абсолютного и универсального инструмента мышления. Классическая логика ограничивается Брауэром за счет отказа от использования закона исключенного третьего применительно к бесконечным множествам и за счет существенного изменения смысла таких понятий, как «все» и «существует». Согласно Брауэру, мы можем утверждать нечто о всех элементах множества в целом только в том случае, если имеем конструктивную процедуру обоснования этого утверждения для каждого элемента этого множества в отдельности. Общая установка Брауэра состоит в том, чтобы использовать логику только в тех границах, в которых она не выводит математическое рассуждение за сферу прямого конструктивного оправдания. Математика, по Брауэру, должно быть обоснована исключительно на первичных математических интуициях, логические же схемы должны считаться приемлемыми лишь в той мере, в которой они согласуются с этими интуициями. Брауэр возражал против попыток строгого формального определения допустимой логики и принципов конструирования, полагая, что то и другое определяется на основе непосредственной интуиции в самом акте математического мышления и в зависимости от его содержания.

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

Интуиционистский анализ математики призван был, по Брауэру, выявить некоторого рода неразрушимый центр математического мышления, позволяющий обосновать математику в целом, гарантируя, в частности, отсутствие противоречий в основных математических теориях. Большинство современных математиков и философов согласны с тем, что интуиционистски обоснованная часть математики может рассматриваться в качестве безупречно обоснованной. И. как программа обоснования математики является, однако, недостаточным, поскольку значительная часть реально функционирующего математического знания не поддается перестройке в соответствии с интуиционистскими критериями. Это относится прежде всего к математическому анализу и к теории множеств, т.е. к дисциплинам, основанным на применении классической логики в полном объеме к бесконечным множествам. Известно, что уже первые положения классического анализа, такие, как теорема Ролля или теорема Больцано—Вейерштрасса, являются недоказуемыми в рамках интуиционистских требований.

Последователи Брауэра пошли по пути логического уточнения принципов И. и выражения их в виде более строгих математических критериев. Важнейшим достижением на этом пути является построение формальной интуиционистской логики (А. Гейтинг), строгой теории интуиционистского континуума (Г. Вейль), семантики интуиционистской логики (С.К. Клини). Наиболее значимым достижением, относящимся к этому направлению, является, несомненно, строгое определение понятия алгоритма (А. Тьюринг, Э. Пост, А.А. Марков), позволившее перейти от интуиционизма к конструктивной математике. Эти достижения, однако, были существенным отходом отдуха первоначальной концепции Брауэра, которая была основана на чисто интуитивном истолковании принципов логики и понятия математического построения.

Словарь философских терминов. Научная редакция профессора В.Г. Кузнецова. М., ИНФРА-М, 2007, с. 209-210.

Литература:

Brouwer L.E.J. Collected Works, Vol. 1 // Philosophy and Foundations of Mathematics. Amsterdam: Oxford, 1975; Гейтинг А. Интуиционизм. Введение. M., 1965; Вейль Г. Математическое мышление. М., 1989; Марков А.А. О логике конструктивной математики. М., 1970; Драгалин А. Г. Математический интуиционизм. Введение в теорию доказательств. М., 1979.