Robert Mackiewicz

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)
Experiments showed that children are able to create algorithms, that is, sequences of operations that solve problems, and that their gestures help them to do so. The theory of mental models, which is implemented in a computer program, postulates that the creation of algorithms depends on mental simulations that unfold in time. Gestures are outward signs of(More)
The paper presents two studies that investigated how individuals reason from disjunctive statements that use numerical estimations. In the experiments two types of such statements were used. In the first type both constituents of a disjunction could be a logically correct answer. That is, if “The average life time of a fruit fly is either 9 or 27 days”, any(More)
  • 1