Егорычев, Илья Эдуардович (кандидат философских наук). Вынуждение как истинностная процедура [Текст] / И. Э. Егорычев> // Вестник Санкт-Петербургского университета. Сер. 6, Философия, культурология, политология, право, международные отношения. - 2013. - Вып. 4. - С. 12-20 . - ISSN 1995-0055
Рубрики: Логика Логическое учение о методе Кл.слова (ненормированные): аксиоматическое решение -- истина -- континуум-гипотеза -- онтология -- субъект -- теория доказательств -- теория множеств -- форсинг Аннотация: В статье обосновывается идея того, что метод форсинга, открытый американским математиком Полом Коэном, не только стал чрезвычайно эффективной логической техникой и широко применяется в теории доказательств, но имеет еще и сугубо онтологические следствия. Несмотря на то, что все истины производятся Субъектом, они остаются при этом истинами мира. Доп.точки доступа: Коэн, П. Дж. (математик ; 1934-2007) Нет сведений об экземплярах (Источник в БД не найден) |