A theory of analogy must describe how the meaning of an analogy is derived from the meanings of its parts. In the structure‐mapping theory, the interpretation rules are characterized as implicit rules for mapping knowledge about a base domain into a target domain. Two important features of the theory are (a) the rules depend only on syntactic properties of the knowledge representation, and not on the specific content of the domains; and (b) the theoretical framework allows analogies to be distinguished (...) cleanly from literal similarity statements, applications of abstractions, and other kinds of comparisons.Two mapping principles are described: (a) Relations between objects, rather than attributes of objects, are mapped from base to target; and (b) The particular relations mapped are determined by systematicity, as defined by the existence of higher‐order relations. (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)