Логика с операторами истинности и ложности
Место издания: Москва
ISBN: 5-9540-0002-6
Страниц: 143
Артикул: 44934
Краткая аннотация книги "Логика с операторами истинности и ложности"
Монография посвящена одному из важнейших аспектов современных исследований теории истины - логике с операторами и предикамами истинности и ложности. Рассмотрены содержательные, семантические и философские предпосылки построенной логики. Особенность развиваемого в монографии подхода заключается во введении этих операторов как исходных непосредственно в объектный язык логики, а их свойства задаются аксиоматически. Тем самым реализован подход, альтернативный подходу Тарского. Построенная логика позволяет корректно оперировать не только с двухзначным высказываниями, но и с высказыванями, содержащими противоречивую и неполную информацию.
Проведены сопоставления и установлены взаимосоотношения полученной логики и ее подлогик с такими логик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 является функционально предполной логикой.Выбор префикса суб- или супер- здесь обуславливается соответствием алгебрам. Отметим, что возможно и иные сопоставления.
С книгой "Логика с операторами истинности и ложности" читают
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Бестселлеры нон-фикшн
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Новинки книги нон-фикшн
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
и мы свяжемся с вами в течение 15 минут
за оставленную заявку