Словарь логики

ИНТУИЦИОНИЗМ

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

  1. интуиционизм—в математике философское направление отвергающее теоретикомножественную трактовку математики и считающее интуицию См. Интуиция единственным источником математики и главны...Большая Советская энциклопедия II
  2. интуиционизм—ИНТУИЦИОНИЗМ направление в основаниях математики полагающее критерием убедительности доказательства интуитивную ясность каждого его шага не признает т. н. абстракцию акту...Большой энциклопедический словарь III
  3. интуиционизм—ИНТУИЦИОНИЗМ направление в основаниях математики полагающее критерием убедительности доказательства интуитивную ясность каждого его шага не признает т. н. абстракцию акт...Большой Энциклопедический словарь V
  4. интуиционизм—метод философского анализа основанный на интуиции. Последовательный представитель этого метода Бергсон....Евразийская мудрость от А до Я
  5. интуиционизм—направление в основаниях математики полагающее критерием убедительности доказательства интуитивную ясность каждого его шага не признат т. н. абстракцию актуальной бесконе...Естествознание. Энциклопедический словарь
  6. интуиционизм—ИНТУИЦИОНИЗМ а м. intuitionnisme ampLTлат. мат. Одно из направлений в философии математики в котором подвергаются критике основания теории множествem. Интуиционист а м. К...Исторический словарь галлицизмов русского языка
  7. интуиционизм—совокупность философских и математич. идей и методов рассматривающих математику как науку об умственных построениях. С точки зрения И. основным критерием истинности матем...Математическая энциклопедия
  8. интуиционизм—Начальная форма Интуиционизм винительный падеж единственное число мужской род неодушевленное...Морфологический разбор существительных
  9. интуиционизм—метод философского анализа основанный на интуиции. Последовательный представитель этого метода Бергсон....Новый философский словарь
  10. интуиционизм—интуиционизм интуиционизм а...Орфографический словарь
  11. интуиционизм—u м...Орфографический словарь русского языка
  12. интуиционизм—Орфографическая запись слова интуиционизм Ударение в слове интуиционизм Деление слова на слоги перенос слова интуиционизм Фонетическая транскрипция слова интуиционизм [н...Полный фонетический разбор слов
  13. интуиционизм—интуиционизм а...Русский орфографический словарь
  14. интуиционизм—intuitionism...Русско-английский морской словарь
  15. интуиционизм—m....Русско-английский словарь математических терминов
  16. интуиционизм—intuitionism...Русско-английский словарь по машиностроению
  17. интуиционизм—intuitionism...Русско-английский технический словарь
  18. интуиционизм—нтуцыянзм...Русско-белорусский математический словарь
  19. интуиционизм—интуиционизм...Русско-казахский терминологический словарь «Философия и политология»
  20. интуиционизм—матем. нтуцонзм му...Русско-украинский политехнический словарь
  21. интуиционизм—интуиционизм лат.em одно из направлений в философия математики в котором подвергаются критикеоснования теории множеств интуиционисты считают интуицию основным критерием с...Словарь иностранных слов русского языка
  22. интуиционизм—ИНТУИЦИОНИЗМ направление в обосновании математики и логики согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядносодержатель...Словарь по логике
  23. интуиционизм—направление в основаниях математики и логики признающее главным и единственным критерием правомерности методов и результатов этих наук их интуитивную наглядносодержат. уб...Советский философский словарь
  24. интуиционизм—ИНТУИЦИОНИЗМ направление в основаниях математики полагающее критерием убедительности доказательства интуитивную ясность каждого его шага не признает т. н. абстракцию акту...Современный энциклопедический словарь
  25. интуиционизм—интуиционизм [...Толковый словарь иностранных слов
  26. интуиционизм—Ударение в слове интуиционизмУдарение падает на букву иБезударные гласные в слове интуиционизм...Ударение и правописание
  27. интуиционизм—учение об основаниях математики и логики признающее главным критерием интуитивную наглядносодержательную убедительность....Философия науки. Эпистемология. Методология. Культура
  28. интуиционизм—ИНТУИЦИОНИЗМ от позднелат. intuitio от лат. intueor пристально смотрю направление в обосновании математики и логики согласно которому конечным критерием приемлемости ме...Философская энциклопедия
  29. интуиционизм—филос. направление в математике и логике отказывающееся от использования идеи актуальной бесконечности отвергающее логику как науку предшествующую математике и рассматрив...Философская Энциклопедия (в 5 томах)
  30. интуиционизм—лат. учение об интуиции как самом главном и самом надежном источнике познания....Философский энциклопедический словарь II
  31. интуиционизм—лат. учение об интуиции как самом главном и самом надежном источнике познания....Философский энциклопедический словарь
  32. интуиционизм—Тмин Тиун Тимин Тим Оун Оним Омут Озу Нут Нтц Нто Ноу Ном Ниц Нитон Нит Нии Низом Низ Муцин Мутон Мутно Мунит Музон Тоз Том Томин Тон Туз Мотин Мот Монт Тун Тунин Узи Мит...Электронный словарь анаграмм русского языка
  33. интуиционизм—ИНТУИЦИОНИЗМ направление в основаниях математики полагающее критерием убедительности доказательства интуитивную ясность каждого его шага не признает т. н. абстракцию акт...Энциклопедический словарь естествознания
  34. интуиционизм—ИНТУИЦИОНИЗМ одно из трех главных направлений наряду с логицизмом и формализмом традиционно выделяемых в основаниях математики. Для общей характеризации направлений выро...Энциклопедия эпистемологии и философии науки