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

книга

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

Здесь можно купить книгу "Логика с операторами истинности и ложности " в печатном или электронном виде. Также, Вы можете прочесть аннотацию, цитаты и содержание, ознакомиться и оставить отзывы (комментарии) об этой книге.

Автор: Сергей Павлов

Форматы: PDF

Издательство: Институт философии РАН

Год: 2004

Место издания: Москва

ISBN: 5-9540-0002-6

Страниц: 143

Артикул: 44934

Электронная книга

80 ₽

Купить и скачать

Читать фрагмент

Аннотация

Краткая аннотация книги "Логика с операторами истинности и ложности"

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

Содержание

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

Введение
1. Обогащение классической сентенциальной логики операторами истинности и ложности
2. Обобщение классической логики на область предложений, не являющихся двузначными
3. Соотношения логики FL4 с четырехзначными логиками
4. Классификация формул с одной переменной
5. Алгебра ложности FA4
6. Сублогики логики FL4 и их соотношение с трехзначными логиками
7. Условия применимости классической и неклассических логик в рамках языков неклассических логик
8. Обогащение языка логики FL2 кванторами
9. Символическая логика символьных выражений
Заключение
Приложение 1
Приложение 2
Литература

Отзывы

Все отзывы о книге Логика с операторами истинности и ложности

Чтобы оставить отзыв, зарегистрируйтесь или войдите

Отрывок из книги Логика с операторами истинности и ложности

Операции задаем покомпонентно следующим образом:5.2.1 -ш = <—т 2, - т 2>5.2.2 ( т -» w) - < (т2 < Wi), (mi < w2)>Отметим, что FA4 не является декартовым произведением булевых решеток В.Среди сублогик1 логики FL4 наибольшее значение имеют логические системы, соответствующие подалгебрам FA4 и соответственно областям TFB, TFN, TF.Определения сублогик логики FL4Алгебрам ложности F A3 В, FA3N, FA2 соответствуют логики FL3B, FL3N, FL2, определяемые следующим образом.D5.1 FL3B есть логика, получаемая присоединением к аксиомам FL4 формулы (|А v -А).D5.2 FL3N есть логика, получаемая присоединением к аксиомам FL4 формулы (-|А v — А).D5.3 FL2 есть логика, получаемая присоединением к аксиомам FL4 формулы (ГA v 1а ). 'Соотношение логик ложности выражается следующей диаграммой, в которой сублогики располагаются ниже соответствующих логик.FL4Для сублогик логики FL4 имеем следующие метатеоремы: Т5.3.1. FL3B не является абсолютно полной логикой.Т5.3.2. FL3B является функционально предполной логикой.Выбор префикса суб- или супер- здесь обуславливается соответствием алгебрам. Отметим, что возможно и иные сопоставления.

С книгой "Логика с операторами истинности и ложности" читают