The Routledge Handbook of Philosophy of Animal Minds

В следующем разделе я рассмотрю одну экспериментальную парадигму, которая была использована для проверки логических способностей животных. Сначала, однако, я хочу отметить, хотя бы для того, чтобы отложить в сторону, пять сложностей, связанных со стратегией использования логического умозаключения в качестве теста на ЛОТХА.

Первая сложность вытекает из альтернатив LOTH, для которых разговоры о "формате" ментальных репрезентаций мыслителя, похоже, не имеют места. Главными среди них являются коннекционистские сети. Тривиально заставить коннекционистские сети вычислять логические функции. Но поскольку репрезентации в коннекционистской сети могут быть распределены по всей сети, вопросы об их формате, вероятно, неуместны.

Эта сложность заслуживает большего внимания, чем я могу уделить здесь, поэтому мне придется довольствоваться тремя краткими комментариями. Во-первых, хотя то, что коннекционистские сети могут вычислять логические функции, не вызывает сомнений, гораздо менее ясно, могут ли они делать это без реализации LOT.1 Во-вторых, моя главная задача здесь - не решить вопрос о том, истинна ли ЛОТХА, а показать, как к ней можно подойти эмпирически, а коннекционистские модели, несомненно, могут быть эмпирически проверены. В-третьих, независимо от того, является ли способность делать логические выводы доказательством в пользу LOTHA, неспособность делать логические выводы, безусловно, является доказательством против LOTHA. Таким образом, для тех, кто заинтересован в статусе ЛОТХ, есть все основания изучить логические способности животных, независимо от того, что они думают о связи между ЛОТХ и коннекционизмом.

Вторая сложность связана с гибридными форматами, сочетающими лингвистические и нелингвистические элементы, такими как диаграммы Венна, снабженные специальными символами (Peirce 1933; Shin 1994), или карты с маркерами для отрицания или дизъюнкции (Camp 2007). Такие гибридные форматы рассматриваются в психологии под видом теории ментальных моделей, которая предполагает образные репрезентации, дополненные произвольными символами (Johnson-Laird 2006). В некотором смысле гибридные репрезентации, такие как ментальные модели, похожи на предложения, поскольку в них есть произвольные символы, которые представляют собой логические константы. Но в них также есть компоненты (например, образные элементы), которые не являются языковыми. Таким образом, как и в случае с коннекционистскими сетями, не всегда ясно, следует ли считать гибридные ментальные репрезентации реализацией LOTH или конкурирующими с ней. Но одно достаточно ясно: как и коннекционистские модели, ментальные модели могут быть эмпирически оценены. Таким образом, должно быть возможно эмпирически отличить ментальные модели от более чистой формы LOTHA. Кроме того, что бы ни думали о связи между ЛОТХА и ментальными моделями, неспособность делать логические умозаключения, безусловно, считается доказательством против ЛОТХА.

В-третьих, эффективность выполнения заданий на логическое мышление зависит не только от логических концепций мыслителя, но и от различных дополнительных факторов, таких как внимание, рабочая память и исходные убеждения. Таким образом, хотя обладание логическими концепциями, вероятно, подразумевает способность делать определенные умозаключения, оно не подразумевает успешной реализации этой способности. Мыслитель может обладать логической концепцией и при этом не справиться с тем или иным заданием на логическое мышление. Но если протестировать мыслителя в широком спектре заданий на умозаключения, требующих одной и той же логической концепции, но предъявляющих разные требования к факторам эффективности, должно быть возможно отделить концептуальную компетентность от эффективности.

Четвертая сложность заключается в том, что царство животных разнообразно, и есть все основания полагать, что способности к рассуждению у разных видов будут разными. Это означает, что в долгосрочной перспективе эмпирические исследования логических способностей животных должны проводиться на примере самых разных видов. Однако здесь я сосредоточусь на вопросе о том, как можно эмпирически проверить логические способности любого нелингвистического вида.

Последняя сложность заключается в том, что логика не является монолитной. Существует множество форм логических умозаключений. В долгосрочной перспективе нет причин ограничивать исследование той или иной формой умозаключения. Если мы хотим получить полное представление о контурах формата познания животных, нам следует протестировать как можно большее разнообразие умозаключений. Однако в более среднесрочной перспективе нам лучше всего сосредоточить свои усилия на нетривиальных, но достаточно базовых формах умозаключений. Одной из таких форм, которая имеет преимущество в том, что была широко изучена, является дизъюнктивный силлогизм, modus tollendo ponens, или рассуждение путем исключения.

P или Q

Не П

Q

В следующем разделе я сосредоточусь на том, как мы можем определить, способны ли животные делать умозаключения такой формы.