Abduction is or subsumes a process of inference. It entertains possible hypotheses and it chooses hypotheses for further scrutiny. There is a large literature on various aspects of non-symbolic, subconscious abduction. There is also a very active research community working on the symbolic (logical) characterisation of abduction, which typically treats it as a form of hypothetico-deductive reasoning. In this paper we start to bridge the gap between the symbolic and sub-symbolic approaches to abduction. We are interested in benefiting from developments (...) made by each community. In particular, we are interested in the ability of non-symbolic systems (neural networks) to learn from experience using efficient algorithms and to perform massively parallel computations of alternative abductive explanations. At the same time, we would like to benefit from the rigour and semantic clarity of symbolic logic. We present two approaches to dealing with abduction in neural networks. One of them uses Connectionist Modal Logic and a translation of Horn clauses into modal clauses to come up with a neural network ensemble that computes abductive explanations in a top-down fashion. The other combines neural-symbolic systems and abductive logic programming and proposes a neural architecture which performs a more systematic, bottom-up computation of alternative abductive explanations. Both approaches employ standard neural network architectures which are already known to be highly effective in practical learning applications. Differently from previous work in the area, our aim is to promote the integration of reasoning and learning in a way that the neural network provides the machinery for cognitive computation, inductive learning and hypothetical reasoning, while logic provides the rigour and explanation capability to the systems, facilitating the interaction with the outside world. Although it is left as future work to determine whether the structure of one of the proposed approaches is more amenable to learning than the other, we hope to have contributed to the development of the area by approaching it from the perspective of symbolic and sub-symbolic integration. (shrink)

The ontological status of theories themselves has recently re-emerged as a live topic in the philosophy of science. We consider whether a recent approach within the philosophy of art can shed some light on this issue. For many years philosophers of aesthetics have debated a paradox in the (meta)ontology of musical works (e.g. Levinson [1980]). Taken individually, there are good reasons to accept each of the following three propositions: (i) musical works are created; (ii) musical works are abstract objects; (iii) (...) abstract objects cannot be created. However it seems clear that, if one wants to avoid inconsistency, one cannot commit to all three. Following up recent developments courtesy of Cameron ([2008a]), we consider how one might respond to the corresponding set of propositions in the (meta)ontology of scientific theories. 1 Introduction2 Setting up the Problem3 What to Reject? 3.1 Scientific theories are not created? 3.2 Scientific theories are not abstract objects? 3.3 Abstract objects can be created?4 A Fourth Way: Truth-maker Theory5 Objections and Replies 5.1 What are the truth-makers? 5.2 Objections from World 3 5.3 Fictionalism 5.4 Concrete/abstract6 Conclusion. (shrink)

I’m going to argue for a set of restricted skeptical results: roughly put, we don’t know that fire engines are red, we don’t know that we sometimes have pains in our lower backs, we don’t know that John Rawls was kind, and we don’t even know that we believe any of those truths. However, people unfamiliar with philosophy and cognitive science do know all those things. The skeptical argument is traditional in form: here’s a skeptical hypothesis; you can’t epistemically neutralize (...) it, you have to be able to neutralize it to know P; so you don’t know P. But the skeptical hypotheses I plug into it are “real, live” scientific-philosophical hypotheses often thought to be actually true, unlike any of the outrageous traditional skeptical hypotheses (e.g., ‘You’re a brain in a vat’). So I call the resulting skepticism Live Skepticism. Notably, the Live Skeptic’s argument goes through even if we adopt the clever anti-skeptical fixes thought up in recent years such as reliabilism, relevant alternatives theory, contextualism, and the rejection of epistemic closure. Furthermore, the scope of Live Skepticism is bizarre: although we don’t know the simple facts noted above, many of us do know that there are black holes and other amazing facts. (shrink)

One of Moore’s paradoxical sentence types is ‘P, but I believe ~P’. Mooreans have assumed that all tokens of that sentence type are absurd in some way: epistemically, pragmatically, semantically, or assertively. And then they proceed to debate what the absurdity really is. I argue that if one has the appropriate philosophical views, then one can rationally assert tokens of that sentence type, and one can be epistemically reasonable in the corresponding compound belief as well.

