The capacity for logical inference is a critical aspect of human learning, reasoning, and decision-making. One important logical inference is the disjunctive syllogism: given A or B, if not A, then B. Although the explicit formation of this logic requires symbolic thought, previous work has shown that nonhuman animals are capable of reasoning by exclusion, one aspect of the disjunctive syllogism (e.g., not A = avoid empty). However, it is unknown whether nonhuman animals are capable of the deductive aspects of a disjunctive syllogism (the dependent relation between A and B and the inference that "if not A, then B" must be true). Here, we used a food-choice task to test whether monkeys can reason through an entire disjunctive syllogism. Our results show that monkeys do have this capacity. Therefore, the capacity is not unique to humans and does not require language.
Keywords: comparative cognition; disjunctive syllogism; inference; logic; primates; reasoning.