Левченко, А. С. К проблеме онто-гносеологического истолкования оснований арифметики в течении интуиционизма [Текст] / Левченко А. С.> // Вестник Оренбургского государственного университета. - 2008. - N 9 (91), сентябрь. - С. 10-15. - Библиогр.: с. 15 (5 назв. ) . - ISSN 1814-6457
Рубрики: Математика Общие вопросы математики Философия Общие вопросы философии Кл.слова (ненормированные): математики -- интуиционизм -- интуиционисты -- философия математики -- арифметические понятия -- арифметика -- онто-гносеологическое истолкование -- онтология -- гносеология -- природа математических истин -- интуиционистская математика -- натуральные числа -- континуум Аннотация: На основе работ А. Гейтинга, Г. Вейля и А. Пуанкаре выявляются онтологические и теоретико-познавательные установки программы интуиционизма в истолковании таких исходных арифметических понятий как натуральное число, следование в ряду натуральных чисел, континуум и пр. Обосновывается утверждение, что в интуиционистских программах обоснования математики, в числе прочего, закладываются предпосылки объективистского, реалистического истолкования природы математических истин и объектов. Доп.точки доступа: Гейтинг, А.; Вейль, Г.; Пуанкаре, А. |
Хаханян, В. Х. Базисный вариант аксиоматической теории множеств с подлежащей интуиционистской логикой [Текст] / В. Х. Хаханян> // Вестник Московского университета. Сер. 7, Философия. - 2008. - N 4. - С. 92-105. - Библиогр. в примеч. - Примеч.: с. 104-105 . - ISSN 0130-0091. - ISSN 0201-7385
Рубрики: Логика Общие вопросы логики Кл.слова (ненормированные): теория множеств -- математическая логика -- интуиционистская логика -- интуиционизм -- интуиционистская математика Аннотация: В статье предлагается формализованный вариант теории множеств с подлежащей интуиционистской логикой, который мог бы играть роль аксиоматической базисной системы теории множеств и был бы признаваем исследователями других направлений в основаниях математики (классиками, интуиционистами, конструктивистами и т. д. ) как нейтральный по отношению к развиваемым ими вариантами теории множеств. |