Формальные онтологии и семантика примитивных концепций оснований математики

Формальные онтологии и семантика примитивных концепций оснований математики

Анализируются проблемы экспликации семантического статуса примитивных концепций оснований математики в системах Г. Фреге, Р. Кронекера и Д. Гильберта. В центре внимания стоит проблема адекватности обоснования математических систем двумя способами: через определение концепций и аксиоматикой. Концепту...

Полное описание

Библиографическая информация
Опубликовано в: :	Вестник Томского государственного университета. Философия. Социология. Политология № 4. С. 55-70
Главный автор:	Целищев, Виталий Валентинович
Формат:	Статья в журнале
Язык:	Russian
Предметы:	онтология семантика концепции основания математики статьи в журналах
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001130622

Похожие документы

Универсальная характеристика Г. В. Лейбница и перспективные разработки в области оснований математики
по: Ламберов, Лев Дмитриевич

Онтология математики: объекты и структуры
по: Целищев, Виталий Валентинович
Публикация: (2003)

Условия познания в контексте постметафизической онтологии
по: Гапонов, Александр Сергеевич

Онтологические обязательства неустранимости математики
по: Хлебалин, Александр Валерьевич

Устройство философской головоломки по Витгенштейну (кембриджские лекции по основаниям математики)
по: Родин, Кирилл Александрович

Доказательство против понимания в математическом доказательстве
по: Целищев, Виталий Валентинович

Концептуальная семантика информационного портала проектной организации

Вопрос о соотношении языка, мышления и онтологии и типизация составляющих языка в связи с познавательной функцией языка (на материале искусственных языков науки)
по: Филипповский, Виталий Александрович

Философские проблемы оснований математики: монография/
по: Рузавин, Г. И.
Публикация: (1983)

Специфика семантического выражения онтологических оснований мифологического сознания: автореферат диссертации ... кандидата философских наук : 09.00.01/
по: Кухта, М. С. Мария Сергеевна
Публикация: (1998)

Неправдоподобность фикционализма в философии математики
по: Целищев, Виталий Валентинович

Эпистемология математического доказательства
по: Целищев, Виталий Валентинович
Публикация: (2006)

История математики. Эволюция математических идей [в 3 кн.]
по: Серовайский, Семен Яковлевич
Публикация: (2019)

Сибирский математический журнал
Публикация: (1960)

Collected works
по: Goedel, Kurt
Публикация: (2001)

Начальныя основания математики Авраама Готгелфа Кестнера великобританскаго надворнаго советника, профессора математики и физики Геттингскаго ученаго общества и разных академий члена
по: Кестнер, Абрахам Готхельф 1719-1800
Публикация: (1792)

Математика. Утрата определенности
по: Клайн, Морис 1908-1992
Публикация: (1984)

Философско-методологические вопросы математики Основная советская литература (1959-1981 гг. )
Публикация: (1981)

Понятие доказательства в контексте теоретико-типового подхода, I: доказательство программ
по: Ламберов, Лев Дмитриевич

Семантический анализ аскриптивных выражений
по: Андрушкевич, Александр Геннадьевич

Начальныя основания математики Авраама Готгелфа Кестнера великобританскаго надворнаго советника, профессора математики и физики Геттингскаго ученаго общества и разных академий члена
по: Кестнер, Абрахам Готхельф 1719-1800
Публикация: (1794)

Знаки онтологии в Конституции Российской Федерации
по: Юсубов, Эльман Сулейманович

Понятие информации в контексте онтологии научного реализма
по: Ладов, Всеволод Адольфович

Основания категории "духовность" в онтологии трансцендентного космизма монография
по: Ковалева, Галина Петровна
Публикация: (2014)

Онтологический аспект сознания в современных философских концепциях
по: Логиновская, Юлия Владимировна

Антропологизация оснований науки: переход от гносеологии к онтологии познания
по: Завьялова, Маргарита Павловна 1939-

Эстетические основания философской онтологии
по: Найман, Евгений Артурович
Публикация: (2004)

Российские математики о науке и философии
по: Баранец, Наталья Григорьевна
Публикация: (2012)

Очерки по истории математики
по: Бурбаки, Никола
Публикация: (1963)

Критика искусственного разума: построение мета-онтологии
по: Габрусенко, Кирилл Александрович

К онтологии веры
по: Жданова, Маргарита Валентиновна

Введение в проблемы онтологии История как процесссамовозвышения человеческой субъективности
по: Ускеев, Сергей Шоенович
Публикация: (1993)

История математики учебное пособие
по: Максимова, Ольга Дмитриевна
Публикация: (2016)

Прагматический поворот в постметафизической онтологии: автореферат диссертации на соискание ученой степени доктора философских наук. 09.00.03, 09.00.01/
по: Борисов, Е. В. Евгений Васильевич
Публикация: (2010)

Краткий курс оснований и фундаментов
по: Курдюмов, В. И.
Публикация: (1902)

Нестабильные онтологии в современной философии
по: Жеребкин, Сергей Васильевич
Публикация: (2016)

Интенсиональный модус в математическом дискурсе: "прыжок веры" и математическая практика
по: Целищев, Виталий Валентинович

Эстетизм хайдеггеровской онтологии
по: Найман, Евгений Артурович

N-имины пиридиновых оснований
по: Садыков, Абид Садыкович
Публикация: (1982)

Понятие доказательства в контексте теоретико-типового подхода, II: доказательства теорем
по: Ламберов, Лев Дмитриевич