В доступной форме излагается оригинальная математически обоснованная методика моделирования и анализа рассуждений на естественном языке. Установлена возможность объединения в логической модели не только методов логического вывода, но также методов проверки совместимости исходных посылок, формирования гипотез и получения индуктивных умозаключений. В основу книги положен авторский курс лекций по логике естественных рассуждений, предназначенный для студентов гуманитарных и технических специальностей. Для широкого круга читателей, интересующихся логикой, преподавателей и специалистов.
Author(s): Кулик Б.А.
Publisher: Невский диалект
Year: 2001
Language: Russian
Pages: 128
City: Санкт-Петербург
Оглавление ......Page 4
Предисловие ......Page 5
1. Суждение ......Page 10
2. Основные понятия алгебры множеств ......Page 13
3. E-структуры: определенней основные свойства ......Page 25
4. Коллизии в рассуждениях ......Page 35
5. Инварианты E-структур ......Page 43
6. Экзистенциальные суждения ......Page 47
7. Неполные рассуждения (формирование и проверка гипотез) ......Page 56
8. “Отрицания” в E-структурах ......Page 69
9. Индуктивный вывод ......Page 74
Приложение А. С чем идет современная логика в XXI век? ......Page 78
Приложение Б. Частично упорядоченные множества с квазидополнениями ......Page 98
Список литературы ......Page 127
