Объединенная метатеория логической семантики. Онтологическое обоснование и построение логики
Этот товар закончился.
Описание и характеристики
ID товара
2740861
Издательство
Канон+
Год издания
2019
ISBN
978-5-88-373576-8, 978-5-88373-576-8
Количество страниц
176
Размер
1.4x13.2x20.6
Тип обложки
Твёрдый переплёт
Тираж
1000
Вес, г
259
Отзывы
15 бонусов
за полезный отзыв длиной от 300 символов
15 бонусов
если купили в интернет-магазине «Читай-город»
Оставьте отзыв и получите бонусы
Оставьте первый отзыв и получите за него бонусы.
Это поможет другим покупателям сделать правильный выбор.
4.3
В монографии рассматривается объединенная метатеория логической семантики, включающая в себя основные и совместимые между собой положения семантик логик Буля и Фреге, метатеории семантики логик, имеющих многозначную интерпретацию и метанауку из семантической теории истины Тарского. Область определения логических операторов расширяется на универсум символьных выражений языка, что увеличивает выразительные возможности языка логики применительно к формальной философии. Построены семантики ряда логик, включая логики истины фон Вригта, логики Белнапа для компьютерных рассуждений. Отправляясь от трех измерений семиозиса Ч. Морриса, с учетом четырех компонентов процесса семиозиса построен тетраэдр семиозиса. Скачать содержание книги С.А. Павлова «Объединенная метатеория логической семантики: онтологическое обоснование и построение логики.