Given that the mind is the brain, as materialists insist, those who would understand the mind must understand the brain. Assuming that arrays of neural firing frequencies are highly salient aspects of brain information processing (the vector functional account), four hurdles to an understanding of the brain are identified and inspected: indeterminacy, micro-specificity, chaos, and openness.

Traditional analyses of the curve fitting problem maintain that the data do not indicate what form the fitted curve should take. Rather, this issue is said to be settled by prior probabilities, by simplicity, or by a background theory. In this paper, we describe a result due to Akaike [1973], which shows how the data can underwrite an inference concerning the curve's form based on an estimate of how predictively accurate it will be. We argue that this approach throws light (...) on the theoretical virtues of parsimoniousness, unification, and non ad hocness, on the dispute about Bayesianism, and on empiricism and scientific realism. * Both of us gratefully acknowledge support from the Graduate School at the University of Wisconsin-Madison, and NSF grant DIR-8822278 (M.F.) and NSF grant SBE-9212294 (E.S.). Special thanks go to A. W. F. Edwards.William Harper. Martin Leckey. Brian Skyrms, and especially Peter Turney for helpful comments on an earlier draft. (shrink)

In this comment, I first point out some problems in McCauley's defense of the traditional conception of general analytical levels. Then I present certain reductionist arguments against explanatory pluralism that are not based on the New Wave model of intertheoretic reduction, against which McCauley is arguing. Reductionists that are not committed to this model might not have problems incorporating research on long-term diachronic processes in their analyses. In the last part of the paper, I briefly compare Robert N. McCauley's conception (...) of reduction to some other current accounts, highlighting the differences between them. (shrink)

In this paper we present Drama, a distributed model of analogical mapping that integrates semantic and structural constraints on constructing analogies. Specifically, Drama uses holographic reduced representations (Plate, 1994), a distributed representation scheme, to model the effects of structure and meaning on human performance of analogical mapping. Drama is compared to three symbolic models of analogy (SME, Copycat, and ACME) and one partially distributed model (LISA). We describe Drama's performance on a number of example analogies and assess the model in (...) terms of neurological and psychological plausibility. We argue that Drama's successes are due largely to integrating structural and semantic constraints throughout the mapping process. We also claim that Drama is an existence proof of using distributed representations to model high‐level cognitive phenomena. (shrink)

Van Gelder (1995) has recently spearheaded a movement to challenge the dominance of connectionist and classicist models in cognitive science. The dynamical conception of cognition is van Gelder's replacement for the computation bound paradigms provided by connectionism and classicism. He relies on the Watt governor to fulfill the role of a dynamicist Turing machine and claims that the Motivational Oscillatory Theory (MOT) provides a sound empirical basis for dynamicism. In other words, the Watt governor is to be the theoretical exemplar (...) of the class of systems necessary for cognition and MOT is an empirical instantiation of that class. However, I shall argue that neither the Watt governor nor MOT successfully fulfill these prescribed roles. This failure, along with van Gelder's peculiar use of the concept of computation and his struggle with representationalism, prevent him from providing a convincing alternative to current cognitive theories. (shrink)

In recent times evolutionary psychologists have offered adaptation explanations for a wide range of human psychological characteristics. Critics, however, have argued that such endeavors are problematic because the appropriate evidence required to demonstrate adaptation is unlikely to be forthcoming, therefore severely limiting the role of the adaptationist program in psychology. More specifically, doubts have been raised over both the methodology employed by evolutionary psychologists for studying adaptations and about the possibility of ever developing acceptably rigorous evolutionary explanations of human psychological (...) phenomena. We argue that by employing a wide range of methods for inferring adaptation and by adopting an inference to the best explanation strategy for evaluating adaptation explanations, these two doubts can be adequately addressed. We illustrate how this approach can be fruitfully employed in evaluating claims about the evolutionary origins of language, and conclude with a brief discussion of the future of evolutionary psychology. (shrink)

