Byrne has demonstrated that although subjects can make deductively valid inferences of the modus ponens and modus tollens forms, these valid inferences can be suppressed by presenting an appropriate additional premise “If R then Q” with the original conditional “If P then Q”. This suppression effect challenges the assumption of all syntactic theories of conditional reasoning that formal rules of inference such as modus ponens is part of mental logic. This paper argues that both the syntactic and the mental model (...) accounts of the suppression effect are inadequate because they fail to give a principled account of the critical interpretive component involved in reasoning. In contrast, the relative salience model proposed in this study emphasized the centrality of the interpretative processes with the critical component being the relative salience of premises as judged by subjects on the basis of their prior knowledge activated in particular problem situations. Using 120 undergraduates and 120 policemen as subjects, predictions from the model were tested and confirmed in a suppression paradigm and evidence of convergent validity for the construct of salience were obtained. The results cannot be reconciled with either the syntactic view or the mental model view that have dominated theories of conditional reasoning. (shrink)

During the first two years of human life a common neural substrate underlies the hierarchical organization of elements in the development of speech as well as the capacity to combine objects manually, including tool use. Subsequent cortical differentiation, beginning at age two, creates distinct, relatively modularized capacities for linguistic grammar and more complex combination of objects. An evolutionary homologue of the neural substrate for language production and manual action is hypothesized to have provided a foundation for the evolution of language (...) before the divergence of the hominids and the great apes. Support comes from the discovery of a Broca's area homologue and related neural circuits in contemporary primates. In addition, chimpanzees have an identical constraint on hierarchical complexity in both tool use and symbol combination. Their performance matches that of the two-year-old child who has not yet developed the neural circuits for complex grammar and complex manual combination of objects. (shrink)

Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Godel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of (...) philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gode1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Godel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.". (shrink)

In certain contexts reasoners reject instances of the valid Modus Ponens and Modus Tollens inference form in conditional arguments. Byrne (1989) observed this suppression effect when a conditional premise is accompanied by a conditional containing an additional requirement. In an earlier study, Rumain, Connell, and Braine (1983) observed suppression of the invalid inferences "the denial of the antecedent" and "the affirmation of the consequent" when a conditional premise is accompanied by a conditional containing an alternative requirement. Here we present three (...) experiments showing that the results of Byrne (1989) and Rumain et al. (1983) are influenced by the answer procedure. When reasoners have to evaluate answer alternatives that only deal with the inferences that can be made with respect to the first conditional, then suppression is observed (Experiment 1). However, when reasoners are also given answer alternatives about the second conditional (Experiment 2) no suppression is observed. Moreover, contrary to the hypothesis of Byrne (1989), at least some of the reasoners do not combine the information of the two conditionals and do not give a conclusion based on the combined premise. Instead, we hypothesise that some of the reasoners have reasoned in two stages. In the first stage, they form a putative conclusion on the basis of the first conditional and the categorical premise, and in the second stage, they amend the putative conclusion in the light of the information in the second premise. This hypothesis was confirmed in Experiment 3. Finally, the results are discussed with respect to the mental model theory and reasoning research in general. (shrink)

We discuss external and internal graphical and linguistic representational systems. We argue that a cognitive theory of peoples' reasoning performance must account for (a) the logical equivalence of inferences expressed in graphical and linguistic form; and (b) the implementational differences that affect facility of inference. Our theory proposes that graphical representations limit abstraction and thereby aid processibility. We discuss the ideas of specificity and abstraction, and their cognitive relevance. Empirical support comes from tasks (i) involving and (ii) not involving the (...) manipulation of external graphics. For (i), we take Euler's Circles, provide a novel computational reconstruction, show how it captures abstractions, and contrast it with earlier construals, and with Mental Models' representations. We demonstrate equivalence of the graphical Euler system, and the non-graphical Mental Models system. For (ii), we discuss text comprehension, and the mental performance of syllogisms. By positing an internal system with the same specificity as Euler's Circles we cover the Mental Models data, and generate new empirical predictions. Finally, we consider how the architecture of working memory explains why such specific representations are relatively easy to store. (shrink)

