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

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

Год: 2004

ISBN: 5-9540-0002-6

Кол-во страниц: 143

Форматы:

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

Издательство: ИФ РАН

Читать фрагмент
Регистрация

30 секунд

Оплата

2 минуты

Получение

1 клик

Безопасность платежа
гарантирует

80 у
Чтобы получить книгу осталось лишь

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