интуиционизм это:

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

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Смотреть что такое "интуиционизм" в других словарях:

  • ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика …   Философская энциклопедия

  • ИНТУИЦИОНИЗМ — направление в основаниях математики, полагающее критерием убедительности доказательства интуитивную ясность каждого его шага; не признает т. н. абстракцию актуальной бесконечности, характерную для множеств теории …   Большой Энциклопедический словарь

  • интуиционизм —         ИНТУИЦИОНИЗМ одно из трех главных направлений (наряду с логицизмом и формализмом), традиционно выделяемых в основаниях математики. Для общей характеризации направлений, выросших из И., часто пользуются термином «конструктивизм». Поэтому… …   Энциклопедия эпистемологии и философии науки

  • интуиционизм — а, м. intuitionnisme <лат. мат. Одно из направлений в философии математики, в котором подвергаются критике основания теории множеств. Интуиционист а, м. Крысин 1998. Интуиционистский ая, ое. Лекс. СИС 1954: интуициони/зм; БСЭ 3:… …   Исторический словарь галлицизмов русского языка

  • ИНТУИЦИОНИЗМ — совокупность философских и математич. идей и методов, рассматривающих математику как науку об умственных построениях. С точки зрения И., основным критерием истинности математич. суждения является интуитивная убедительность возможности построения… …   Математическая энциклопедия

  • Интуиционизм — Интуиционизм  система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений. С точки зрения интуиционизма, основным критерием истинности… …   Википедия

  • интуиционизм — (лат.) одно из направлений в философия математики, в котором подвергаются критикеоснования теории множеств; интуиционисты считают интуицию основным критерием строгости математических рассуждений ср. логистика 2). Новый словарь иностранных слов.… …   Словарь иностранных слов русского языка

  • Интуиционизм —         в математике, философское направление, отвергающее теоретико множественную трактовку математики и считающее интуицию (См. Интуиция) единственным источником математики и главным критерием строгости её построений. На базе И. возник также… …   Большая советская энциклопедия

  • интуиционизм — направление в основаниях математики, полагающее критерием убедительности доказательства интуитивную ясность каждого его шага; не признаёт так называемую абстракцию актуальной бесконечности, характерную для множеств теории. * * * ИНТУИЦИОНИЗМ… …   Энциклопедический словарь

  • ИНТУИЦИОНИЗМ — направление в основаниях математики, полагающее критерием убедительности доказательства интуитивную ясность каждого его шага; не признаёт т. н. абстракцию актуальной бесконечности, характерную для множеств теории …   Естествознание. Энциклопедический словарь

Книги

Другие книги по запросу «интуиционизм» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»