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



В монографии рассматривается объединенная метатеория логической семантики, включающая в себя основные и совместимые между собой положения семантик логик Буля и Фреге, метатеории семантики логик, имеющих многозначную интерпретацию и метанауку из семантической теории истины Тарского. Область определения логических операторов расширяется на универсум символьных выражений языка, что увеличивает выразительные возможности языка логики применительно к формальной философии. Построены семантики ряда логик, включая логики истины фон Вригта, логики Белнапа для компьютерных рассуждений. Отправляясь от трех измерений семиозиса Ч. Морриса, с учетом четырех компонентов процесса семиозиса построен тетраэдр семиозиса. Скачать содержание книги С.А. Павлова «Объединенная метатеория логической семантики: онтологическое обоснование и построение логики.
Перейти к описанию и характеристикамИздательство | Канон+ |
Серия | Библиотека аналитической философии |
Год издания | 2019 |
ISBN | 978-5-88373-576-8 |
Вес, г | 309 |
В монографии рассматривается объединенная метатеория логической семантики, включающая в себя основные и совместимые между собой положения семантик логик Буля и Фреге, метатеории семантики логик, имеющих многозначную интерпретацию и метанауку из семантической теории истины Тарского. Область определения логических операторов расширяется на универсум символьных выражений языка, что увеличивает выразительные возможности языка логики применительно к формальной философии. Построены семантики ряда логи ...
Издательство | Канон+ |
Серия | Библиотека аналитической философии |
Год издания | 2019 |
ISBN | 978-5-88373-576-8 |
Вес, г | 309 |