Логика с операторами истинности и ложности Монография
Монография посвящена одному из важнейших аспектов современных исследований теории истины - логике с операторами и предикатами истинности и ложности. Рассмотрены содержательные семантические и философские предпосылки построенной логики. Особенность развиваемого в монографии подхода заключается во...
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Russian |
| Published: |
Москва
ИФ РАН
2004
|
| Edition: | 1 |
| Subjects: | |
| Online Access: | ЭБС Знаниум ЭБС Знаниум Перейти в каталог НТБ ТГАСУ |
| Summary: | Монография посвящена одному из важнейших аспектов современных исследований теории истины - логике с операторами и предикатами истинности и ложности. Рассмотрены содержательные семантические и философские предпосылки построенной логики. Особенность развиваемого в монографии подхода заключается во введении этих операторов как исходных непосредственно в объектный язык логики а их свойства задаются аксиоматически. Тем самым реализован подход альтернативный подходу Тарскоro. Построенная логика позволяет корректно оперировать не только с двухзначным высказываниями но и с высказываниями содержащими противоречивую и неполную информацию. Проведены сопоставления и установлены взаимосоотношения полученной логики и ее подлогик с такими логиками как логики Белнапа и фон Вригта трехзначные логики Клини Лукасевича Бочвара паранепротиворечивые логики Асенхо Приста Д'Оттавиано- да Косты. Монография представляет интерес для специалистов в области логики и ее приложений в философии. |
|---|---|
| Physical Description: | 143 с. |
| ISBN: | 9785954000023 |