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

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

Область определения логических операторов расширяется на универсум символьных выражений языка, что увеличивает выразительные возможности языка логики применительно к формальной философии.

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

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