arrow-downcheckdocdocxfbflowerjpgmailnoarticlesnoresultpdfsearchsoundtwvkxlsxlsxyoutubezipTelegram

Категория

Сборники
Учебники
Монографии
Журналы

Дисциплина

Логика
История философии
Онтология
Философия культуры
Философия науки
Философия образования
Философия политики и права
Философия религии
Философия сознания
Эпистемология
Эстетика
Этика

Традиции

Прагматизм
Аналитическая философия
Античность
Возрождение
Восточная философия
Немецкая классическая философия
Новое время
Русская философия
Спиритуализм
Средние века
Структурализм
Феноменология
Экзистенциализм
Социальные сети
Вступайте в наши группы
YOUTUBE ×

Скачать

Павлов С.А.

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

2004

Издательство:

ИФ РАН

ISBN 5-9540-0002-6.
Для цитирования:

Павлов С.А. Логика с операторами истинности и ложности / РАН. Ин-т философии. – М.: ИФ РАН, 2004. – 143 с.

Источник:

Предоставлено Институтом философии РАН

  • Аннотация

  • Содержание

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

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. Символическая логика символьных выражений

Нашли ошибку на странице?
Выделите её и нажмите Ctrl + Enter