СПб.: Невский Диалект, 2001г. — 128 с: ил.
Моделирование и анализ рассуждений на естественном языке. Объединение в логической модели не только методов логического вывода, но также методов проверки совместимости исходных посылок, формирования гипотез и получения индуктивных умозаключений.
1. Суждение
2. Основные понятия алгебры множеств
3. Е-структуры: определение и основные свойства
4. Коллизии в рассуждениях
5. Инварианты Е-структур
6. Экзистенциальные суждения
7. Неполные рассуждения (формирование и проверка гипотез)
8. "Отрицания" в Е-структурах
9. Индуктивный вывод
Приложение А. С чем идет современная логика в XXI век?
Приложение Б. Частично упорядоченные множества с квазидополнениями
В доступной форме излагается оригинальная математически обоснованная методика.
Моделирование и анализ рассуждений на естественном языке. Объединение в логической модели не только методов логического вывода, но также методов проверки совместимости исходных посылок, формирования гипотез и получения индуктивных умозаключений.
1. Суждение
2. Основные понятия алгебры множеств
3. Е-структуры: определение и основные свойства
4. Коллизии в рассуждениях
5. Инварианты Е-структур
6. Экзистенциальные суждения
7. Неполные рассуждения (формирование и проверка гипотез)
8. "Отрицания" в Е-структурах
9. Индуктивный вывод
Приложение А. С чем идет современная логика в XXI век?
Приложение Б. Частично упорядоченные множества с квазидополнениями
В доступной форме излагается оригинальная математически обоснованная методика.