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