Электронные книги

Жанры
Реклама
Последние комментарии
От партнёров
Облако тегов

Гуманитарные наукиЛогика с операторами истинности и ложности

Логика с операторами истинности и ложности
Автор: Павлов С.А.
Название: Логика с операторами истинности и ложности
Издательство: М.: ИФ РАН
Год: 2004
Формат: djvu
Размер: 3,34 Мб

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

Нажмите для скачивания Pavlov_Logika_T_F.rar!Pavlov_Logika_T_F.rar
Размер: 3.35 Mb(cкачиваний: 0)



Похожие книги

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.


  • Valid XHTML 1.0 Transitional