Комбинированные паранепротиворечивые логики и их (ко)экспоненциалы

Комбинированные логики предложений и событий состоят из двух частей: внешней логики, зависящей от эпистемологических допущений, и внутренней логики, зависящей от онтологических допущений. Комбинированные логики были разработаны В.А. Смирновым следуя идеям Г. Фреге и Н. Васильева. Анализ структуры комбинированных логик обнаруживает, что фактически они используют связи между двумя логическими системами, постулируя в роли онтологической части алгебры, служащие моделями соответствующих логик. Это наводит на мысль рассмотреть системы, описывающие взаимоотношение двух логик на синтаксическом уровне, когда у нас есть доступ к этим логикам без посредничества их моделей. В роли подобных систем могут быть использованы так называемые коэкспоненциалы и экспоненциалы, разработанные в [15]. В статье рассматривается случай двух паранепротиворечивых комбинированных логик (с паранепротиворечивыми алгебрами в качестве их онтологических частей).

комбинированные логики, дискурсивная логика Яськовского, паранепротиворечивые логики да Косты, перевод, (не)ограниченная возможная переводимость