ainews
Пропасть силлогизма: почему формальная логика — это не рассуждение, и что это значит для ИИ
Автор утверждает, что символьный ИИ неверно истолковал Аристотеля: силлогизм был инструментом для демонстрации уже добытого знания, а не моделью процесса мышления. Попытка свести рассуждение к формальной логике привела к полувековому кризису символьного ИИ, который блестяще доказывал теоремы, но провалился на задачах, с которыми люди справляются легко.
Статья предлагает философское объяснение того, почему символьный ИИ потерпел крах, и намекает на альтернативный взгляд на природу рассуждения — актуально для понимания разницы между формальной логикой и человеческим мышлением в эпоху LLM.
Это аннотация к авторской статье. Мы не публикуем и не пересказываем чужие тексты целиком — полная версия у автора.
О чём статья
- Силлогизм Аристотеля — это не теория мышления, а технология демонстрации: инструмент для организации уже полученного знания, а не описание когнитивного процесса
- Традиция символьного ИИ (от Logic Theorist до экспертных систем) ошибочно приняла силлогизм за чертёж процесса рассуждения
- Frame problem — не ошибка реализации, а симптом фундаментального заблуждения: рассуждение не сводится к формальным операциям над фиксированным набором высказываний
- Переход от многогранного Органона Аристотеля к Begriffsschrift Фреге радикально сузил понимание рассуждения до формальной дедукции
Ксения Лаврова
Medium #llm
Читать оригинал
Комментарии