Keith Stenning

Several of Beller, Bender, and Medin’s (2012) issues are as relevant within cognitive science as between it and anthropology. Knowledge-rich human mental processes impose hermeneutic tasks, both on subjects and researchers. Psychology's current philosophy of science is ill suited to analyzing these: Its demand for ‘‘stimulus control’’ needs to give way to ‘‘negotiation of mutual interpretation.’’ Cognitive science has ways to address these issues, as does anthropology. An example from my own work is about how defeasible logics are mathematical models of some aspects of simple hermeneutic processes. They explain processing relative to databases of knowledge and belief—that is, content. A specific example is syllogistic reasoning, which raises issues of experimenters’ interpretations of subjects’ reasoning. Science, especially since the advent of understandings of computation, does not have to be reductive. How does this approach transfer onto anthropological topics? Recent cognitive science approaches to anthropological topics have taken a reductive stance in terms of modules. We end with some speculations about a different cognitive approach to, for example, religion

"A structured connectionist model using temporal synchrony has been proposed by Shastri & Ajjanagadde. This model has provided a mechanism which encodes rules and facts involving n-ary predicates and handles some types of dynamic variable binding. Their model, however, has problems in dealing with important knowledge representation issues such as binding generation, consistency checking, unification, etc. This paper presents a restructuring of the original model which overcomes many of its limitations while, at the same time, reducing the number of types of node [sic] required and maintaining the merits of the original model."

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

We advance a theoretical framework which combines recent insights of research in logic, psychology, and formal semantics, on the nature of diagrammatic representation and reasoning. In particular, we wish to explain the varied efficacy of reasoning and representing with diagrams. In general we consider diagrammatic representations to be restricted in expressive power, and we wish to explain efficacy of reasoning with diagrams via the semantical and computational properties of such restricted `languages'. Connecting these foundational insights (from semantics and complexity theory) to the psychology of reasoning with diagrams requires us to develop the notion of the {\it availability} (to an agent) of {\it constraints} operating within representation systems, as a consequence of their direct semantic interpretation. Thus we offer a number of fundamental definitions as well as a research programme which aligns current efforts in the logical and psychological analysis of diagrammatic representation systems.

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.