I propose an approach to naturalized philosophy of science that takes the social nature of scientific practice seriously. I criticize several prominent naturalistic approaches for adopting "cognitive individualism", which limits the study of science to an examination of the internal psychological mechanisms of scientists. I argue that this limits the explanatory capacity of these approaches. I then propose a three-level model of the social nature of scientific practice, and use the model to defend the claim that scientific knowledge is socially (...) produced. (shrink)

The standard approach to the so-called paradoxes of identity has been to argue that these paradoxes do not essentially concern the notion of identity but rather betray misconceptions on our part regarding other metaphysical notions, like that of an object or a property. This paper proposes a different approach by pointing to an ambiguity in the identity predicate and arguing that the concept of identity that figures in many ordinary identity claims, including those that appear in the paradoxes, is not (...) the traditional philosophical concept but one that can be defined in terms of relevant similarity. This approach to the paradoxes will be argued to be superior to the standard one. (shrink)

In this paper I discern two concepts of meaning: meaning O - which is assigned by us on the basis of our commonsense conception in order to constitute our own daily reality - and meaning I, which we assign when we interpret reality scientifically. Authors who contend that the commonsense conception is nothing but a kind of scientific theory, do not see that the two fields of life have their own concept of meaning. Commonsense and science are not separate from (...) each other, however: though both have their own practices, the way we interpret reality scientifically presupposes our commonsense conception. (shrink)

In this paper I argue that because Churchland does not adequately address the distinction between high-level cognitive theories and low-level embodied theories, Churchland's claims for theory-laden perception lose their epistemological significance. I propose that Churchland and others debating the theory-ladenness of perception should distinguish carefully between two main ways in which perception is plastic: through modifying our high-level theories directly and through modifying our low-level theories using training experiences. This will require them to attend to two very different types of (...) constraints on the modification of our perceptions. (shrink)

This volume presents mathematical game theory as an interface between logic and philosophy.

Online collection of papers by Devitt, Dretske, Guarino, Hochberg, Jackson, Petitot, Searle, Tye, Varzi and other leading thinkers on philosophy and the foundations of cognitive Science. Topics dealt with include: Wittgenstein and Cognitive Science, Content and Object, Logic and Foundations, Language and Linguistics, and Ontology and Mereology.

One of the leading concerns animating current philosophy of mind is that, no matter how good a scientific account is, it will leave out what its like to be conscious. The challenge has thus been to study or at least explain away that qualitative dimension. Pursuant with that aim, I investigate how philosophy of signs in the Peircean tradition can positively reshape ongoing debates. Specifically, I think the account of iconic or similarity-based reference we find in semiotic theory offers a (...) more promising variant of the phenomenal concept strategy. Philosophers who endorse this strategy think that the difficulties we have fitting conscious qualia into a scientific picture may owe to the peculiar nature of indexical concepts. They point to the fact that, when we try to convey the feel of our experiences, we employ context-dependent gestures and/or utterances that are indexed to perspectives unique to each person. However, according to the theory I defend, there are three ways signs can refer, namely by convention, causal contact, and similarity. Since similarity is not reducible to proximity, I argue that a theory of reference that turns on shared quality can bypass some of the implausible consequences that plague indexical accounts. In the first chapter, I describe the apparatus needed to make sense of this claim. In the second chapter, I present my account of iconic reference. In the third chapter, I justify my reliance on a distinction that is less than real yet more than nominal. In the fourth chapter, I sketch a trinitarian metaphysics well-suited to house the foregoing account of qualia. (shrink)

Many philosophers and cognitive scientists claim that our everyday or "folk" understanding of mental states constitutes a theory of mind. That theory is widely called "folk psychology" (sometimes "commonsense" psychology). The terms in which folk psychology is couched are the familiar ones of "belief" and "desire", "hunger", "pain" and so forth. According to many theorists, folk psychology plays a central role in our capacity to predict and explain the behavior of ourselves and others. However, the nature and status of folk (...) psychology remains controversial. (shrink)

