Научный отчет за 2011 год

Кафедра истории и философии науки

Зав. кафедрой – доктор филос. наук В.Л. Васюков

Исследована проблема онтологических допущений языка. В случае формальных языков онтологические допущения нуждаются в точной формулировке, которая позволяет рассмотреть некоторую версию типологии этих допущений (Васюков В.Л. Логическая семантика и внутренняя онтология языка).

Построена теоретико-категорная семантика, основанная на конструкции категории специального вида – топосе функторов из релевантной алгебры (рассматриваемой как категория предпорядка со специальными эндофункторами) в категорию множеств. Доказана полнота системы релевантной логики R по отношению к данной построенной семантике (Васюков В.Л. Paraconsistency in Categories: Case of Relevant Logic).

Получен случай двух паранепротиворечивых логик, имеющих паранепротиворечивые алгебры в качестве своей онтологической части (Васюков В.Л. Combined Paraconsistent Logics and their (Co)Exponentials).