Journal of Logic, Language and Information 23 (1):1-29 (2014)
AbstractThis paper presents an attempt to bridge the gap between logical and cognitive treatments of strategic reasoning in games. There have been extensive formal debates about the merits of the principle of backward induction among game theorists and logicians. Experimental economists and psychologists have shown that human subjects, perhaps due to their bounded resources, do not always follow the backward induction strategy, leading to unexpected outcomes. Recently, based on an eye-tracking study, it has turned out that even human subjects who produce the outwardly correct ‘backward induction answer’ use a different internal reasoning strategy to achieve it. The paper presents a formal language to represent different strategies on a finer-grained level than was possible before. The language and its semantics help to precisely distinguish different cognitive reasoning strategies, that can then be tested on the basis of computational cognitive models and experiments with human subjects. The syntactic framework of the formal system provides a generic way of constructing computational cognitive models of the participants of the Marble Drop game
Similar books and articles
Representing and Reasoning about Game Strategies.Dongmo Zhang & Michael Thielscher - 2015 - Journal of Philosophical Logic 44 (2):203-236.
Common reasoning about admissibility.Cristina Bicchieri & Oliver Schulte - 1996 - Erkenntnis 45 (2-3):299 - 325.
Logic and abduction: Cognitive externalizations in demonstrative environments.Lorenzo Magnani - 2007 - Theoria 22 (3):275-284.
Should reason be fragmented?Nenad Miščević - 1996 - International Studies in the Philosophy of Science 10 (1):23-36.
The probabilistic approach to human reasoning.Mike Oaksford & Nick Chater - 2001 - Trends in Cognitive Sciences 5 (8):349-357.
Predicting the difficulty of complex logical reasoning problems.Stephen E. Newstead, Peter Bradon, Simon J. Handley, Ian Dennis & Jonathan St B. T. Evans - 2006 - Thinking and Reasoning 12 (1):62 – 90.
Logic and social cognition the facts matter, and so do computational models.Rineke Verbrugge - 2009 - Journal of Philosophical Logic 38 (6):649-680.
A little logic goes a long way: basing experiment on semantic theory in the cognitive science of conditional reasoning.Keith Stenning & Michiel Lambalgen - 2004 - Cognitive Science 28 (4):481-529.
Statistical models as cognitive models of individual differences in reasoning.Andrew J. B. Fugard & Keith Stenning - 2013 - Argument and Computation 4 (1):89 - 102.
A Logical argumentation model for computer-assisted reasoning.Mario Borillo - 1990 - Argumentation 4 (4):397-414.
Added to PP
Historical graph of downloads
Citations of this work
Tractability and the computational mind.Rineke Verbrugge & Jakub Szymanik - 2018 - In Mark Sprevak & Matteo Colombo (eds.), The Routledge Handbook of the Computational Mind. Oxford, UK: pp. 339-353.
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer International Publishing. pp. 289-337.
Studying strategies and types of players: experiments, logics and cognitive models.Sujata Ghosh & Rineke Verbrugge - 2018 - Synthese 195 (10):4265-4307.
Prospects for Experimental Philosophical Logic.Jeremiah Joven Joaquin - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (2):265–286.
References found in this work
Simple Heuristics That Make Us Smart.Gerd Gigerenzer, Peter M. Todd & A. B. C. Research Group - 1999 - New York, NY, USA: Oxford University Press USA.
Vision: Variations on Some Berkeleian Themes.Robert Schwartz & David Marr - 1985 - Philosophical Review 94 (3):411.
How Can the Human Mind Occur in the Physical Universe?John R. Anderson - 2007 - Oup Usa.
An Integrated Theory of the Mind.John R. Anderson, Daniel Bothell, Michael D. Byrne, Scott Douglass, Christian Lebiere & Yulin Qin - 2004 - Psychological Review 111 (4):1036-1060.