Deductive reasoning shares with other forms of thinking a reliance on strategies, as shown by the results of three experiments on the nature and development of control strategies to solve suppositional deductions. These puzzles are based on assertors who may or may not be telling the truth, and their assertions about their status as truthtellers and liars. The first experiment shows that reasoners make backward inferences as well as forward inferences, to short-cut their way through the alternatives, and the generation (...) of suppositions is a source of difficulty. The second experiment establishes that the elimination of the suppositional status of an individual does not render problems easier. The third experiment shows that reasoners can improve their reasoning accuracy and speed spontaneously, without feedback, and it clarifies the transfer of strategies and their development. We discuss the implications of these data for alternative theories of suppositional deduction and for the relationship between reasoning and other forms of thinking such as problem solving. (shrink)

In this book, Newell makes the case for unified theories by setting forth a candidate.

Much research in the last two decades has demonstrated that human responses deviate from the performance deemed normative according to various models of decision making and rational judgment (e.g., the basic axioms of utility theory). This gap between the normative and the descriptive can be interpreted as indicating systematic irrationalities in human cognition. However, four alternative interpretations preserve the assumption that human behavior and cognition is largely rational. These posit that the gap is due to (1) performance errors, (2) computational (...) limitations, (3) the wrong norm being applied by the experimenter, and (4) a different construal of the task by the subject. In the debates about the viability of these alternative explanations, attention has been focused too narrowly on the modal response. In a series of experiments involving most of the classic tasks in the heuristics and biases literature, we have examined the implications of individual differences in performance for each of the four explanations of the normative/descriptive gap. Performance errors are a minor factor in the gap; computational limitations underlie non-normative responding on several tasks, particularly those that involve some type of cognitive decontextualization. Unexpected patterns of covariance can suggest when the wrong norm is being applied to a task or when an alternative construal of the task should be considered appropriate. Key Words: biases; descriptive models; heuristics; individual differences; normative models; rationality; reasoning. (shrink)

The authors outline a theory of conditionals of the form If A then C and If A then possibly C. The 2 sorts of conditional have separate core meanings that refer to sets of possibilities. Knowledge, pragmatics, and semantics can modulate these meanings. Modulation can add information about temporal and other relations between antecedent and consequent. It can also prevent the construction of possibilities to yield 10 distinct sets of possibilities to which conditionals can refer. The mental representation of a (...) conditional normally makes explicit only the possibilities in which its antecedent is true, yielding other possibilities implicitly. Reasoners tend to focus on the explicit possibilities. The theory predicts the major phenomena of understanding and reasoning with conditionals. (shrink)

Reviews evidence which suggests that there may be little or no direct introspective access to higher order cognitive processes. Ss are sometimes unaware of the existence of a stimulus that importantly influenced a response, unaware of the existence of the response, and unaware that the stimulus has affected the response. It is proposed that when people attempt to report on their cognitive processes, that is, on the processes mediating the effects of a stimulus on a response, they do not do (...) so on the basis of any true introspection. Instead, their reports are based on a priori, implicit causal theories, or judgments about the extent to which a particular stimulus is a plausible cause of a given response. This suggests that though people may not be able to observe directly their cognitive processes, they will sometimes be able to report accurately about them. Accurate reports will occur when influential stimuli are salient and are plausible causes of the responses they produce, and will not occur when stimuli are not salient or are not plausible causes. (shrink)

Human agents draw a variety of inferences effortlessly, spontaneously, and with remarkable efficiency – as though these inferences were a reflexive response of their cognitive apparatus. Furthermore, these inferences are drawn with reference to a large body of background knowledge. This remarkable human ability seems paradoxical given the complexity of reasoning reported by researchers in artificial intelligence. It also poses a challenge for cognitive science and computational neuroscience: How can a system of simple and slow neuronlike elements represent a large (...) body of systemic knowledge and perform a range of inferences with such speed? We describe a computational model that takes a step toward addressing the cognitive science challenge and resolving the artificial intelligence paradox. We show how a connectionist network can encode millions of facts and rules involving n-ary predicates and variables and perform a class of inferences in a few hundred milliseconds. Efficient reasoning requires the rapid representation and propagation of dynamic bindings. Our model (which we refer to as SHRUTI) achieves this by representing (1) dynamic bindings as the synchronous firing of appropriate nodes, (2) rules as interconnection patterns that direct the propagation of rhythmic activity, and (3) long-term facts as temporal pattern-matching subnetworks. The model is consistent with recent neurophysiological evidence that synchronous activity occurs in the brain and may play a representational role in neural information processing. The model also makes specific psychologically significant predictions about the nature of reflexive reasoning. It identifies constraints on the form of rules that may participate in such reasoning and relates the capacity of the working memory underlying reflexive reasoning to biological parameters such as the lowest frequency at which nodes can sustain synchronous oscillations and the coarseness of synchronization. (shrink)

Thoughts and other mental states are defined by their role in a functional system. Since it is easier to determine when we have knowledge than when reasoning has occurred, Gilbert Harman attempts to answer the latter question by seeing what assumptions about reasoning would best account for when we have knowledge and when not. He describes induction as inference to the best explanation, or more precisely as a modification of beliefs that seeks to minimize change and maximize explanatory coherence. Originally (...) published in 1973. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

Most theories of deduction have assumed that linguistic processes transduce from language into an internal representation and back again, and that non-linguistic processes are central to deduction itself. In this article it is proposed that for deduction tasks for which the necessary information is provided verbally, the heart of deduction for untrained participants involves repeatedly reencoding the problem, a type of behavior referred to here as verbal reasoning. It is shown that model theory accounts of behavior on most deduction tasks (...) are consistent with verbal reasoning and that verbal reasoning can account for detailed behavior in a single task; a computational model of syllogistic reasoning—VR—based on linguistic mechanisms is presented. VR models all of the standard phenomena, makes a number of accurate novel predictions, and fits the behavior of individual participants with an accuracy that rivals their own test–retest reliability. (shrink)

Lance Rips describes a unified theory of natural deductive reasoning and fashions a working model of deduction, with strong experimental support, that is capable of playing a central role in mental life.

This paper is about syllogistic reasoning, i.e., reasoning from such pairs of premises as, All the chefs are musicians; some of the musicians are painters. We present a computer model that implements the latest account of syllogisms, which is based on the theory of mental models. We also report four experiments that were designed to test this account. Experiments 1 and 2 examined the strategies revealed by the participants' use of paper and pencil as aids to reasoning. Experiment 3 used (...) a new technique to externalize thinking. The participants had to refute, if possible, putative conclusions by constructing external models that were examples of the premises but counterexamples of the conclusions. Experiment 4 used the same techniques to examine the participants' strategies as they drew their own conclusions from syllogistic premises. The results of the experiments showed that individuals not trained in logic can construct counterexamples, that they use similar operations to those implemented in the computer model, but that they rely on a much greater variety of interpretations of premises and of search strategies than the computer model does. We re‐evaluates current theories of syllogistic reasoning in the light of these results. (shrink)