Левченко, А. С. К проблеме онто-гносеологического истолкования оснований арифметики в течении интуиционизма [Текст] / Левченко А. С. // Вестник Оренбургского государственного университета. - 2008. - N 9 (91), сентябрь. - С. 10-15. - Библиогр.: с. 15 (5 назв. ) . - ISSN 1814-6457
Рубрики: Математика Общие вопросы математики Философия Общие вопросы философии Кл.слова (ненормированные): математики -- интуиционизм -- интуиционисты -- философия математики -- арифметические понятия -- арифметика -- онто-гносеологическое истолкование -- онтология -- гносеология -- природа математических истин -- интуиционистская математика -- натуральные числа -- континуум Аннотация: На основе работ А. Гейтинга, Г. Вейля и А. Пуанкаре выявляются онтологические и теоретико-познавательные установки программы интуиционизма в истолковании таких исходных арифметических понятий как натуральное число, следование в ряду натуральных чисел, континуум и пр. Обосновывается утверждение, что в интуиционистских программах обоснования математики, в числе прочего, закладываются предпосылки объективистского, реалистического истолкования природы математических истин и объектов. Доп.точки доступа: Гейтинг, А.; Вейль, Г.; Пуанкаре, А. |
Грехэм, Лорен (профессор Массачусетского технологического института). Сила в численности и разнообразии [Текст] : беседа с проф. Массачусет. технолог. ин-та / Л. Грехем ; вел Ю. Нешитов // Инновации. - 2008. - N 6. - С. 26-27 : фот.
Рубрики: Наука. Науковедение Общие вопросы науки Кл.слова (ненормированные): философия науки -- философия математики -- наука и общество -- конференции Аннотация: О роли науки в современном мире размышляет профессор Массачусетского технологического института Лорен Грехэм. Доп.точки доступа: Нешитов, Ю. \.\; Математика и философия, конференция |
Алябьев, Д. И. Об онтологических и гносеологических аспектах истолкования логики в направлении формализма [Текст] / Алябьев Д. И. // Вестник Оренбургского государственного университета. - 2009. - N 7 (101), июль. - С. 113-118. - Библиогр.: с. 118 (8 назв. ) . - ISSN 1814-6457
Рубрики: Философия Теория познания Кл.слова (ненормированные): математический формализм -- онтология -- гносеология -- философия математики -- природа математики -- логические истины -- философия Аннотация: Проведено исследование онтологических и гносеологических установок, явно и имплицитно содержащихся в истолковании логических истин и объектов, логической состовляющей основ математики в концепциях формализма. |
Симанов, А. Л. Философия науки в Новосибирском научном центре [Текст] / А. Л. Симанов // Гуманитарные науки в Сибири. - 2007. - N 1. - С. 8-10 . - ISSN 0869-8651
Рубрики: Философия--Россия--СССР--Сибирь; Новосибирск Философия науки Кл.слова (ненормированные): философия естествознания -- детерминизм -- теория значения -- теория семантической информации -- модальная логика -- структурализм -- семиотика -- философия математики Аннотация: Статья раскрывает значение деятельности члена-корреспондента РАН Г. А. Свечникова и его последователей в работе Института истории, филологии и философии СО РАН. Доп.точки доступа: Свечников, Г. А. (философ ; 1918-1974); Сибирское отделение РАН \институт истории, филологии и философии\ |
Хлебалин, Александр Валерьевич (канд. филос. наук). Онтологические обязательства неустранимости математики [Текст] / Александр Валерьевич Хлебалин // Вестник Томского государственного университета. Философия. Социология. Политология. - 2009. - N 4 (8). - С. 60-68. - Библиогр.: с. 67-68 (9 назв. ) . - ISSN 1998-863X
Рубрики: Философия Метафизика. Онтология Кл.слова (ненормированные): философия математики -- математика -- естественно-научная теория -- онтология математики Аннотация: Проанализирована оправданность использования тезиса о неустранимости математики из состава естественно-научной теории в качестве аргумента в пользу математического реализма. |
Султанова, Линера Байраковна (д-р. филос. наук). Математический интеллект в когнитивных исследованиях [Текст] / Л. Б. Султанова // Вестник Томского государственного университета. Философия. Социология. Политология. - 2010. - N 2 (10). - С. 64-71. - Библиогр.: с. 71 (6 назв. ) . - ISSN 1998-863X
Рубрики: Философия Философия науки Кл.слова (ненормированные): когнитивные исследования -- математический интеллект -- структура мышления -- математическое познание -- философия математики -- человеческое мышление -- математическое мышление -- материалы конференций Аннотация: Рассматривается вопрос о роли и значении структур математического интеллекта в когнитивных исследованиях. При этом под математическим интеллектом понимаются такие структуры мышления, посредством деятельности которых осуществляется математическое познание: одними из них являются основания математики. Нет сведений об экземплярах (Источник в БД не найден) |
Суровцев, Валерий Александрович (доктор философских наук). Б. Рассел о бесконечности [Текст] / В. А. Суровцев // Вестник Томского государственного университета. Философия. Социология. Политология. - 2010. - N 4 (12). - С. 135-145. . - Библиогр.: с. 145 (9 назв. )
Рубрики: Логика Логические формы и законы Кл.слова (ненормированные): бесконечность -- аксиома бесконечности -- аксиоматизация арифметики -- натуральные числа -- предложение логики -- философия математики -- рефлексивные классы -- математики -- философы -- логики Аннотация: Рассматривается идея бесконечности, без которой невозможна математика. Она необходима из-за некоторых черт определения натурального числа и аксиоматизации арифметики Дж. Пеано. Рассел трактует аксиому бесконечности как содержательное высказывание о мире. Доп.точки доступа: Рассел, Б. А. У. (математик; философ); Пеано, Д. (математик); Фреге, Ф. Л. Г. (логик; математик); Кантор, Г. Ф. Л. Ф. (математик) Нет сведений об экземплярах (Источник в БД не найден) |
Букин, Дмитрий Николаевич (кандидат философских наук, доцент). Математическая рациональность и ее онтологические основания [Текст] / Д. Н. Букин // Вестник Волгоградского государственного университета. Сер. 7, Философия. Социология и социальные технологии. - 2010. - N 2 (12). - С. 31-37. . - Библиогр.: с. 36-37 (15 назв. )
Рубрики: Философия Метафизика. Онтология Математика Общие вопросы математики Кл.слова (ненормированные): закономерности реальности -- Кантора теорема -- картина мира -- категориальный анализ -- категория сущности -- категория явления -- математическая рациональность -- математические объекты -- математическое мышление -- модальность -- модальные категории -- модальные онтологии -- научная рациональность -- онтологические категории -- описание мира -- познание математических объектов -- понятие меры -- рациональное познание -- рациональность -- теорема Кантора -- философия математики -- философы -- ученые Аннотация: Рассматривается проблема математической рациональности как важной культурной ценности человеческой цивилизации. Обосновывается применение категориального анализа для изучения онтологических оснований математической рациональности. Анализируется связь ключевых математических понятий с системой онтологических и модальных категорий. Доп.точки доступа: Автономова, Н. С. (доктор философских наук); Визгин, В. П.; Кассирер, Э. (1874-1945); Вебер, М. (1864-1920); Гутнер, Г. (кандидат философских наук); Гуссерль, Э. (1859-1938); Бадью, А.; Доманов, О. А.; Курант, Р. (1888-1972); Фрейсине, Ш.; Миронов, В. В. (доктор философских наук, профессор, член-корреспондент РАН ; 1953-); Иванов, А. А.; Тульчинский, Г. Л.; Эпштейн, М. Н. (1950-); Кудряшев, А. Ф. Нет сведений об экземплярах (Источник в БД не найден) |
Лобовиков, Владимир Олегович. Логико-философское обоснование гипотезы о формально-этической противоречивости формальной арифметики, исследованной К. Геделем [Текст] / В. О. Лобовиков // Известия Уральского государственного университета. Сер. 3, Общественные науки. - 2011. - N 1 (88). - С. 14-28. . - Библиогр.: с. 27-28 (17 назв. )
Рубрики: Философия Теория познания Метафизика. Онтология Математика Математическая логика Кл.слова (ненормированные): философия математики -- этика математики -- формально-логическая непротиворечивость -- формально-этическая противоречивость -- аналитическая философия Аннотация: Статья посвящена формально-этическому аспекту философии математики. Автор выносит на обсуждение результаты исследования отношений между формально-логической непротиворечивостью и формально-этической противоречивостью. Доп.точки доступа: Гедель, К. Нет сведений об экземплярах (Источник в БД не найден) |
Лобовиков, Владимир Олегович. Метафизика Парменида с точки зрения двузначной алгебры формальной аксиологии и метафизические основания метатеоремы К. Геделя о недоказуемости непротиворечивости формальной арифметики в непротиворечивой формальной арифметике [Текст] / В. О. Лобовиков // Известия Уральского государственного университета. Сер. 3, Общественные науки. - 2011. - N 3 (94). - С. 13-27. . - Библиогр.: с. 27 (13 назв. )
Рубрики: Философия Метафизика. Онтология Теория познания Логика Общие вопросы логики Кл.слова (ненормированные): логика науки -- философия математики -- метаматематика -- формальная философия -- непротиворечивость формальной арифметики -- дискретные математические модели -- аксиология -- формальная аксиология -- формальная арифметика -- метатеорема Геделя -- Геделя метатеорема Аннотация: Статья посвящена построению и изучению дискретных математических моделей: формально-аксиологического аспекта метафизики элеатов; формально-аксиологического аспекта философских оснований математики. Нет сведений об экземплярах (Источник в БД не найден) |
Бессонов, Александр Владимирович (доктор философских наук). К интерпретации теорем Геделя о неполноте арифметики [Текст] / А. В. Бессонов // Вестник Томского государственного университета. Философия. Социология. Политология. - 2011. - N 4 (16). - С. 177-189. . - Библиогр.: с. 189 (17 назв. )
Рубрики: Математика Математическая логика Философия Теория познания Кл.слова (ненормированные): философия математики -- математики -- теоремы Геделя -- Геделя теоремы -- неполнота арифметики -- теоремы о неполноте -- предикат недоказуемости -- представление знания Аннотация: Опровергается общепринятое универсальное ограничительное истолкование знаменитых теорем Курта Геделя о неполноте арифметики. Доп.точки доступа: Гедель, К. (австрийский математик ; 1906-1978) Нет сведений об экземплярах (Источник в БД не найден) |
Букин, Дмитрий Николаевич (кандидат философских наук; докторант). О взаимосвязи математического знания и объективной реальности [Текст] / Д. Н. Букин // Вестник Томского государственного университета. - 2012. - № 356 (март). - С. 48-52. . - Библиогр.: с. 52 (23 назв.)
Рубрики: Философия Философия науки Кл.слова (ненормированные): философия математики -- онтология математики -- объективная реальность -- математическое мышление -- математическое познание -- реализм -- конструктивизм Аннотация: Исследование взаимосвязи между объективной реальностью и практико-ориентированными структурами математического мышления. Нет сведений об экземплярах (Источник в БД не найден) |
Ладов, Всеволод Адольфович (доктор философских наук). Аналитическое определение числа, парадокс Рассела и теория типов [Текст] / В. А. Ладов, И. А. Эннс // Вестник Томского государственного университета. Философия. Социология. Политология. - 2012. - № 2 (18). - С. 13-20. - Библиогр.: с. 20 (7 назв.). - полный текст статьи см. на сайте Научной электронной библиотеки http://elibrary.ru
Рубрики: Философия Философия науки Кл.слова (ненормированные): математика -- философия математики -- парадоксы -- парадокс Рассела -- Рассела парадокс -- теория типов -- аксиома бесконечности -- числа -- классы -- множества -- философы -- логики Аннотация: Рассматривается определение числа у Готлоба Фреге. Подход Г. Фреге сравнивается со взглядами Иммануила Канта. Демонстрируется оригинальность и приоритет фрегевского подхода. Рассматриваются недостатки определения числа у Г. Фреге, выявленные Бертраном Расселом. Дается критическая оценка исследований Б. Рассела. Доп.точки доступа: Эннс, Ирина Андреевна (кандидат философских наук); Фреге, Г. (немецкий логик ; 1848-1925); Кант, И. (немецкий философ ; 1724-1804); Рассел, Б. А. В. (английский логик ; 1872-1970) Нет сведений об экземплярах (Источник в БД не найден) |
Лобовиков, Владимир Олегович (доктор философских наук). Солипсизм как "ошибка счета" в двузначной алгебре метафизики [Текст] : (дискретная математическая модель ценностного аспекта философии ощущений: Д. Беркли, Д. Юм, Д. Локк, Э. Мах, А. Богданов) / В. О. Лобовиков // Вестник Томского государственного университета. Философия. Социология. Политология. - 2012. - № 2 (18). - С. 21-28 : табл. - Библиогр.: с. 28 (12 назв.). - полный текст статьи см. на сайте Научной электронной библиотеки http://elibrary.ru
Рубрики: Философия Философия науки Кл.слова (ненормированные): философия математики -- алгебра -- алгебра метафизики -- двузначная алгебра метафизики -- философия ощущений -- математические модели -- философы -- солипсизм -- формальная аксиология -- ценностные функции Аннотация: Формально-аксиологическое исследование философских споров о мире как комплексе ощущений осуществляется в статье на уровне искусственного языка, строгих определений и точных "вычислений" ценностных функций. В рамках построенного таким образом двузначной алгебры метафизики, скандально известный солипсизм оказывается не чем иным, как "ошибкой счета". Доп.точки доступа: Беркли, Д. (английский философ ; 1685-1753); Юм, Д. (английский философ ; 1711-1776); Локк, Д. (английский философ ; 1632-1704); Мах, Э. (философ ; 1838-1916); Богданов, А. Нет сведений об экземплярах (Источник в БД не найден) |
Суровцев, Валерий Александрович (доктор философских наук). Ф. П. Рамсей и интуиционизм Г. Вейля [Текст] / В. А. Суровцев, И. А. Эннс // Вестник Томского государственного университета. Философия. Социология. Политология. - 2012. - № 2 (18). - С. 173-187. - Библиогр.: с. 187 (15 назв.). - полный текст статьи см. на сайте Научной электронной библиотеки http://elibrary.ru
Рубрики: Философия Всемирная история философии Кл.слова (ненормированные): математики -- логики -- философия математики -- логицизм -- интуиционизм -- вариативные гипотетические выражения -- гипотетические выражения -- экзистенциальные утверждения -- общие утверждения -- утверждения Аннотация: Рассматривается эволюция взглядов Франка Пеннинстона Рамсея на философию математики. Показано, что он отходит от программы логицизма в основаниях математики и развивает взгляды, близкие "умеренному" интуиционизму Германа Вейля. Доп.точки доступа: Эннс, Ирина Андреевна (кандидат философских наук); Рамсей, Ф. П. (математик ; 1903-1930); Вейль, Г. (немецкий математик ; 1885-1955) Нет сведений об экземплярах (Источник в БД не найден) |
Букин, Д. Н. Коррелятивная онтология математики: проблемы и перспективы [Текст] / Д. Н. Букин // Известия Волгоградского государственного технического университета. Сер.: Проблемы социально-гуманитарного знания. - 2012. - № 8. - С. 5-8. - Библиогр.: с. 8 (10 назв. ) . - ISSN 1990-5297
Рубрики: Философия Философия науки Кл.слова (ненормированные): математические объекты -- философия математики -- коррелятивная онтология математики -- онтологические категории -- онтология математики -- основания математики -- обоснование математики -- математическое мышление Аннотация: Обосновывается применение релятивной онтологии для изучения оснований математики. Нет сведений об экземплярах (Источник в БД не найден) |
Федосеев, Виктор Михайлович (доцент). Культура как категория дидактики в математическом образовании [Текст] / В. М. Федосеев // Вопросы культурологии. - 2012. - № 9 (сентябрь). - С. 45-50. - Библиогр.: с. 49-50 (10 назв.) . - ISSN 2073-9702
Рубрики: Философия Теория познания Математика Общие вопросы математики Кл.слова (ненормированные): культура -- образовательная среда -- математическое образование -- дидактика -- философия математики -- разум -- мышление Аннотация: Культура рассматривается как сущностное понятие для математического образования, определяющее цели и влияющее на его содержание. Обсуждается, каким образом возможно использование культурологического подхода в математике. Конструктивная реализация данной концепции связывается с понятиями образовательной среды и задачами развития мышления. Доп.точки доступа: Музиль, Р. (писатель; драматург; эссеист ; 1880-1942); Крылов, А. Н. (математик ; 1863-1945); Гаусс, К. Ф. (немецкий математик ; 1777-1855); Лежандр, А. М. (французский математик ; 1752-1833); Клейн, Ф. (немецкий математик; педагог ; 1849-1925); Арнольд, В. И. (математик; академик РАН ; 1937-2010); Ильенков, Э. В. (философ ; 1924-1979); Ортега-и-Гассет, Х. (испанский философ; социолог ; 1883-1955); Александров, А. Д. (математик; физик; философ ; 1912-1999); Лузин, Н. Н. (математик ; 1883-1950); Шпет, Г. Г. (философ-идеалист ; 1879-1940); Гегель, Г. В. (философ ; 1770-1831); Всероссийский съезд учителей математики Нет сведений об экземплярах (Источник в БД не найден) |
Букин, Дмитрий Николаевич (кандидат философских наук; докторант). Онтологическое обоснование математики [Текст] / Д. Н. Букин // Вестник Волгоградского государственного университета. Сер. 7, Философия. Социология и социальные технологии. - 2012. - № 2 (17). - С. 25-28. - Библиогр.: с. 28 (10 назв. ) . - ISSN 1998-9946
Рубрики: Математика Общие вопросы математики Философия Метафизика. Онтология Кл.слова (ненормированные): категории отношений -- коррелятивная онтология -- коррелятивный подход -- математические объекты -- математические субъекты -- объекты математики -- онтологические категории -- онтология математики -- основания математики -- отношения -- релятивная онтология -- философия математики -- философы Аннотация: Обосновано применение коррелятивного подхода в современной онтологии для изучения оснований математики. Показано, что бытие математического субъекта должно быть рассмотрено как соотношение, а в основании самой математики лежат абсолютные представления, отражающие универсальные требования к объекту с точки зрения человеческой деятельности. Доп.точки доступа: Гартман, Н. (философ); Сагатовский, В. Н. (доктор философских наук) Нет сведений об экземплярах (Источник в БД не найден) |
Букин, Д. Н. (кандидат философских наук; докторант). Онтологические предпосылки математического моделирования процессов социальной модернизации [Текст] / Д. Н. Букин // Вестник Волгоградского государственного университета. Сер. 7, Философия. Социология и социальные технологии. - 2012. - № 3 (18). - С. 27-32. - Библиогр.: с. 32 (10 назв. ) . - ISSN 1998-9946
Рубрики: Философия Метафизика. Онтология Социальная философия Общество как социальная реальность Математика Общие вопросы математики Кл.слова (ненормированные): математики -- математические модели -- математическое моделирование -- математическое познание -- моделирование -- моделирование социальных процессов -- модернизация -- онтологические категории -- онтологические основания -- социальная динамика -- социальная модернизация -- социально-гуманитарное знание -- социальные объекты -- социальные процессы -- философия математики -- философы -- экспертные системы Аннотация: Показано, что онтологическими предпосылками математического моделирования социальных процессов выступают абсолютные представления, отражающие универсальные требования к социальному объекту с точки зрения человеческой деятельности. В основании процесса социальной модернизации эти представления являют собой сетку всеобщих онтологических категорий причины, следствия, времени, дискретности и др. Доп.точки доступа: Самарский, А. А.; Шведовский, В. А.; Биркгофф, Г. (американский математик); Перминов, В. Я. (российский философ математики) Нет сведений об экземплярах (Источник в БД не найден) |
Целищев, Виталий Валентинович (доктор философских наук). Формальные онтологии и семантика примитивных концепций оснований математики [Текст] / В. В. Целищев // Вестник Томского государственного университета. Философия. Социология. Политология. - 2013. - № 4 (24). - С. 55-70. - Библиогр.: с. 69-70 (20 назв.). - полный текст статьи см. на сайте Научной электронной библиотеки http://elibrary
Рубрики: Философия Философия науки Кл.слова (ненормированные): математика -- философия математики -- онтология -- семантика -- математические системы -- примитивные термины -- примитивные концепции -- немецкие математики Аннотация: Проблемы экспликации семантического статуса примитивных концепций оснований математики в системах Готлоба Фреге, Давида Гильберта. Доп.точки доступа: Фреге, Г. (логик ; 1848-1925); Гильберт, Д. (немецкий математик ; 1862-1943) Нет сведений об экземплярах (Источник в БД не найден) |