Learn More
We present a theory, and its computer implementation, of how mental simulations underlie the abductions of informal algorithms and deductions from these algorithms. Three experiments tested the theory's predictions, using an environment of a single railway track and a siding. This environment is akin to a universal Turing machine, but it is simple enough(More)
This article reports investigations of inferences that depend both on connectives between clauses, such as or else, and on relations between entities, such as in the same place as. Participants made more valid inferences from biconditionals--for instance, Ann is taller than Beth if and only if Beth is taller than Cath--than from exclusive disjunctions (Exp.(More)
  • Robert Chairperson, Mackiewicz, Sangeet Discussant, Khemlani, Philipp Koralus, Robert Mackiewicz +2 others
  • 2015
Reasoners without any background in logic can make valid deductions. They can reason about sentences and relations (Mackiewicz & Johnson-Laird, 2012), ascribe culpability and causality (Bucciarelli et al., 2008), creatively generate algorithms to solve tasks (Khemlani et al., 2013), make inferences about mechanisms and physical scenes (Hegarty, 2004;(More)
  • 1