It is argued that a number of important, and seemingly disparate, types of representation are species of a single relation, here called structural representation, that can be described in detail and studied in a way that is of considerable philosophical interest. A structural representation depends on the existence of a common structure between a representation and that which it represents, and it is important because it allows us to reason directly about the representation in order to draw conclusions about the (...) phenomenon that it depicts. The present goal is to give a general and precise account of structural representation, then to use that account to illuminate several problems of current philosophical interest — including some that do not initially seem to involve representation at all. In particular, it is argued that ontological reductions (like that of the natural numbers to sets), compositional accounts of semantics, several important sorts of mental representation, and (perhaps) possible worlds semantics for intensional logics are all species of structural representation and are fruitfully studied in the framework developed here. (shrink)

What might a theory of mental imagery look like, and how might one begin formulating such a theory? These are the central questions addressed in the present paper. The first section outlines the general research direction taken here and provides an overview of the empirical foundations of our theory of image representation and processing. Four issues are considered in succession, and the relevant results of experiments are presented and discussed. The second section begins with a discussion of the proper form (...) for a cognitive theory, and the distinction between a theory and a model is developed. Following this, the present theory and computer simulation model are introduced. This theory specifies the nature of the internal representations (data structures) and the processes that operate on them when one generates, inspects, or transforms mental images. In the third, concluding, section we consider three very different kinds of objections to the present research program, one hinging on the possibility of experimental artifacts in the data, and the others turning on metatheoretical commitments about the form of a cognitive theory. Finally, we discuss how one ought best to evaluate theories and models of the sort developed here. (shrink)

The mainstream philosophical approach to inference, which insists on sentence-like representations and a linguistic capability, excludes non-human animals as possible agents capable of making inferences. However, an abundance of studies show that many animal species exhibit behaviors that seem to rely on some kind of reasoning. My focus here are the transitive inference tasks, which most species solve quite successfully. These findings put pressure on the mainstream views, and still lack a convincing explanation. I introduce the concept of affective representations, (...) which satisfy the semantic and structural requirements for participating in inferences. I also argue for a broader conception of inference, and show how we can apply this view to explain the results of the transitive inference studies. Finally, I suggest it is more useful to think of flexibility of thought in terms of a continuous range, rather than a dichotomy of flexible vs. inflexible. (shrink)

People can support abstract reasoning by using mental models with spatial simulations. Such models are employed when people represent elements in terms of ordered dimensions (e.g. who is oldest, Tom, Dick, or Harry). We test and find that the process of forming and using such mental models can influence the liking of its elements (e.g. Tom, Dick, or Harry). The presumed internal structure of such models (linear-transitive array of elements), generates variations in processing ease (fluency) when using the model in (...) working memory (see the Symbolic Distance Effect, SDE). Specifically, processing of pairs where elements have larger distances along the order should be easier compared to pairs with smaller distances. Elements from easier pairs should be liked more than elements from difficult pairs (fluency being hedonically positive). Experiment 1 shows that unfamiliar ideographs are liked more when at wider distances and therefore easier to process. Experiment 2 replicates this effect with non-words. Experiment 3 rules out a non-spatial explanation of the effect while Experiments 4 offers a high-powered replication. Experiment 5 shows that the spatial effect spontaneously emerges after learning, even without a task that explicitly focuses on fluency. Experiment 6 employed a shorter array, but yielded no significant results. (shrink)

Exposing the chimpanzee to language training appears to enhance the animal's ability to perform some kinds of tasks but not others. The abilities that are enhanced involve abstract judgment, as in analogical reasoning, matching proportions of physically unlike exemplars, and completing incomplete representations of action. The abilities that do not improve concern the location of items in space and the inferences one might make in attempting to obtain them. Representing items in space and making inferences about them could be done (...) with an imaginal code, but representing relations and judging the relations between them, as in analogies, requires a more abstract code. Language training cannot instill such an abstract code, but for species that have the code to start with, it may enhance the animal's ability to use it. (shrink)

