High-level perception--”the process of making sense of complex data at an abstract, conceptual level--”is fundamental to human cognition. Through high-level perception, chaotic environmen- tal stimuli are organized into the mental representations that are used throughout cognitive pro- cessing. Much work in traditional artificial intelligence has ignored the process of high-level perception, by starting with hand-coded representations. In this paper, we argue that this dis- missal of perceptual processes leads to distorted models of human cognition. We examine some existing artificial-intelligence models--”notably (...) BACON, a model of scientific discovery, and the Structure-Mapping Engine, a model of analogical thought--”and argue that these are flawed pre- cisely because they downplay the role of high-level perception. Further, we argue that perceptu- al processes cannot be separated from other cognitive processes even in principle, and therefore that traditional artificial-intelligence models cannot be defended by supposing the existence of a --œrepresentation module--� that supplies representations ready-made. Finally, we describe a model of high-level perception and analogical thought in which perceptual processing is integrated with analogical mapping, leading to the flexible build-up of representations appropriate to a given context. (shrink)

In this ambitious study, David Corfield attacks the widely held view that it is the nature of mathematical knowledge which has shaped the way in which mathematics is treated philosophically, and claims that contingent factors have brought us to the present thematically limited discipline. Illustrating his discussion with a wealth of examples, he sets out a variety of new ways to think philosophically about mathematics, ranging from an exploration of whether computers producing mathematical proofs or conjectures are doing real mathematics, (...) to the use of analogy, the prospects for a Bayesian confirmation theory, the notion of a mathematical research programme, and the ways in which new concepts are justified. His highly original book challenges both philosophers and mathematicians to develop the broadest and richest philosophical resources for work in their disciplines, and points clearly to the ways in which this can be done. (shrink)

Science makes extensive use of models, i.e. simplified or idealized representations of the systems found in the physical world. Models fall into at least two categories: mathematical and physical models. In this paper, we focus attention mainly on the latter, trying to show that they are essential tools not only of the scientific description of the world ‘out there’, but of man’s cognition of things, especially things not directly accessible to the senses. The spring-and-ball model of chemistry is a most (...) instructive example of a physical model. In other disciplines, from cosmology to physiology, models are used that are of the same kind or play the same role. It is concluded that physical models are objects which belong to the world accessible to man’s direct experience, often constructed ad hoc and possibly idealized. They serve as referents for analogies, which appear to be indispensable in most aspects of scientific theorizing, especially for the understanding of the submicroscopic levels of reality. (shrink)

Legal reasoning is not the same as the reasoning in mathematics or the physical sciences. It is like them. Specifying the likeness in more detail, and deciding whether there is more likeness than unlikeness, are the kinds of tasks that legal reasoning is better adapted to do than mathematical or scientific reasoning.

The object of this paper is to study the analogy, drawn both positively and negatively, between mathematics and fiction. The analogy is more subtle and interesting than fictionalism, which was discussed in part I. Because analogy is not common coin among philosophers, this particular analogy has been discussed or mentioned for the most part just in terms of specific similarities that writers have noticed and thought worth mentioning without much attention's being paid to the larger picture. I intend with this (...) analogy (looking at others' comparisons) to shed a little light on what is going on in mathematics, how one can understand it a bit other than experientially. This intention is philosophical and the way that I am attempting to accomplish it is also philosophical. I shall conclude my attempt to explain how it is possible and even natural for mathematics and fiction to have the analogy they have, taking it for granted, as argued in part I, that they are not to be identified. To this end I shall discuss philosophers' comparisons, mainly those of Hodes, Resnik, Tharp, and Wagner, who are the writers that seem to me to have written most thoughtfully and sufficiently extensively about fiction in making the comparison and of Körner, whose comparison is different. Whether either of these comparisons or the more general analogy is of permanent philosophical interest will have to be decided by philosophers now that they have had a fuller examination. I shall mention some other writers' reference to fiction, but not all; indeed, I am sure that I have not even found all the comparisons that there are. (shrink)

We analyze the logical form of the domain knowledge that grounds analogical inferences and generalizations from a single instance. The form of the assumptions which justify analogies is given schematically as the "determination rule", so called because it expresses the relation of one set of variables determining the values of another set. The determination relation is a logical generalization of the different types of dependency relations defined in database theory. Specifically, we define determination as a relation between schemata of first (...) order logic that have two kinds of free variables: (1) object variables and (2) what we call "polar" variables, which hold the place of truth values. Determination rules facilitate sound rule inference and valid conclusions projected by analogy from single instances, without implying what the conclusion should be prior to an inspection of the instance. They also provide a way to specify what information is sufficiently relevant to decide a question, prior to knowledge of the answer to the question. (shrink)

