Павлов С.А. - Логика с операторами истинности и ложности

Павлов С.А. - Логика с операторами истинности и ложности
Павлов С.А.
Логика с операторами истинности и ложности

Издательство: М.: ИФ РАН
Год: 2004
Страниц: 143
Формат: djvu
Размер: 3,34 Мб
Качество: отсканированные страницы + OCR
Язык: Русский
ISBN 5-9540-0002-6


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

СОДЕРЖАНИЕ

1. Обогащение классической сентенциальной логики операторами истинности и ложности
1.1. Понятия истинности и ложности
1.2. Классическая логика и ее интерпретация
1.3. Основные содержательные положения логики с операторами истинности и ложности
1.4. Формулировка классической сентенциальной логики с операторами истинности и ложности FL2
1.5. Аксиоматическая теория истины для классической сентенциальной логики
1.6. Семантические и несемантические формулировки законов противоречия и исключенного третьего
2. Обобщение классической логики на область предложений, не являющихся двузначными
2.1. Содержательные положения логики с операторами истинности и ложности в расширенной области
2.2. Формулировка логики ложности FL4
2.3. Теорема дедукции
2.4. Интерпретация языка логики FL4
2.5. Непротиворечивость логики FL4
2.6. Семантическая полнота логики FL4
3. Соотношения логики FL4 с четырехзначными логиками
3.1. Четырехзначная логика Белнапа
3.2. Логика тавтологических следований Efde и матрица Смайли
3.3. Логики истины фон Вригта
3.4. Комбинированные логики Смирнова
3.5. Мультиимпликативность логики FL4
4. Классификация формул с одной переменной
4.1. Расширение области определения операторов
4.2. 9 видов отрицаний
4.3. 9 видов операторов утверждения, неэлиминируемость оператора истинности
4.4. Виды противоречий
4.5. Виды тавтологий. Различные формулировки законов логики
4.6. Бивалентные и трехвалентные формулы
4.7. 15 областей универсума предложений
5. Алгебра ложности FA4
6. Сублогики логики FL4 и их соотношение с трехзначными логиками
6.1. Логика FL3N
6.1.1. Логика Клини
6.1.2. Логика Бочвара
6.1.3. Логика Лукасевича
6.1.4. Логики Гейтинга и Геделя
6.1.5. Логика Васильева
6.2. FL3B и паранепротиворечивые логики
6.2.1. Логика Д`Оттавиано - да Коста
6.2.2. Логика антиномий Асенхо
6.2.3. Логика парадоксов Приста
6.2.4. Логика Сетте
6.2.5. Логика Арруды VI
6.2.6. От двух выделенных значений к одному
7. Условия применимости классической и неклассических логик в рамках языков неклассических логик
7.1. Условия применимости классической логики
7.2. Условия применимости 3-хзначных логик
8. Обогащение языка логики FL2 кванторами
9. Символическая логика символьных выражений

Комментарии  

#1 luxluz 28.04.2010 02:30
великолепный сайт! вся нужная литература здесь находится. огромное спасибо!
Цитировать

Вы уверены, что ссылка нерабочая?

Рекомендуем прочитать