Поиск :
Личный кабинет :
Электронный каталог: Павлов, С.А. - Логика с операторами истинности и ложности
Павлов, С.А. - Логика с операторами истинности и ложности
Нет экз.
Электронный ресурс
Автор: Павлов, С.А.
Логика с операторами истинности и ложности
Издательство: ИФ РАН, 2004 г.
ISBN 5-9540-0002-6
Автор: Павлов, С.А.
Логика с операторами истинности и ложности
Издательство: ИФ РАН, 2004 г.
ISBN 5-9540-0002-6
На полку
Электронный ресурс
Павлов, С.А.
Логика с операторами истинности и ложности / Павлов С. А. – М. : ИФ РАН, 2004. – 143. – URL: http://www.biblioclub.ru/index.php?page=book&id=40184 . – На рус. яз. – ISBN 5-9540-0002-6.
Монография посвящена одному из важнейших аспектов современных исследований теории истины - логике с операторами и предикамами истинности и ложности. Рассмотрены содержательные, семантические и философские предпосылки построенной логики. Особенность развиваемого в монографии подхода заключается во введении этих операторов как исходных непосредственно в объектный язык логики, а их свойства задаются аксиоматически. Тем самым реализован подход, альтернативный подходу Тарского. Построенная логика позволяет корректно оперировать не только с двухзначным высказываниями, но и с высказыванями, содержащими противоречивую и неполную информацию. Проведены сопоставления и установлены взаимосоотношения полученной логики и ее подлогик с такими логикaми, как логики Белнапа и фон Вригта, трехзначные логики Клини, Лукасевача, Бочвара, паранепротиворечивые логики Асенхо, Приста, Д'Оттавиано-да Косты. Монография представляет интерес для специалистов в области логики и ее приложений в философии.
Павлов, С.А.
Логика с операторами истинности и ложности / Павлов С. А. – М. : ИФ РАН, 2004. – 143. – URL: http://www.biblioclub.ru/index.php?page=book&id=40184 . – На рус. яз. – ISBN 5-9540-0002-6.
Монография посвящена одному из важнейших аспектов современных исследований теории истины - логике с операторами и предикамами истинности и ложности. Рассмотрены содержательные, семантические и философские предпосылки построенной логики. Особенность развиваемого в монографии подхода заключается во введении этих операторов как исходных непосредственно в объектный язык логики, а их свойства задаются аксиоматически. Тем самым реализован подход, альтернативный подходу Тарского. Построенная логика позволяет корректно оперировать не только с двухзначным высказываниями, но и с высказыванями, содержащими противоречивую и неполную информацию. Проведены сопоставления и установлены взаимосоотношения полученной логики и ее подлогик с такими логикaми, как логики Белнапа и фон Вригта, трехзначные логики Клини, Лукасевача, Бочвара, паранепротиворечивые логики Асенхо, Приста, Д'Оттавиано-да Косты. Монография представляет интерес для специалистов в области логики и ее приложений в философии.