Развитие многозначной логики

Купить бумажную книгу и читать

Название: Развитие многозначной логики

Автор: Карпенко А.С.

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

Год: 2010

Страниц: 444

ISBN: 978-5-382-01217-9

Формат: PDF

Размер: 38.2 Мб

Язык: русский

В настоящей книге рассматривается развитие многозначной логики начиная от Аристотеля и до наших дней. В силу той особой роли, которую играет многозначная логика в компьютерных науках и в различных приложениях, большое внимание в работе уделяется ее теории функциональных свойств. Автор особо выделяет также сложнейшую философскую проблему интерпретации истинностных значений, которая в итоге приводит к идее их структурализации.

Книга может служить справочником по многозначной логике, поскольку в ней тщательно соблюдается хронология развития многозначной логики, содержится большой список использованной литературы; к тому же она не предполагает наличия у читателя каких-либо предварительных знаний.

Книга рассчитана на самый широкий круг читателей, в том числе философов, логиков, математиков и студентов соответствующих специальностей.

Содержание

Классическая логика

Логические связки. Истиностные таблицы

Законы логики высказываний

Функциональная полнота

Логическое следование. Аксиоматизация. Адекватность

Историческая справка

Логика Предикатов

Интуитивное понимание многозначной логики и ее возникновение

Трехзначные логики

Трехзначная Логика Лукасевича

Модальная трехзначная логика Лукасевича

Логика Гейтинга

Логика Брауэра

Трехзначная логика Бочвара

Сильная логика Клини

Трехзначные паранепротиворечивые логики

Штрих Шеффера для некоторых трехзначных логик

Решетка импликативных расширений регулярных логик Клини

Логические матрицы и решетки

Конечнозначные логики

Аксиоматизация конечнозначных логик

Многозначная логика как функциональная логика

Бесконечнозначные логики

Теория нечетких множеств и нечеткие логики

Истиностные значения – интерпретация многозначных логик