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



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