Читать онлайн «Обобщенная релевантная логика и модели рассуждений»

Московский государственный университет Д. В. Зайцев ОбОбщенная релевантная лОгика и мОдели рассуждений Монография Москва «Креативная экономика» 2010 удк 510. 6 ббк 22. 12 З 12 Рецензенты: В. И. Маркин – д. ф. н. , профессор, заведующий кафедрой логики философс- кого факультета МГу имени М. В. Ломоносова; А. С. Карпенко – д. ф. н. , профессор, заведущий сектором логики ИФ РАН. Зайцев Д. В. З12 Обобщенная релевантная логика и модели рассуждений: Моно- графия. – М. : креативная экономика, 2010. – 312 с. : ил. ISBN 978-5-91292-054-7 В монографии рассматриваются возможности применения обобщенной релевантной логики к проблеме моделирования рассуждений. Работа состоит из трех разделов. В первом осуществляется построение обобщенной релеван- тной логики первого уровня, во втором рассматриваются системы более вы- сокого порядка. Третий раздел посвящен моделированию аргументативных рассуждений. Монография предназначена для научных работников, аспирантов, сту- дентов, специалистов в философской логике, аргументации и компьютерной науке. Печатается по решению Ученого совета философского факультета МГУ имени М. В. Ломоносова удк 510. 6 ббк 22. 12 © Зайцев д. В. , 2010 © ООО Издательство «креативная экономика», 2010 ISBN 978-5-91292-054-7  Содержание Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 I. РЕЛЕВАНТНАЯ ЛОГИКА ПЕРВОГО УРОВНЯ . . . . . . . . . . . . 15 Глава 1. Основные понятия . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 § 1. 1. Алгебра FDE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 § 1. 2. Язык исчисления первоуровневого следования . . . . . . . 20 § 1. 3. Семантика FDE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 § 1. 3. 1. Австралийский план . . . . . . . . . . . . . . . . . . . . . . . . 23 § 1. 3. 2. Американский план. Релевантная логика как многозначная . . . . . . . . . 25 § 1. 3. 3. Информационная семантика Войшвилло. . . . . . . 29 Глава 2. FDE: философско-методологические аспекты . . . . . . . . 38 § 2. 1. Американский план против австралийского . . . . . . . . . . 38 § 2. 2. Отрицание, истина и ложь . . . . . . . . . . . . . . . . . . . . . . . . . . 41 § 2. 3. FDE как матричная логика . . . . . . . . . . . . . . . . . . . . . . . . 48 § 2. 4. Еще раз об интуитивной семантике следования . . . . . . . 53 Глава 3. Обобщения первоуровневого следования . . . . . . . . . . . . 59 § 3. 1.