Преобразование координат сохраняет веридичность, если оно переносит веридические представления в веридические представления. Практически все научные методы предполагают, что преобразования координат у млекопитающих обычно сохраняют веридичность, по крайней мере, приблизительно. Учитывая веридическую аллоцентрическую когнитивную карту, соответствующие преобразования координат обычно дают веридические (или приблизительно веридические) эгоцентрические репрезентации положений ориентиров. Учитывая веридические эгоцентрические репрезентации позиций ориентиров и веридическую оценку собственной аллоцентрической позиции и ориентации, соответствующие преобразования координат обычно дают веридические (или приблизительно веридические) аллоцентрические репрезентации позиций ориентиров. Сохранение приблизительной веридичности является основной предпосылкой научных исследований в области навигации млекопитающих, включая вышеупомянутые вычислительные модели. Эта основная предпосылка, хотя и не часто высказываемая в явном виде, направляет построение детальных теорий, описывающих взаимодействие когнитивных карт с восприятием и действиями. Она также помогает нам объяснить необычайный успех, с которым млекопитающие ориентируются. Верифицированные эгоцентрические оценки восприятия в сочетании с верифицированными оценками положения и направления движения животного, как правило, приводят к созданию верифицированных аллоцентрических карт. Верифицированные аллоцентрические когнитивные карты, как правило, вызывают верифицированные эгоцентрические репрезентации, которые, в свою очередь, приводят к успешным действиям.
Исследователи развивали эту объяснительную стратегию с растущей экспериментальной и теоретической изощренностью в течение последующих десятилетий. Стратегия предполагает, что когнитивные карты имеют условия верификации. В конце концов, преобразование координат может сохранять веридичность только в том случае, если репрезентации, над которыми оно работает, имеют условия веридичности.
Я предпочитаю широко научную реалистическую точку зрения: успех объяснения - это prima facie руководство к истине. С точки зрения научного реализма, успешное интенциональное объяснение дает основания для приписывания условий верификации. Например, объяснительный успех психологии восприятия дает основания приписывать веридикальность-условия перцептивным состояниям (Burge 2010; Rescorla 2015). Аналогичным образом, успешные интенциональные объяснения навигации млекопитающих дают основания приписать условия верификации когнитивным картам млекопитающих. Я делаю вывод, что (2) применимо к когнитивным картам млекопитающих.
Байесовские модели навигации млекопитающих служат дополнительным подтверждением этого вывода. Основная идея байесовских моделей заключается в том, что навигационная система поддерживает распределение вероятностей в пространстве гипотез. Каждая гипотеза представляет собой некоторый аспект пространственной среды. Одна из таких гипотез может представлять, что определенный ориентир имеет определенное аллоцентрическое расположение. Другая гипотеза может представлять, что само животное имеет определенное аллоцентрическое расположение. Подобные гипотезы включаются в когнитивные карты, которые оценивают общую пространственную планировку. Вероятность, приписываемая когнитивной карте, определяется вероятностями, приписываемыми составляющим ее гипотезам. Навигационная система регулярно обновляет свои вероятности в свете перцептивных данных и сигналов самодвижения. Таким образом, локализация и картирование превращаются в упражнения по статистическому анализу.
Как мы должны понимать "гипотезы", которым присваиваются вероятности? Современные байесовские модели определяют гипотезы через репрезентативные свойства, которые вносят вклад в условия верифицируемости. Например, когда мы идентифицируем гипотезу как представляющую, что ориентир имеет определенное аллоцентрическое расположение, мы приводим условие, которое должно быть выполнено, чтобы общая когнитивная карта была верифицирована: ориентир имеет гипотетическое расположение. Таким образом, мы идентифицируем гипотезу в интенциональных терминах. Байесовские модели описывают, как изменяются вероятности гипотез, определенных в интенциональных терминах, в свете перцептивных данных и сигналов самодвижения. Наука предполагает, что навигация млекопитающих использует когнитивные карты с условиями верифицируемости, и описывает вероятностный вывод гипотез, определяемых тем, как гипотезы вносят вклад в условия верифицируемости когнитивных карт. Таким образом, наука предполагает, что (2) применимо к когнитивным картам млекопитающих. Успех байесовской исследовательской программы дает дополнительные основания приписать условия верифицируемости когнитивным картам млекопитающих. По мере того как исследовательская программа будет добиваться все большего объяснительного успеха, доводы в пользу интенционального анализа навигации млекопитающих должны становиться все более весомыми.