П 12 Павлов, Сергей Афанасьевич. Логика с операторами истинности и ложности = Logic with truth & falsehood operators / С. А. Павлов ; Рос. акад. наук, Ин-т философии. - Москва : ИФРАН, 2004. - 24 с. ; 21 см. - Библиогр.: с. 138-142. - 500 прим.. - ISBN 5-9540-0002-6
Анотація: Монография посвящена одному из важнейших современных исследований теории истины - логике с операторами и предикатами истинности и ложности. Рассмотрены содержательные, семантические и философские предпосылки построенной логики. Особенность развиваемого в монографии подхода заключается во введении этих операторов как исходных непосредственно в объектный язык логики, а их свойства задаются аксиоматически. Тем самым реализован подход, альтернативный подходу Тарского. Построенная логика позволяет корректно оперировать не только с двухзначным высказываниями, но и с высказываниями, содержащими противоречивую и неполную информацию. Проведены сопоставления и установлены взаимосоотношения полученной логики и ее подлогик с такими логиками как логики Белнапа и фон Вригта, трехзначные логики Клини, Лукасевича. Бочвара, паранепротиворечивые логики Асенхо, Приста, Д'Огта-виано-да Косты. Монография представляет интерес для специалистов в области логики и ее приложений в философии. Утримувачі документа: Дом А. Ф. Лосева Дод.точки доступу: Институт философии (Москва) Примірників всього: 1 Абонемент (1) Свободны: Абонемент (1) |