В центре внимания — рассуждения, где важно различать утверждение, его необходимость и возможность. Автор разбирает устройство модальных исчислений, условия получения выводов и границы того, что может быть доказано в рамках выбранной системы. Изложение строгое и последовательное, с акцентом на формальные отношения между понятиями. В русском издании к основной работе добавлены переводы исследований по семантике и полноте модальных исчислений, а также обзор работ в этой области.
Ключевые темы и методики
В основе книги лежит формально-дедуктивный подход. Роберт Фейс последовательно рассматривает способы задания модальных систем, правила вывода и принципы их интерпретации. Материал подойдёт тем, кому важно понять не только технику доказательства, но и соотношение между синтаксисом и смыслом логических выражений. Среди основных тем:- Необходимость и возможность — модальности, с которыми связаны рассматриваемые рассуждения.
- Формальные системы — способы задания модальных исчислений и правил работы с ними.
- Дедукция — получение выводов по правилам определённой системы.
- Семантика — истолкование формальных выражений.
- Полнота — соотношение семантической истинности и выводимости в исчислении.
Кому подойдёт монография
Книга адресована студентам, преподавателям и специалистам, изучающим математическую и философскую логику. Она также будет полезна философам, лингвистам, юристам и исследователям искусственного интеллекта, чья работа связана с формализованными рассуждениями. Издание можно использовать для самостоятельного чтения или занятий с преподавателем. Выбор в пользу этой монографии особенно оправдан, если нужен строгий разбор модальных систем с дополнительными материалами по их семантике и полноте.Описание подготовлено редакцией Читай-города на основе официальной аннотации издательства, отзывов и оценок покупателей, а также информации из открытых интернет-источников.