name: АКСИОМАТИЧЕСКАЯ АРХИТЕКТУРА НАУЧНЫХ ТЕОРИЙ
keyword_list: гомотопическая теория типов теория категорий конструктивная теория историческая эпистемология логический анализ научного знания представление знаний Аксиоматический метод
abstract: Актуальность темы исследования. 
  Вопрос об аксиоматической архитектуре научных теорий находится в поле внимания логиков, методологов и философов науки начиная с первых десятилетий ХХ-го века. В последние годы этот вопрос приобрел особенно важное значение в связи с развитием и распространением компьютерных технологий представления знаний. В диссертации проанализированы передовые практики использования аксиоматического метода в математике и описаны перспективы использования этого метода в естественных и прикладных науках. Научная новизна. В представленной диссертации описана оригинальная конструктивная аксиоматическая архитектура теорий, которая может быть использована в технологиях компьютерного представления знаний. Отличительной чертой этой формальной архитектуры является то, что она позволяет комбинировать логические и вне вне-логические конструктивные процедуры в рамках единой системы формальных правил, допускающих вычислительную реализации. В диссертации также впервые исследован исторический и эпистемологический контекст создания в первом десятилетии  ХХI-го века гомотопической теории типов, которая является прототипом конструктивной аксиоматической теории
chairman_dissertation_council.name: Лада
chairman_dissertation_council.surname: Шиповалова
chairman_dissertation_council.patronymic: Владимировна
chairman_dissertation_council.position: Заведующая Каферой философии науки и техники
chairman_dissertation_council.degree: Доктор философских наук
chairman_dissertation_council.rank: Доцент
chairman_dissertation_council.wos_research_id: H-1513-2015
chairman_dissertation_council.scopus_author_id: 57188744261
chairman_dissertation_council.rinc_id: 6040-9858
chairman_dissertation_council.orcid: -
chairman_dissertation_council.territory: РОССИЯ
organization_supervisor.name: Александр
organization_supervisor.surname: Гнетов
organization_supervisor.patronymic: Валентинович
organization_supervisor.position: Ученый секретарь
organization_supervisor.territory: РОССИЯ
rubrics.code: 02.15.31
rubrics.name: Познание
rubrics.code: 02.21.31
rubrics.name: Логические системы и исчисления
rubrics.code: 02.31.31
rubrics.name: Философские и методологические проблемы математических, естественных и технических наук
oecds.code: 06.03.UA
oecds.name: PHILOSOPHY
speciality_codes.name: Философия науки и техники
speciality_codes.code: 09.00.08
protection_organization.short_name: Санкт-Петербургский государственный университет, Санкт-Петербургский университет, СПбГУ
protection_organization.name: федеральное государственное бюджетное образовательное учреждение высшего образования "Санкт-Петербургский государственный университет"
protection_organization.ogrn: 1037800006089
protection_organization.organization_type: Организация
protection_organization.okogu: Правительство Российской Федерации
protection_organization.okopf: Федеральные государственные бюджетные учреждения
author_organization.short_name: Санкт-Петербургский государственный университет, Санкт-Петербургский университет, СПбГУ
author_organization.name: федеральное государственное бюджетное образовательное учреждение высшего образования "Санкт-Петербургский государственный университет"
author_organization.ogrn: 1037800006089
author_organization.organization_type: Организация
author_organization.okogu: Правительство Российской Федерации
author_organization.okopf: Федеральные государственные бюджетные учреждения