6. Заключение
Для имеющих глаза, логика и эмпирические когнитивные науки пересекаются сегодня по многим интересным направлениям, и с обоюдной пользой. Другими словами, "барьерный тезис", такой как фрегевский антипсихологизм, может быть, и работал какое-то время, сохраняя верующих рядом друг с другом и на безопасном расстоянии от других сообществ - но реальность всегда просачивается в трещины27. Более того, поскольку абстрактная теория влияет на реальное поведение не только тем, что является почти что когнитивным status quo, но также через построение новых интеллектуальных практик, принимая во внимание "успешные вставки" поведения в человеческие жизни, взаимодействие между логикой и познавательной практикой человека гораздо более разнообразно, чем когда-либо позволит нам увидеть привычное нормативно-описательное различие. И таким образом, логика может быть настолько большим, чем то, чем ее уже сделали наши отцы!
ЛИТЕРАТУРА
Барвайз, Перри 1983 - Barwise J. Perry J. Situations and attitudes. Cambridge MA, 1983.
Барвайз, Этчменди 1991 - Barwise J., Etchemendy J. Visual Information and Valid Reasoning/ Zimmermann W., Cunningham S. (eds.), Visualization in Teaching and Learning Mathematics. Mathematical Association of America, Washington, 1991. P. 9 - 24.
Бентем 1996 - Benthem J. van. Exploring Logical Dynamics. CSLI Publications. Stanford, 1996.
Бентем 1999 - Benthem J. van. Wider still and wider: resetting the bounds of logic / Varzi A. (ed.). The European Review of Philosophy. Stanford, 1999. P. 21 - 44.
Бентем 2005 - Benthem J. van. Open Problems in logics and games / Artemov S.N., Barringer H., d'Avila Garcez A.S., Lamb L.C., Woods J. (eds.), We Will Show Them! Essays in Honour of Dov Gabbay. Vol. 1. London, 2005. P. 229 - 264. http://staff.science.uva.nL/~johan/.
Бентем 2006 - Benthem J. van. One is a Lonely Number: on the logic of communication / Chatzidakis Z., Koepke P., Pohlers W. (eds.), Lecture Notes in Logic. Wellesley, MA, 2006. P. 96 - 129.
Бентем 2007 - Benthem J. van. Logic, Rational Agency, and Intelligent Interaction / 13th Congress of Logic, Methodology, and Phylosophy of Science. Proceedings. Beijing, 2007.
Бод 1998 -Bod R. Beyond Grammar: An Experience-Based Theory of Language. Stanford, 1998.
Вельтман 2001 - Veltman F. Een zogenaamde denkfout. Amsterdam, 2001.
Гельмгольц 1878 - Helmholtz H. The Facts of Perception, Wesleyan University Press, Middletown, Conn., 1878.
Гёрц 2003 - Geurts B. Reasoning with quantifiers // Cognition, 86 (2003), 3, 223 - 251.
Гигеренцер 1999 - Gigerenzer G., Todd P.M., A.B.C. Research Group. Simple Heuristics That Make Us Smart. New York, 1999.
Данин-Кеплиц, Вербрюгге 2002 - Dunin-Keplicz В., Verbrugge P. Collective Intentions // Fundamenta Informaticae, 51 (2002). 3. P. 271 - 295.
Джиротто, Гонсалес 2005 - Girotto V., Gonzalez M. Young Children's Intuitions about Posterior Probability. Lecture at ESF Exploratory Workshop on Understanding the Dynamics of Knowledge. Siena, 2005.
Дитмарш и др., 2007 - Ditmarsch H. van, Hoek W. van der, Kooi B. Dynamic- Epistemic Logic. Dordrecht, 2007.
Кастельфранчи, Пальери 2007 - Castelfranchi C.., Paglieri F. On the Integration of Goal Dynamics and Belief Structures / Synthese, 2007.
Кердильс 2001 - Kerdiles G. Saying it with Pictures, Ph.D. thesis. Amsterdam, 2001.
Ламбальген, Хамм 2004 - Lambalgen M. van, Hamm F. The Proper Treatment of Events. Oxford, 2004.
Лю Фэньжун 2006 - Liu Fenrong. Diversity of agents / Agotnes Th., Alechina N. (eds.), Proceedings of the Workshop on Logics for Resource-Bounded Agents, organized as part of the 18th European Summer School on Logic, Language and Information (ESSLLI), Malaga, 2006. P. 88 - 98.
Ляйтгеб, Шурц 2005 - Leitgeb H., Schurz G. Non-monotonic and uncertain reasoning in cognition // Synthese, 146 (2005).
Пиаже 1953 - Piaget J. The Origins of Intelligence in Children. London, 1953.
Скирмс 2004 - Skyrms B. The Stag Hunt and the Evolution of Social Structure. Cambridge, 2004.
стр. 73
Справочник 1983 - 1999- Gabbay D., Guenthner F. (eds.). Handbook of Philosophical Logic. Dordrecht, 1983 - 1999.
Справочник 1997- Benthem J. van, ter Meulen A. (eds.). Handbook of Logic and Language. Amsterdam, 1997.
Справочник 2004 - Gabbay D., Woods J. (eds.), Handbook of Logic and Argumentation. Amsterdam, 2004.
Справочник 2007 - Baggio G., van Lambalgen M., Hagoort P. Language, Linguistics and Cognition / Stokhof M., Groenendijk J. (eds.), Handbook of the Philosophy of Linguistics. Amsterdam, 2007.
Стеннинг 2001 - Stenning K. Seeing Reason: Image and Language in Learning to Think. Oxford, 2001.
Стеннинг, Ламбальген 2007- Stenning K., Lambalgen M. van. Human reasoning and Cognitive Science. Cambridge, Mass., 2007.
Тененбаум и др., 2006 - Tenenbaum J.B., Griffiths Th.L., Kemp Ch. 'Theory-Based Bayesian Models of Inductive Learning and Reasoning // Trends in Cognitive Science. 10 (2006), 7. P. 309 - 318.
Тентори и др., 2007 - Tentori K., Crupi V., Bonini N., Osherson D. Comparison of Confirmation Measures', Cognition, 103 (2007), 1, 107 - 119.
Теория 2004 - Gopnik A., Glymour C., Sobel D.M., Schulz L.E., Kushnir Т., Danks D. A theory of causal learning in children: Causal maps and bayes nets // Psychological Review 111 (2004). 1. P. 3 - 32.
Уэйсон, Джонсон-Лэрд 1972- Wason P., Johnson-Laird P.N. The Psychology of Reasoning: Structure and Content. Cambridge, Mass, 1972.
Хаак 1974 - Haack S. Deviant Logic: Some Philosophical Issues. Cambridge, 1974.
Хансен, Хендрикс (ред.) 2007 - Hansen P., Hendricks V.F. (eds.). Five Questions on Game Theory. Copenhagen, 2007.
Ходжс, Ходжс, Ван Бентем 2007 - Hodges H., Hodges W., Benthem J. van. Logic and Psychology' // Topoi, 26 (2007).
Примечания
1 Детективные романы - это определенно одна из ранних форм прикладной логики, нашедшей применение в человеческой практике.
2 Изначально я планировал в этой работе сформировать современный взгляд на аргумент Фреге, но я понял, что это означало бы попасть в ту самую ловушку, которой обычно хочешь избежать: рассматривать отношения с внешним миром как внутренний случай.
3 Вундт критиковал Булевскую систему за ее большой отрыв от практики, и его критика актуальна по сей день.
4 Антипсихологизм - это абстрактная установка вроде антиамериканизма. Она позволяет логикам связываться с отдельными психологами на дружеских основаниях при условии, что те не станут проповедовать о своих научных догадках.
5 Стоит заметить, что сидят в той же лодке и следуют мучительным курсом между нормативной теорией и описательной практикой и многие другие области знания, включая теорию вероятностей, теорию игр и даже лингвистику. О щекотливом положении теории игр ср. проницательные записи Каменер, Рубинштейн и других в книге [Хансен, Хендрикс (ред.), 2007]. Что до состояния теории вероятностей, то это заслуживает отдельного сочинения - но позвольте мне сказать вот что. Ситуация здесь такая же, как в логике, в том смысле, что есть противоречие между корректными правилами базового исчисления и теми "неудачами" которые описываются в случаях, когда человек рассуждает в ситуации неопределенности, часто виня грубые ошибки, такие как трансформация состояния в вероятность состояния. (В работе [Джиротто, Гонсалес 2005] приводится ряд противоречащих свидетельств здравого рассуждения, в том числе в случаях с маленькими детьми.) Но есть также и устоявшаяся традиция, признающая, что правила базового исчисления нельзя проверять отдельно от выбора, выполняемого субъектами вероятностной модели в ситуации, в которой они себя воображают. Аналогом этого в случае логического рассуждения будет тщательное изучение формальных возможностей для выбора и дальнейшее управление характеристическими моделями - как представлено, например, в перепроверке Карточной Задачи Уэйсона в [Стеннинг, ван Ламбальген 2007]. Но ср. ниже в Разделе 2 ряд замечаний по поводу этого 'свободного параметра', вызванного неявно. В любом случае теория вероятностей не похожа на логику в том, что она "впитала" противоречие между двоякими взглядами ее основных понятий и изучает объективную, основанную на частоте вероятность наравне с субъективной вероятностью в виде степени доверия. В этом свете самые старые объяснения вероятности, такие как в знаменитом трактате Яна де Витта "Waerdije" 1671 г., на фоне
стр. 74
имеющихся кандидатов представляют собой довольно изысканный компромисс. Здесь наблюдаемые явления сдерживают субъективный взгляд. Что же будет аналогом привычных экономических понятий "выявленная вера" или "выявленное предпочтение" для логики?
6 На самом деле схема "представление-преобразование" при анализе логической практики опасно близка к всеобъемлющим стратегиям "вакцинации" теории от практики, таким как хорошо известное различение в лингвистике между "компетенцией" и "употреблением".
7 Согласно одному расхожему мнению, логика - это "арсенал формальных систем", из которых прикладной логик всегда может выбрать подходящую для любой мыслимой задачи. Лично мне эта идея "меню на вынос" кажется статичной и бездушной, поскольку она отождествляет логику с формальными системами: взгляд, раскритикованный как "заключение системы" в [Бентем 1999].
8 Современные учебники по философии логики почти исключают из списка тем любую информацию о текущем положении дел в современной логике, сохранив, таким образом, status quo в лучшем случае 1960-х годов.
9 Советую обращаться к изданию [Справочник 1983 - 1999] за общей информацией в этой области.
10 Философскую логику часто считают полицией разума "философии формального языка" - тогда как "философия естественного языка" с самого начала тяготела к наблюдениям над реальным человеческим поведением. Но наблюдения над сложившейся практикой играют ключевую роль в обеих этих крупных областях аналитической философии.
11 А некоторые философы даже обращались с нечестивой гордостью к слепой интуиции как более предпочтительной по сравнению с действующей практикой.
12 В наши дни в семантике естественного языка эта любовь к фактам дошла даже до реальных статистических корпусных исследований.
13 Еще один пример из этого широкого диапазона - современные работы о преимуществах графических представлений над символическими в человеческом рассуждении, логике и вычислительной технике, см.: [Барвайз, Этчменди 1991; Кердильс 2001].
14 Для сравнения возьмите странный, и, тем не менее, часто цитируемый взгляд на современную логику как на собрание "девиантных логик" в [Хаак 1974] и более поздних публикациях.
15 Коллега-психолог предупреждал меня, что эксперимент может не сработать, но, по меньшей мере, дети в центре NEMO, судя по всему, обладали довольно неплохой "теорией мышления", как называют это итеративное знание.
16 Многие из этих разнообразных информационных процессов, как и их рассмотрение в логике, обнаруживают влияние вычислительной науки. Я не буду развивать здесь эту тему, но хочу отметить возрастающую значимость, в том числе и в логике, вычислительных структур в поведении, и связанных с ними проблем вычислительной сложности.
17 Сравните также традицию когнитивных исследований - граничить с рассуждением в условиях неопределенности, где большинство исследователей разделяют обе стороны: см. [Теория 2004; Тененбаум и др., 2006] или [Тентори и др., 2007].
18 Сопровождение выведенной памяти с возможностью поиска предусматривает "рост" в производительности.
19 Соответствующая область, где это разнообразие общепризнано - в литературе по "ограниченной рациональности" в теории игр.
20 Более подробно об "архитектурных решениях" в разработке логических систем см.: [Бентем 1999].
21 Ср. попперовскую идею "прожекторных теорий", необходимых для отыскания релевантных экспериментальных фактов. Подобные мысли звучали и в нейронауке, где гипер-современное измерительное устройство не гарантирует возможности задать интересные вопросы.
22 Список включает статьи об основанных на нейросетях механизмах абдукции, дедукции и индукции, об оптимальном коммуникативном поведении между несколькими агентами в совместном диалоге, об удивлении как спусковом крючке для пересмотра убеждения, о численном рассуждении в мозгу как несовместимом с пониманием языка, о логическом рассуждении в мозгу и его взаимодействии с языком, зрением и другими модулями, об условном рассуждении моделируемом логиками умолчаний и психическими патологиями, о том, какое состояние разума составляет "условное убеждение", на основе как философской эпистемологии, так и когнитивной психологии, о положении дел в когнитивных исследованиях условных высказываний и о роли темы и фокуса в связности текста.
23 Современная динамическая логика обновлений даже моделирует реальные физические изменения в мире.
стр. 75
24 Мне сложно представить какую-то академическую область, столь же неприступную, как логика. И честно говоря, это дурной знак. В сферах крепко в себе уверенных гораздо меньше проблем с изменением курса.
25 Алла Фролова однажды спросила: как кто-то может захотеть быть неклассическим логиком, если можно быть классическим? - Как если бы кто-то предпочитал быть Бетховеном, а не Шенбергом.
26 И в конце концов, подумайте о самой математике как примере теории, ставшей практикой: формальной практикой с теоретически разработанными инструментами, которая дошла до того, что воспринимается как естественная.
27 Путь прогресса в когнитивной науке подостлан отсутствием Барьерного Тезиса. Расселовский Тезис Обманчивой Формы - это известный пример, когда не удалось в конечном счете удержать логику и лингвистику порознь. Но таковы и знаменитые заявления о предполагаемой Неадекватности Нейронных Сетей (Мински), или пресловутой гибели "Символической Парадигмы" в 1980-х.
Перевод с английского И. Литуновского
стр. 76