Динамический подход к деонтической логике: семантика нормативных операторов
Кислов Алексей Геннадьевич
В статье представлена семантика деонтической логики, реализуемая на основе динамической логики высказываний. Стандартная версия такой реляционной семантики (Дж.-Дж. Ч. Мейера) использует семантическую идею А.
Логика матриц и анализ повествовательных структур нормального языка, опосредованных логической формо
Нехаев А. В.
В статье предлагается проект логики матриц, призванной стать инструментом, обеспечивающим операции над истинностным значением таких референциально непрозрачных повествовательных структур нормального языка, как мнения.
Объединение нормальных и ненормальных модальных логик в одной аксиоматической системе философской эп
Лобовиков В.О.
Впервые в аналитической философии универсальная теория знания точно формулируется и определяется как аксиоматическая система. Для ее формулировки используются четыре схемы аксиом.