We discuss external and internal graphical and linguistic representational systems. We argue that a cognitive theory of peoples' reasoning performance must account for (a) the logical equivalence of inferences expressed in graphical and linguistic form, and (b) the implementational differences that affect facility of inference. Our theory proposes that graphical representation limit abstraction and thereby aid “processibility”. We discuss the ideas of specificity and abstraction, and their cognitive relevance. Empirical support both comes from tasks which involve the manipulation of external (...) graphics and tasks that do not. For the former, we take Euler's (1772) circles, provide a novel computational reconstruction, show how it captures abstractions, and contrast it with earlier construals and with Johnson‐Laird's (1983) mental models representations. We demonstrate equivalence of the graphical Euler system, and the nongraphical mental models system. For tasks not involving manipulation of external graphics, we discuss text comprehension, and the mental performance of syllogisms. By positing an internal system with the same specificity as Euler's circles, we cover the mental models data, and generate new empirical predictions. Finally, we consider how the architecture of working memory explains why such specific representations are relatively easy to store. (shrink)

This is a position paper concerning the role of empirical studies of human default reasoning in the formalization of AI theories of default reasoning. We note that AI motivates its theoretical enterprise by reference to human skill at default reasoning, but that the actual research does not make any use of this sort of information and instead relies on intuitions of individual investigators. We discuss two reasons theorists might not consider human performance relevant to formalizing default reasoning: (a) that intuitions (...) are sufficient to describe a model, and (b) that human performance in this arena is irrelevant to a competence model of the phenomenon. We provide arguments against both these reasons. We then bring forward three further considerations against the use of intuitions in this arena: (a) it leads to an unawareness of predicate ambiguity, (b) it presumes an understanding of ordinary language statements of typicality, and (c) it is similar to discredited views in other fields. We advocate empirical investigation of the range of human phenomena that intuitively embody default reasoning. Gathering such information would provide data with which to generate formal default theories and against which to test the claims of proposed theories. Our position is that such data are the very phenomena that default theories are supposed to explain. (shrink)

The idea that natural language grammar and planned action are relatedsystems has been implicit in psychological theory for more than acentury. However, formal theories in the two domains have tendedto look very different. This article argues that both faculties sharethe formal character of applicative systems based on operationscorresponding to the same two combinatory operations, namely functional composition and type-raising. Viewing them in thisway suggests simpler and more cognitively plausible accounts of bothsystems, and suggests that the language faculty evolved in the (...) speciesand develops in children by a rather direct adaptation of a moreprimitive apparatus for planning purposive action in the world bycomposing affordances of objects or tools. Theknowledge representation that underlies such planning is alsoreflected in the natural language semantics of tense, mood, andaspect, which the paper begins by arguing provides the key tounderstanding both systems. (shrink)

We investigate how the perceived uncertainty of a conditional affects a person's choice of conclusion. We use a novel procedure to introduce uncertainty by manipulating the conditional probability of the consequent given the antecedent. In Experiment 1, we show first that subjects reduce their choice of valid conclusions when a conditional is followed by an additional premise that makes the major premise uncertain. In this we replicate Byrne. These subjects choose, instead, a qualified conclusion expressing uncertainty. If subjects are given (...) a third statement that qualifies the likelihood of the additional premise, then the uncertainty of the conclusions they choose is systematically related to the suggested uncertainty. Experiment 2 confirms these observations in problems that omit the additional premise and qualify the first premise directly. Experiment 3 shows that the qualifying statement also affects the perceived probability of the consequent given the antecedent of the conditional. Experiment 4 investigates the effect of suggested uncertainty on the fallacies and shows that increases in uncertainty reduce the number of certain conclusions that are chosen while affirming the consequent but have no effect on denying the antecedent. We discuss our results in terms of rule theories and mental models and conclude that the latter give the most natural account of our results. (shrink)

This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains elegant versions and proofs of the fundamental theorems and lemmas in the proof theory of logic programming. Advanced topics such as recursive complexity (...) and negation as failure and its semantics are covered, and streamlined setups for SLD- and SLDNF-resolution are described. No other book treats this material in such detail and with such sophistication. Doets provides a novel approach to resolution that is applied to the first-order case and the case of (positive) logic programs. In contrast to the usual approach, the concept of a resolvent is defined nonconstructively, without recourse to the concept of unification, allowing the soundness and completeness proofs to be carried out in a more economic way. Other new material includes computability results dealing with analytical hierarchy, results on infinite derivations and an exposition on general logic programs using 3-valued logic. (shrink)