Intentionality is the power of minds to be about, to represent, or to stand for, things, properties and states of affairs. The puzzles of intentionality lie at the interface between the philosophy of mind and the philosophy of language. The word itself, which is of medieval Scholastic origin, was rehabilitated by the philosopher Franz Brentano towards the end of the nineteenth century. ‘Intentionality’ is a philosopher's word. It derives from the Latin word intentio, which in turn derives from the verb (...) intendere, which means being directed towards some goal or thing. The entry falls into eleven sections. (shrink)

Over the past thirty years, it is been common to hear the mind likened to a digital computer. This essay is concerned with a particular philosophical view that holds that the mind literally is a digital computer (in a specific sense of “computer” to be developed), and that thought literally is a kind of computation. This view—which will be called the “Computational Theory of Mind” (CTM)—is thus to be distinguished from other and broader attempts to connect the mind with computation, (...) including (a) various enterprises at modeling features of the mind using computational modeling techniques, and (b) employing some feature or features of production-model computers (such as the stored program concept, or the distinction between hardware and software) merely as a guiding metaphor for understanding some feature of the mind. This entry is therefore concerned solely with the Computational Theory of Mind (CTM) proposed by Hilary Putnam [1961] and developed most notably for philosophers by Jerry Fodor [1975, 1980, 1987, 1993]. The senses of ‘computer’ and ‘computation’ employed here are technical; the main tasks of this entry will therefore be to elucidate: (a) the technical sense of ‘computation’ that is at issue, (b) the ways in which it is claimed to be applicable to the mind, (c) the philosophical problems this understanding of the mind is claimed to solve, and (d) the major criticisms that have accrued to this view. (shrink)

Over the past three decades, philosophy of science has grown increasingly “local.” Concerns have switched from general features of scientific practice to concepts, issues, and puzzles specific to particular disciplines. Philosophy of neuroscience is a natural result. This emerging area was also spurred by remarkable recent growth in the neurosciences. Cognitive and computational neuroscience continues to encroach upon issues traditionally addressed within the humanities, including the nature of consciousness, action, knowledge, and normativity. Empirical discoveries about brain structure and function suggest (...) ways that “naturalistic” programs might develop in detail, beyond the abstract philosophical considerations in their favor. -/- The literature distinguishes “philosophy of neuroscience” and “neurophilosophy.” The former concerns foundational issues within the neurosciences. The latter concerns application of neuroscientific concepts to traditional philosophical questions. Exploring various concepts of representation employed in neuroscientific theories is an example of the former. Examining implications of neurological syndromes for the concept of a unified self is an example of the latter. In this entry, we will assume this distinction and discuss examples of both. (shrink)

Recent work in the methodology of connectionist explanation has I'ocrrsccl on the notion of levels of explanation. Specific issucs in conncctionisrn hcrc intersect with rvider areas of debate in the philosophy of psychology and thc philosophy of science generally. The issues I raise in this chapter, then, are not unique to cognitive science; but they arise in new and important contexts when connectionism is taken seriously as a model of cognition. The general questions are the relation between levels and the (...) status of levels which have no obvious relation to others. In speaking of levels, what is the connection, if there is one, between explanation and ontology? Which, if any, conccpt of reduction is applicable to connectionist systems? What kind of legitinrtcy can the constructs of common sense psychology, or of that vclsion ol intentional realism represented by classical symbol-systems n I, hirvc irr ir full-scale connectionist theory of mind? (shrink)

O modelo causal de introspecção tem recebido muitas críticas e, de fato, nos últimos anos, tem caído em desuso no mundo filosófico. Neste artigo defendo o modelo e sustento que ele é um excelente candidato, dado um compromisso realista para com o mental, para explicar o nosso acesso introspectivo peculiar, mas contingente, às crenças.