How do people make deductions? The orthodox view in psychology is that they use formal rules of inference like those of a “natural deduction” system.Deductionargues that their logical competence depends, not on formal rules, but on mental models. They construct models of the situation described by the premises, using their linguistic knowledge and their general knowledge. They try to formulate a conclusion based on these models that maintains semantic information, that expresses it parsimoniously, and that makes explicit something not directly (...) stated by any premise. They then test the validity of the conclusion by searching for alternative models that might refute the conclusion. The theory also resolves long-standing puzzles about reasoning, including how nonmonotonic reasoning occurs in daily life. The book reports experiments on all the main domains of deduction, including inferences based on prepositional connectives such as “if” and “or,” inferences based on relations such as “in the same place as,” inferences based on quantifiers such as “none,” “any,” and “only,” and metalogical inferences based on assertions about the true and the false. Where the two theories make opposite predictions, the results confirm the model theory and run counter to the formal rule theories. Without exception, all of the experiments corroborate the two main predictions of the model theory: inferences requiring only one model are easier than those requiring multiple models, and erroneous conclusions are usually the result of constructing only one of the possible models of the premises. (shrink)

Johnson -Laird has argued that spatial reasoning is based on the construction and manipulation of mental models in memory. The present article addresses the question of whether reasoning about time relations is constrained by the same factors as reasoning about spatial relations. An experiment is reported that explored the similarities and the differences in the performance of subjects in comparable spatial and temporal reasoning tasks. The results indicated that, in both the temporal and the spatial content domains, the data were (...) in agreement with the view that subjects solved problems by constructing models in memory rather than with a logical rule conceptualisation of reasoning. An analysis of the premise-reading times on the basis of premise-linking order provided support for an on-line process of mental models construction, and offered an explanation for the finding that spatial problems that did require an inference of transitivity were easier than problems that did not. No essential differences in processing and performance were observed across the two content domains, although in the time domain the correctness data were in agreement with both the mental models theory and the logical rules view. The results are discussed with respect to the mental models theory and the structural characteristics of the problems. (shrink)

This paper reviews current psychological theories of syllogistic inference and establishes that despite their various merits they all contain deficiencies as theories of performance. It presents the results of two experiments, one using syllogisms and the other using three-term series problems, designed to elucidate how the arrangement of terms within the premises affects performance. These data are used in the construction of a theory based on the hypothesis that reasoners construct mental models of the premises, formulate informative conclusions about the (...) relations in the model, and search for alternative models that are counterexamples to these conclusions. This theory, which has been implemented in several computer programs, predicts that two principal factors should affect performance: the figure of the premises, and the number of models that they call for. These predictions were confirmed by a third experiment. Dans cet article sont passées en revue les théories psychologiques du traitement des syllogismes. On établit qu'en dépit de leurs mérites variés toutes sont en défaut en tant que théories de la performance. On présente les résultats de deux expériences, une utilisant des syllogismes et l'autre des problémes avec des séries de trois termes conçues pour élucider comment l'arrangement des termes dans les premises affecte la performance. Ces données sont utilisées pour construire une théorie fondée sur l'hypothése que les gens construisent des modèles mentaux des premises, formulent des conclusions explicites sur les relations dans le modèle et cherchent des modèles qui seraient des contre-exemples pour leurs conclusions. Cette théorie, utilisée dans plusieurs programmes d'ordinateur, prédit que deux principaux facteurs affectent la performance: la figure des premises et le nombre de; modèles qu'ils mettent en jeu. Cette prédiction est confirmée dans les trois expériences. (shrink)

The present contribution argues that transitive reasoning, as exemplified in paradigms of linear order construction in mental space, is associated with spatial effects. Starting from robust findings from the early 70s, research so far has widely discussed the symbolic distance effect. This effect shows that after studying pairs of relations, e.g., “A > B,” “B > C,” and “D > E,” participants are more correct, and faster in correct responding, the wider the “distance” between two elements within the chain A (...) > B > C > D > E. The SDE has often been given spatial interpretations, but alternatively, non-spatial models of the effect are also viable on the empirical basis so far, which means the question about spatial contributions to the construction of analog representations of rank orders is still open. We suggest here that laterality effects can add the necessary additional information to support the idea of spatial processes. We introduce anchoring effects in terms of showing response advantages for congruent versus incongruent pairings of presentation location on a screen on the one hand, and the hypothetical spatial arrangement of the order in mental space, on the other hand. We report pertinent findings and discuss anchoring paradigms with respect to their internal validity as well as their being rooted in basic mechanisms of trained reading/writing direction. (shrink)

