Павлов С.А. Объединенная метатеория логической семантики. Онтологическое обоснование и построение логики.

В монографии рассматривается объединенная метатеория логической семантики, включающая в себя основные и совместимые между собой положения семантик логик Буля и Фреге, метатеории семантики логик, имеющих многозначную интерпретацию и метанауку из семантической теории истины Тарского.Область определения логических операторов расширяется на универсум символьных выражений языка, что увеличивает выразительные возможности языка логики применительно к формальной философии.Построены семантики ряда логик, включая логики истины фон Вригта, логики Белнапа для компьютерных рассуждений. Отправляясь от трех измерений семиозиса Ч. Морриса, с учетом четырех компонентов процесса семиозиса построен тетраэдр семиозиса.