Кулик Б.А. Логика естественных рассуждений

СПб.: Невский Диалект, 2001. — 128 с: ил. — ISBN: 5-7940-0080-5.В доступной форме излагается оригинальная математически обоснованная методика моделирования и анализа рассуждений на естественном языке. Установлена возможность объединения в логической модели не только методов логического вывода, но также методов проверки совместимости исходных посылок, формирования гипотез и получения индуктивных умозаключений. В основу книги положен авторский курс лекций по логике естественных рассуждений, предназначенный для студентов гуманитарных и технических специальностей. Для широкого круга читателей, интересующихся логикой, преподавателей и специалистов.Содержание:Суждение
Основные понятия алгебры множеств
Е-структуры: определение и основные свойства
Коллизии в рассуждениях
Инварианты Е-структур
Экзистенциальные суждения
Неполные рассуждения (формирование и проверка гипотез)
"Отрицания" в Е-структурах
Индуктивный выводПриложение:
С чем идет современная логика в XXI век?
Частично упорядоченные множества с квазидополнениями