Concept formation in science is a reasoned process, commensurate with ordinary problem-solving processes. An account of how analogical reasoning and reasoning from imagistic representations generate new scientific concepts is presented. The account derives from case studies of concept formation in science and from computational theories of analogical problem solving in cognitive science. Concept formation by analogy is seen to be a process of increasing abstraction from existing conceptual structures.

In Connectionism and the Philosophy of Psychology, Horgan and Tienson (1996) argue that cognitive processes, pace classicism, are not governed by exceptionless, “representation-level” rules; they are instead the work of defeasible cognitive tendencies subserved by the non-linear dynamics of the brain’s neural networks. Many theorists are sympathetic with the dynamical characterisation of connectionism and the general (re)conception of cognition that it affords. But in all the excitement surrounding the connectionist revolution in cognitive science, it has largely gone unnoticed that connectionism (...) adds to the traditional focus on computational processes, a new focus – one on the vehicles of mental representation, on the entities that carry content through the mind. Indeed, if Horgan and Tienson’s dynamical characterisation of connectionism is on the right track, then so intimate is the relationship between computational processes and representational vehicles, that connectionist cognitive science is committed to a resemblance theory of mental content. (shrink)

Drawing on the work of Scheler, Heidegger, Merleau-Ponty, Husserl and Sartre, this article presents an overview of some of the diverse approaches to intersubjectivity that can be found in the phenomenological tradition. Starting with a brief description of Scheler's criticism of the argument from analogy, the article continues by showing that the phenomenological analyses of intersubjectivity involve much more than a 'solution' to the 'traditional' problem of other minds. Intersubjectivity doesn't merely concern concrete face-to-face encounters between individuals. It is also (...) something that is at play in simple perception, in tool-use, in emotions, drives and different types of self-awareness. Ultimately, the phenomenologists would argue that a treatment of intersubjectivity requires a simultaneous analysis of the relationship between subjectivity and world. It is not possible simply to insert intersubjectivity somewhere within an already established ontology; rather, the three regions 'self', 'others', and 'world' belong together; they reciprocally illuminate one another, and can only be understood in their interconnection. (shrink)

This paper defines the form of prior knowledge that is required for sound inferences by analogy and single-instance generalizations, in both logical and probabilistic reasoning. In the logical case, the first order determination rule defined in Davies (1985) is shown to solve both the justification and non-redundancy problems for analogical inference. The statistical analogue of determination that is put forward is termed 'uniformity'. Based on the semantics of determination and uniformity, a third notion of "relevance" is defined, both logically and (...) probabilistically. The statistical relevance of one function in determining another is put forward as a way of defining the value of information: The statistical relevance of a function F to a function G is the absolute value of the change in one's information about the value of G afforded by specifying the value of F. This theory provides normative justifications for conclusions projected by analogy from one case to another, and for generalization from an instance to a rule. The soundness of such conclusions, in either the logical or the probabilistic case, can be identified with the extent to which the corresponding criteria (determination and uniformity) actually hold for the features being related. (shrink)

Drawing on the work of Scheler, Heidegger, Merleau-Ponty, Husserl and Sartre, this article presents an overview of some of the diverse approaches to intersubjectivity that can be found in the phenomenological tradition. Starting with a brief description of Scheler’s criticism of the argument from analogy, the article continues by showing that the phenomenological analyses of intersubjectivity involve much more than a ‘solution’ to the ‘traditional’ problem of other minds. Intersubjectivity doesn’t merely concern concrete faceto-face encounters between individuals. It is also (...) something that is at play in simple perception, in tool-use, in emotions, drives and different types of self-awareness. Ultimately, the phenomenologists would argue that a treatment of intersubjectivity requires a simultaneous analysis of the relationship between subjectivity and world. It is not possible simply to insert intersubjectivity somewhere within an already established ontology; rather, the three regions ‘self’, ‘others’, and ‘world’ belong together; they reciprocally illuminate one another, and can only be understood in their interconnection. (shrink)

We examine the use of analogy in human thinking from the perspective of a multiconstraint theory, which postulates three basic types of constraints: similarity, structure and purpose. The operation of these constraints is apparent in both laboratory experiments on analogy and in naturalistic settings, including politics, psychotherapy, and scientific research. We sketch how the multiconstraint theory can be implemented in detailed computational simulations of the analogical human mind.