I defend a theory of mental representation that satisfies naturalistic constraints. Briefly, we begin by distinguishing (i) what makes something a representation from (ii) given that a thing is a representation, what determines what it represents. Representations are states of biological organisms, so we should expect a unified theoretical framework for explaining both what it is to be a representation as well as what it is to be a heart or a kidney. I follow Millikan in explaining (i) in terms (...) of teleofunction, explicated in terms of natural selection. -/- To explain (ii), we begin by recognizing that representational states do not have content, that is, they are neither true nor false except insofar as they both “point to” or “refer” to something, as well as “say” something regarding whatever it is they are about. To distinguish veridical from false representations, there must be a way for these separate aspects to come apart; hence, we explain (ii) by providing independent theories of what I call f-reference and f-predication (the ‘f’ simply connotes ‘fundamental’, to distinguish these things from their natural language counterparts). -/- Causal theories of representation typically founder on error, or on what Fodor has called the disjunction problem. Resemblance or isomorphism theories typically founder on what I’ve called the non-uniqueness problem, which is that isomorphisms and resemblance are practically unconstrained and so representational content cannot be uniquely determined. These traditional problems provide the motivation for my theory, the structural preservation theory, as follows. F-reference, like reference, is a specific, asymmetric relation, as is causation. F-predication, like predication, is a non-specific relation, as predicates typically apply to many things, just as many relational systems can be isomorphic to any given relational system. Putting these observations together, a promising strategy is to explain f-reference via causal history and f-predication via something like isomorphism between relational systems. -/- This dissertation should be conceptualized as having three parts. After motivating and characterizing the problem in chapter 1, the first part is the negative project, where I review and critique Dretske’s, Fodor’s, and Millikan’s theories in chapters 2-4. Second, I construct my theory about the nature of representation in chapter 5 and defend it from objections in chapter 6. In chapters 7-8, which constitute the third and final part, I address the question of how representation is implemented in biological systems. In chapter 7 I argue that single-cell intracortical recordings taken from awake Macaque monkeys performing a cognitive task provide empirical evidence for structural preservation theory, and in chapter 8 I use the empirical results to illustrate, clarify, and refine the theory. (shrink)

The reemergence of connectionism² has profoundly altered the philosophy of mind. Paul Churchland has argued that it should equally transform the philosophy of science. He proposes that connectionism offers radical and useful new ways of understanding theories and explanations.

It is commonly thought that Hume endorses the claim that causal cognition can be fully explained in terms of nothing but custom and habit. Associative learning does, of course, play a major role in the cognitive psychology of the Treatise. But Hume recognizes that associations cannot provide a complete account of causal thought. If human beings lacked the capacity to reflect on rules for judging causes and effects, then we could not (as we do) distinguish between accidental and genuine regularities, (...) and Hume could not (as he does) carry out his science of human nature. One might reply that what appears to be rule-governed behavior might emerge from associative systems that do not literally employ rules. But this response fails: there is a growing consensus in cognitive science that any adequate account of causal learning must invoke active, controlled cognitive processes. (shrink)

Twentieth century philosophy and psychology have been peculiarly averse to mental images. Throughout nearly two and a half millennia of philosophical wrangling, from Aristotle to Hume to Bergson, images (perceptual and quasi-perceptual experiences), sometimes under the alias of "ideas", were almost universally considered to be both the prime contents of consciousness, and the vehicles of cognition. The founding fathers of experimental psychology saw no reason to dissent from this view, it was commonsensical, and true to the lived experience of conscious (...) thinking. However, early in this century, just about when the behaviorist revolution in psychology was loudly declaring the scientific illegitimacy of any attempt to study consciousness, and the concomitant non-existence of imagery (Watson, 1913; see Thomas, 1989), philosophy was undergoing its "linguistic turn", a turn to seeing philosophy as essentially about language rather than the world, even the 'inner' world. For decades, the very concept of the mental image was suspect, and it was certainly banished from playing any major role in theories of mind and of thinking. Ralph Ellis' Questioning Consciousness, together with the recent speculations of certain influential neuroscientists (Edelman, 1992; Damasio, 1994), may be signaling the end this unusual era. (shrink)