Modern logic provides accounts of both interpretation and derivation which work together to provide abstract frameworks for modelling the sensitivity of human reasoning to task, context and content. Cognitive theories have underplayed the importance of interpretative processes. We illustrate, using Wason's [Q. J. Exp. Psychol. 20 (1968) 273] selection task, how better empirical cognitive investigations and theories can be built directly on logical accounts when this imbalance is redressed. Subjects quite reasonably experience great difficulty in assigning logical form to descriptively (...) interpreted rules in this task and materials, though not to deontically interpreted ones. The main empirical contrasts in reasoning performance are precisely between these interpretations, so better semantic theory can explain the main empirical effects. However, a more adequate notion of logical form than that typically employed in the psychology of reasoning is required, and we offer a richer alternative. Prima facie evidence that subjects do in fact experience the predicted difficulties in interpreting descriptive materials is provided by analyses of socratic tutoring dialogues. Experimental verification that these difficulties do in fact affect subjects' performance in the standard task is provided by six novel experimental conditions each designed to test different aspects of the semantic predictions. The results bear out the predictions. The semantic distinction between descriptive and deontic rules interacts with the task specifics to provide powerful generalisations about reasoning which surface in detailed explanations of many disparate observations. We conclude that semantic analyses have more direct benefits for psychological investigation than is usually credited, and conversely, that the extraordinary pragmatic circumstances of psychological experiments yield much thought provoking data for semantic analysis. © 2004 Cognitive Science Society, Inc. All rights reserved.Subjects quite reasonably experience great difficulty in assigning logical form to descriptively interpreted rules in this task and materials, though not to deontically interpreted ones. The main empirical contracts in reasoning performance are precisely between these interpretatins, so better semantic theory can explain the main empirical effects. Howevers, a more adequate nation of logical from than that typically employed in the psychology of reasoning in required, and we offer a richer alternative.Prima facie evidence that subjects do in fact experience the predicted difficulties in interpreting descriptive materials is provided by analyses of socratic tutoring dialogues. Experimental verification that these difficulties do in fact affect subjects' performance in the standard task is provided by six novel experimental conditions each designed to test different aspects of the semantic predications.The resluts bear out the predictions. The semantic distinction between descriptive and deontic rules interacts with the task specifics to provide powerful generalisations about reasoning which surface in detailed explanations of many disparate observations. We conclude that semantic analyses have more direct benefits for psychological investigation than is usually credited, and conversely, that the extraordinary pragmatic circumstances of psychological experiments yield much thought provoking data for semantic analysis. (shrink)

We review the various explanations that have been offered toaccount for subjects'' behaviour in Wason ''s famous selection task. Weargue that one element that is lacking is a good understanding ofsubjects'' semantics for the key expressions involved, and anunderstanding of how this semantics is affected by the demands the taskputs upon the subject''s cognitive system. We make novel proposals inthese terms for explaining the major content effects of deonticmaterials. Throughout we illustrate with excerpts from tutorialdialogues which motivate the kinds of (...) analysis proposed. Our long termgoal is an integration of the various insights about conditionalreasoning on offer from different cognitive science methodologies. Thepurpose of this paper is to try to draw the attention of logicians andsemanticists to this area, since we believe that empirical investigationof the cognitive processes involved could benefit from semanticanalyses. (shrink)

Existing accounts of syllogistic reasoning oppose rule-based and model-based methods. Stenning \& Oberlander show that the latter are isomorphic to well-known graphical methods, when these are correctly interpreted. We here extend these results by showing that equivalent sentential implementations exist, thus revealing that all these theories are members of a family of abstract {\it individual identification algorithms} variously implemented in diagrams or sentences. This abstract logical analysis suggests a novel {\it individual identification task} for observing syllogistic reasoning processes. Comparison of (...) the results of this task with the Standard Task confirms that the tasks are psychologically closely related, throwing light on sources of error, on subjects' sensitivity to metalogical properties, and on term ordering phenomena. Since it avoids posing the sub-task of formulating a quantified conclusion, the new task allows comparison of explanations of problem difficulty in terms of the number of models with alternatives in terms of the difficulty of choosing a quantifier for the conclusion. Logical concepts of {\it source} and {\it conditional} premisses provide a comprehensive account of term order data, including figural effects, at a level abstract with regard to imagistic or sentential representations. These results argue that much richer empirical evidence will be required to discriminate phenomenologically distinct reasoning processes than has hitherto been supposed. (shrink)

This paper addresses the logical foundations of goal-regression planning in autonomous rational agents. It focuses mainly on three problems. The first is that goals and subgoals will often be conjunctions, and to apply goal-regression planning to a conjunction we usually have to plan separately for the conjuncts and then combine the resulting subplans. A logical problem arises from the fact that the subplans may destructively interfere with each other. This problem has been partially solved in the AI literature (e.g., in (...) SNLP and UCPOP), but the solutions proposed there work only when a restrictive assumption is satisfied. This assumption pertains to the computability of threats. It is argued that this assumption may fail for an autonomous rational agent operating in a complex environment. Relaxing this assumption leads to a theory of defeasible planning. The theory is formulated precisely and an implementation in the OSCAR architecture is discussed. (shrink)