Драгалина-Черная, Е. Г. Логика и онтология в формальной философии В. А. Смирнова [Текст] / Е. Г. Драгалина-Черная> // Вопросы философии. - 2009. - N 3. - С. 108-118. - Библиогр. в сносках . - ISSN 0042-8744
Рубрики: Философия Философия России и СССР Кл.слова (ненормированные): философы -- формальная философия -- логические законы -- онтология -- история философии Аннотация: В статье показаны результаты, полученные В. А. Смирновым в формальных реконструкциях философских проблем и концепций. Доп.точки доступа: Смирнов, В. А. |
Лобовиков, Владимир Олегович. Метафизика Парменида с точки зрения двузначной алгебры формальной аксиологии и метафизические основания метатеоремы К. Геделя о недоказуемости непротиворечивости формальной арифметики в непротиворечивой формальной арифметике [Текст] / В. О. Лобовиков> // Известия Уральского государственного университета. Сер. 3, Общественные науки. - 2011. - N 3 (94). - С. 13-27. - Библиогр.: с. 27 (13 назв. ) . - ISSN 0131-2227
Рубрики: Философия Метафизика. Онтология Теория познания Логика Общие вопросы логики Кл.слова (ненормированные): логика науки -- философия математики -- метаматематика -- формальная философия -- непротиворечивость формальной арифметики -- дискретные математические модели -- аксиология -- формальная аксиология -- формальная арифметика -- метатеорема Геделя -- Геделя метатеорема Аннотация: Статья посвящена построению и изучению дискретных математических моделей: формально-аксиологического аспекта метафизики элеатов; формально-аксиологического аспекта философских оснований математики. Нет сведений об экземплярах (Источник в БД не найден) |