Введение
Глава 1. Алгоритмизация силлогистики: история вопроса 11 - 28
1. Проблема моделирования (симуляции) «естественных» рассуждений 11-13
2. Восточные школы: силлогистика джайнов 13 -14
3. Античная мысль 14-17
Силлогистические исследования Аристотеля 14- 16
Перипатетики 16
Римский стоицизм 17
4. Средневековая силлогистика 17-18
5. Силлогистические исследования Нового времени 18 - 28
Труды по силлогистике Г. Лейбница 18-21
Система Г. Холланда 21 - 22
Работы С. Маймона, Ф. Кастильона, Ж. Жергонна 22 - 24
Логические идеи А. де Моргана 24
Силлогистические исследования Л. Кэрролла 24-26
6. Современные исследования в области негативной силлогистики 26 - 27
7. История алгоритмизации систем негативной силлогистики 27 - 28
Глава 2. Анализ систем негативной силлогистики 29 - 45
1. Обобщенная формулировка исследуемых систем негативной силлогистики 29 - 32
2. Натуральная система негативной традиционной силлогистики (нТС) 32-39
3. Натуральная система негативной силлогистики Больцано (нБС) 39 - 40
4. Натуральная система негативной силлогистики Кэрролла (нКС) 40-42
5 Натуральная система негативной силлогистики Аристотеля (нАС) 42 - 44
6. Натуральная система негативной фундаментальной силлогистики (нФС) 44-45
Глава 3. Описание алгоритма для натуральных систем негативных силлогистик 46 - 71
1. Сущность алгоритма 46
2. Общая характеристика алгоритма 47 - 61
Формализованный язык, используемый алгоритмом 47 - 48
Эвристики алгоритма 48-54
Алгоритмические процедуры 54-61
3. Общее описание алгоритма 61-63
4. Пример работы алгоритма 63 - 68
5. О программной реализации 68-70
6. Перспективы развития алгоритма 70-71
Заключение 72-77
Литература 78-82
