Увидеть доказательство

Аннотация

В статье продолжается исследование роли визуального компонента в логике, начатое в статье «Логическая визуализация смысла» (2022). Исследование сфокусировано на когнитивном обосновании визуальных репрезентаций и выявлении роли визуализации в рассуждении и доказательстве. В работе последовательно анализируются когнитивные основания процедуры рассуждения. Привлекаются результаты нейрокогнитивных исследований естественных рассуждений, свидетельствующие в пользу использования в процессе естественных рассуждений как основанного на правилах символьно-лингвистического механизма, так и репрезентационного механизма, использующего визуальные модели. Обосновывается утверждение, что подлинное понимание значения визуальных репрезентаций в логике предполагает обращение к самой природе логического. В связи с этим рассматриваются различные подходы к логике. В первом из них акцент делается на логике как априорной науке о сущем, очищенной от любых психологических примесей, во втором — на понимании логики как когнитивно обусловленной науки. Визуализация в этом случае рассматривается не просто как подпорка, иллюстративный прием, а как сущностная сторона процедуры доказательства. Обсуждается один из ключевых для когнитивного анализа рассуждений вопросов о том, каким образом визуальная составляющая может проявляться в рассуждениях. Выявляются две стороны этого вопроса: во-первых, может ли изображение служить посылкой в рассуждении, во-вторых, может ли иллюстрация заменить/представить сам процесс рассуждения как переход от посылок к заключению. Предпринятый в статье анализ убедительно свидетельствует в пользу признания визуальной составляющей не только непосредственно в процессе рассуждения, но и в соответствующих логических формализмах, включая доказательство и вывод.