[Интуиционизм]
а- направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно-содержательнная интуиция. Вся математика должна опираться, согласно И., на интуитивное представление ряда натуральных чисел и на приннцип математической индукции, истолковываемый как требование действовать последовательно, шаг за шагом; допускаются лишь конструктивные доказательства существования рассматриваемого объекта, указывающие способ его построения. Создателем И. является голландский математик Л. Э. Я. Брауэр (1881 Ч 1966). В начале XX в. он выдвинул программу радикальной перестройки математики, противопоставив ее концепции сведенния математики к логике (см.: Логицизм) и истолкованию матенматики исключительно как языка математических символов (см.: Формализм). Представители И. полагают, что чистая математика является мыслительной активностью, не зависящей от языка, ее объект -нелингвистические математические конструкции. Язык служит лишь для сообщения математических идей, математика не свондится к языку и тем более не может быть истолкована как особый язык. Предметом исследования (математической) логики являетнся математический язык, более или менее адекватно передающий математические построения. Логика вторична по отношению к мантематике, последняя не может быть обоснована с помощью логинческих средств. Основной тезис интуиционистов гласит, что существование в математике Ч это то же самое, что конструктивность, или лпострояемость