Reasoning research has focussed mainly on the type of cognitive processes involved when representing premises and when producing conclusions. But less is known about the factors that guide these representational and inferential processes. What premises are actually taken as input in reasoning? And what conclusions are intended? In this paper it is argued that considerations of relevance (Sperber and Wilson, Relevance: communication and cognition. Blackwell, Oxford, 1995) are helpful for addressing these issues as a pragmatic analysis of two sorts of (...) tasks is carried out, Wason’s 2-4-6 problem (Study 1) and a conditional reasoning problem (Study 2). Study 1 indicates that the way this task is communicated may encourage participants to consider misleading information as highly relevant for solving it. Two experiments go on to show that when the relevance of misleading information is contextually diminished, participants are more efficient at providing the correct solution. Study 2 compares the production rate of two sorts of conclusions: logically valid but weakly relevant conclusions and invalid but relevant and pragmatically justified conclusions. This study shows that the relevance of conclusions determines to a large extent whether or not they will be produced. (shrink)

Four experiments examined the strategies that individuals develop in sentential reasoning. They led to the discovery of five different strategies. According to the theory proposed in the paper, each of the strategies depends on component tactics, which all normal adults possess, and which are based on mental models. Reasoners vary their use of tactics in ways that have no deterministic account. This variation leads different individuals to assemble different strategies, which include the construction of incremental diagrams corresponding to mental models, (...) and the pursuit of the consequences of a single model step by step. Moreover, the difficulty of a problem (i.e., the number of mental models required by the premises) predisposes reasoners towards certain strategies. Likewise, the sentential connectives in the premises also bias reasoners towards certain strategies, e.g., conditional premises tend to elicit reasoning step by step whereas disjunctive premises tend to elicit incremental diagrams. (shrink)

Four experiments examined the strategies that individuals develop in sentential reasoning. They led to the discovery of five different strategies. According to the theory proposed in the paper, each of the strategies depends on component tactics, which all normal adults possess, and which are based on mental models. Reasoners vary their use of tactics in ways that are not deterministic. This variation leads different individuals to assemble different strategies, which include the construction of incremental diagram corresponding to mental models, and (...) the pursuit of the consequences of a single model step by step. Moreover, the difficulty of a problem (i.e. the number of mental models required by the premises) predisposes reasoners towards certain strategies. Likewise, the sentential connectives in the premises also bias reasoners towards certain strategies, e.g., conditional premises tend to elicit reasoning step by step whereas disjunctive premises tend to elicit incremental diagrams. (shrink)

I examined the proposition that there are psychological limits on what scientific problems can be solved, and that these limits may be based on a failure to be able to produce imagable, observation-based models for any possible solution, a position suggested by philosopher Colin McGinn in an argument attempting to prove that the mind-body problem is unsolvable. I examined another likely candidate for an unsolvable problem -- the ultimate origin of the universe (i.e., what might have preceded the Big Bang (...) or any other starting point; why there should be something rather than nothing) -- by exploring the reasoning of physicists about this problem and measuring visual imagery frequency and vividness, with the expectation that those who most believed the problem unsolvable would be more frequent/vivid imagers and therefore more affected by the apparent impossibility of producing an imagable solution. Eight physicists were interviewed and imagery frequency and vividness measurements performed using Cohen & Saslona's IDQ-IHS and Marks's VVIQ, respectively. All subjects considered the problem unsolvable within today's physics and all but one thought the problem still meaningful, though none were optimistic about a solution. The one subject who dismissed the problem had the lowest imagery frequency score, and there was also a significant rank order correlation (r = 0.83, p < .02) between degree of belief in problem unsolvability (extended to include viewing the problem as meaningful and not already solved) and a composite imagery frequency/vividness score, though the sample was too small to control for some possible confounding factors. (shrink)