Usability and usefulness have made the spreadsheet one of the most successful computing applications of all times: millions rely on it every day for anything from typing grocery lists to developing multimillion dollar budgets. One thing spreadsheets are not very good at is manipulating symbolic data and helping users make decisions based on them. By tapping into recent research in Logic Program...

There are currently increased efforts to make proof central to school mathematics throughout the grades. Yet, realizing this goal is not easy, as it requires that students master several abilities. In this article, we focus on one such ability, namely, the ability for deductive reasoning. We first offer a conceptualization of proof, which we use to delineate our focus on deductive reasoning. We...

In an effort to clarify how deductive reasoning is accomplished, an fMRI study was performed to observe the neural substrates of logical reasoning and mathematical calculation. Participants viewed a problem statement and three premises, and then either a conclusion or a mathematical formula. They had to indicate whether the conclusion followed from the premises, or to solve the mathematical for...

Psychological studies of deductive reasoning have shown that subjects' performance is affected significantly by the content of the presented stimuli. Specifically, subjects find it easier to reason about contexts and situations with a social content. In the present study, the effect of content on brain activation was investigated with functional magnetic resonance imaging (fMRI) while subjects ...

Logical inference is often seen as an exclusively human and language-dependent ability, but several nonhuman animal species search in a manner that is consistent with a deductive inference, the disjunctive syllogism: when a reward is hidden in one of two cups, and one cup is shown to be empty, they will search for the reward in the other cup. In Experiment 1, we extended these results to toddle...