Close
Мобильное приложение ЭБС "Университетская Библиотека Онлайн"
Логика с операторами истинности и ложности
Дисциплина: Логика
Москва: ИФ РАН, 2004
Объем: 143 стр.
ISBN: 5-9540-0002-6
УДК: 161.12+164
ББК: 87.4
Постраничный просмотр для данной книги Вам недоступен.
Загрузить в приложение

Библиографическое описание

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

Содержание

Описание в RusMarc
Рекомендации материалов по теме: нет