Unlike human soldiers, autonomous weapons systems are unaffected by psychological factors that would cause them to act outside the chain of command. This is a compelling moral justification for their development and eventual deployment in war. To achieve this level of sophistication, the software that runs AWS will have to first solve two problems: the frame problem and the representation problem. Solutions to these problems will inevitably involve complex software. Complex software will create security risks and will make AWS critically (...) vulnerable to hacking. I claim that the political and tactical consequences of hacked AWS far outweigh the purported advantages of AWS not being affected by psychological factors and always following orders. Therefore, one of the moral justifications for the deployment of AWS is undermined. (shrink)

What is the primary function of consciousness in the nervous system? The answer to this question remains enigmatic, not so much because of a lack of relevant data, but because of the lack of a conceptual framework with which to interpret the data. To this end, we have developed Passive Frame Theory, an internally coherent framework that, from an action-based perspective, synthesizes empirically supported hypotheses from diverse fields of investigation. The theory proposes that the primary function of consciousness is well-circumscribed, (...) serving the 'somatic nervous system[. For this system, consciousness serves as a frame that constrains and directs skeletal muscle output, thereby yielding adaptive behavior. The mechanism by which consciousness achieves this is more counterintuitive, passive, and “low level” than the kinds of functions that theorists have previously attributed to consciousness. Passive frame theory begins to illuminate (a) what consciousness contributes to nervous function, (b) how consciousness achieves this function, and (c) the neuroanatomical substrates of conscious processes. Our untraditional, action-based perspective focuses on olfaction instead of on vision and is 'descriptive' (describing the products of nature as they evolved to be) rather than 'normative' (construing processes in terms of how they should function). Passive frame theory begins to isolate the neuroanatomical, cognitive-mechanistic, and representational (e.g., conscious contents) processes associated with consciousness. (shrink)

Recently, many philosophers have been inclined to ascribe mentality to animals on the main grounds that they possess certain complex computational abilities. In this paper I contend that this view is misleading, since it wrongly assumes that those computational abilities demand a psychological explanation. On the contrary, they can be just characterised from a computational level of explanation, which picks up a domain of computation and information processing that is common to many computing systems but is autonomous from the domain (...) of psychology. Thus, I propose that it is possible to conceive insects and other animals as mere computing agents, without having any commitment to ascribe mentality to them. I conclude by sketching a proposal about how to draw the line between mere computing and genuine mentality. (shrink)

Research in vision science, developmental psychology, and the foundations of cognitive science has led some theorists to posit referential mechanisms similar to indices. This hypothesis has been framed within a Fodorian conception of the early vision module. The article shows that this conception is mistaken, for it cannot handle the ‘interface problem’—roughly, how indexing mechanisms relate to higher cognition and conceptual thought. As a result, I reject the inaccessibility of early vision to higher cognition and make some constructive remarks on (...) the perception–cognition interface. -/- 1 The Case for Visual Indices 1.1 Preliminary assumptions 1.2 Transcendental arguments 1.3 Evidence from vision science 2 Visual Indices, Object Files, and Fodorian Modularity 3 The Interface Problem 3.1 Top-down attention and modularity 3.2 Selective attention and information 4 Revising the Indexing Hypothesis 4.1 Revising the perception–cognition interface 4.2 Revising the modularity of early vision 5 Concluding Remarks. (shrink)

According to proponents of radically extended cognition, some cognition is located outside the boundaries of biological organisms. In this paper, I offer a new argument for a modest version of this view according to which some cognitive processes are radically extended. I do so by showing that features of a subject's environment—in particular, the pen and paper that a subject uses to solve complex mathematical problems—can have epistemic roles that are indicative of cognitive roles. I end the paper by discussing (...) how epistemology might play a significant role in diagnosing alleged cases of radically extended cognition. (shrink)

Relationship between default semantics and modularity of mind (in particular mind reading through the principle of Relevance).

Explicatures are not cancellable. Theoretical considerations.

Cognitive penetration of perception, broadly understood, is the influence that the cognitive system has on a perceptual system. The paper shows a form of cognitive penetration in the visual system which I call ‘architectural’. Architectural cognitive penetration is the process whereby the behaviour or the structure of the perceptual system is influenced by the cognitive system, which consequently may have an impact on the content of the perceptual experience. I scrutinize a study in perceptual learning that provides empirical evidence that (...) cognitive influences in the visual system produce neural reorganization in the primary visual cortex. The type of cognitive penetration can be synchronic and diachronic. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Since the publication of Fodor's (1983) The Modularity of Mind, there have been quite a few discussions of cognitive modularity among cognitive scientists. Generally, in those discussions, modularity means a property of specialized cognitive processes or a domain-specific body of information. In actuality, scholars understand modularity in many different ways. Different characterizations of modularity and modules were proposed and discussed, but they created misunderstanding and confusion. In this article, I classified and analyzed different approaches to modularity and argued for the (...) unity of modularity. Modularity is a multidimensional property consisting of features from several dimensions specifying different aspects of cognition. Among those, there are core features of modularity, and these core features form a cross-dimensional unity. Despite the diverse and liberal characterizations, modularity contributes to cognitive science because of the unity of the core features. (shrink)

Some have claimed that since machines lack emotional “qualia”, or conscious experiences of emotion, machine intelligence will fall short of human intelligence. I examine this objection, ultimately finding it unpersuasive. I first discuss recent work on emotion that suggests that emotion plays various roles in cognition. I then raise the following question: are phenomenal experiences of emotion an essential or necessary component of the performance of these cognitive abilities? I then sharpen the question by distinguishing between four possible positions one (...) might take. I reject one of these four positions largely on empirical grounds. But the remaining three positions all suggest that even if emotional qualia play an important role in human cognition, emotional qualia are not essential to the performance of these cognitive abilities in principle, so, e.g., a machine that lacks emotional qualia might still be able to perform them. (shrink)

We begin by distinguishing computationalism from a number of other theses that are sometimes conflated with it. We also distinguish between several important kinds of computation: computation in a generic sense, digital computation, and analog computation. Then, we defend a weak version of computationalism—neural processes are computations in the generic sense. After that, we reject on empirical grounds the common assimilation of neural computation to either analog or digital computation, concluding that neural computation is sui generis. Analog computation requires continuous (...) signals; digital computation requires strings of digits. But current neuroscientific evidence indicates that typical neural signals, such as spike trains, are graded like continuous signals but are constituted by discrete functional elements (spikes); thus, typical neural signals are neither continuous signals nor strings of digits. It follows that neural computation is sui generis. Finally, we highlight three important consequences of a proper understanding of neural computation for the theory of cognition. First, understanding neural computation requires a specially designed mathematical theory (or theories) rather than the mathematical theories of analog or digital computation. Second, several popular views about neural computation turn out to be incorrect. Third, computational theories of cognition that rely on non-neural notions of computation ought to be replaced or reinterpreted in terms of neural computation. (shrink)

Most animals have mental states of one sort or another, but few species share our capacity for self-awareness. We are aware of our own mental states via introspection, and we are aware of the mental states of our fellow human beings on the basis of what they do and say. This chapter is not concerned with these traditional forms of mind-reading—forms whose origins predate the beginnings of recorded history—but with the prospects of a rather different and significantly more recent form (...) of ‘mind-reading’: the capacity to reliably ascribe mental states to a creature on the basis of information derived from information about their brain states. (shrink)

Can computer systems ever be considered moral agents? This paper considers two factors that are explored in the recent philosophical literature. First, there are the important domains in which computers are allowed to act, made possible by their greater functional capacities. Second, there is the claim that these functional capacities appear to embody relevant human abilities, such as autonomy and responsibility. I argue that neither the first (Domain-Function) factor nor the second (Simulacrum) factor gets at the central issue in the (...) case for computer moral agency: whether they can have the kinds of intentional states that cause their decisions and actions. I give an account that builds on traditional action theory and allows us to conceive of computers as genuine moral agents in virtue of their own causally efficacious intentional states. These states can cause harm or benefit to moral patients, but do not depend on computer consciousness or intelligence. (shrink)

In this paper, I claim that the personal/subpersonal distinction is first and foremost a distinction between two kinds of psychological theory or explanation: it is only in this form that we can understand why the distinction was first introduced, and how it continues to earn its keep. I go on to examine the different ontological commitments that might lead us from the primary distinction between personal and subpersonal explanations to a derivative distinction between personal and subpersonal states. I argue that (...) on one of the most common metaphysical interpretations of the explanatory distinction, talk of a distinction between personal and subpersonal states simply makes no sense. When people insist on applying the personal/subpersonal terminology to psychological states, I allow that they are often making a genuine distinction, but one that it is best understood in terms of Stich's (1978) distinction between doxastic and subdoxastic states. I end the paper by considering some other common misinterpretations of the personal/subpersonal distinction, such as those involving consciousness, normativity, or autonomy. (shrink)

Inquiry, Volume 57, Issue 1, Page 55-96, February 2014.

A contribution to a symposium on Herman Cappelen's Philosophy without Intuitions.

In this reply to James H. Fetzer’s “Minds and Machines: Limits to Simulations of Thought and Action”, I argue that computationalism should not be the view that (human) cognition is computation, but that it should be the view that cognition (simpliciter) is computable. It follows that computationalism can be true even if (human) cognition is not the result of computations in the brain. I also argue that, if semiotic systems are systems that interpret signs, then both humans and computers are (...) semiotic systems. Finally, I suggest that minds can be considered as virtual machines implemented in certain semiotic systems, primarily the brain, but also AI computers. In doing so, I take issue with Fetzer’s arguments to the contrary. (shrink)

This paper takes a fresh look at the nativism–empiricism debate, presenting and defending a nativist perspective on the mind. Empiricism is often taken to be the default view both in philosophy and in cognitive science. This paper argues, on the contrary, that there should be no presumption in favor of empiricism (or nativism), but that the existing evidence suggests that nativism is the most promising framework for the scientific study of the mind. Our case on behalf of nativism has four (...) parts. (1) We characterize nativism’s core commitments relative to the contemporary debate between empiricists and nativists, (2) we present the positive case for nativism in terms of two central nativist arguments (the poverty of the stimulus argument and the argument from animals), (3) we respond to a number of influential objections to nativist theories, and (4) we explain the nativist approach to the conceptual system. (shrink)

Is vision informationally encapsulated from cognition or is it cognitively penetrated? I shall argue that intentions penetrate vision in the experience of visual spatial constancy: the world appears to be spatially stable despite our frequent eye movements. I explicate the nature of this experience and critically examine and extend current neurobiological accounts of spatial constancy, emphasizing the central role of motor signals in computing such constancy. I then provide a stringent condition for failure of informational encapsulation that emphasizes a computational (...) condition for cognitive penetration: cognition must serve as an informational resource for visual computation. This requires proposals regarding semantic information transfer, a crucial issue in any model of informational encapsulation. I then argue that intention provides an informational resource for computation of visual spatial constancy. Hence, intention penetrates vision. (shrink)

This article examines what is known about the cognitive science of working memory, and brings the findings to bear in evaluating philosophical accounts of central cognitive processes of thinking and reasoning. It is argued that central cognition is sensory based, depending on the activation and deployment of sensory images of various sorts. Contrary to a broad spectrum of philosophical opinion, the central mind does not contain any workspace within which goals, decisions, intentions, or non-sensory judgments can be active.Introduction: philosophers’ commitmentsMost (...) philosophers believe that our so-called “personal-level” propositional attitudes—our personal judgments, beliefs, goals, values, decisions, and intentions—are consciously accessible. Many will also allow, of course, that some of the processing that takes place within our perceptual faculties is inaccessible to us; and many will grant the possibility of unconscious attitudes, as well as processes of inference and decision mak. (shrink)

This article generalizes the explanationist account of inference to the best explanation. It draws a clear distinction between IBE and abduction and presents abduction as the first step of IBE. The second step amounts to the evaluation of explanatory power, which consist in the degree of explanatory virtues that a hypothesis exhibits. Moreover, even though coherence is the most often cited explanatory virtue, on pain of circularity, it should not be treated as one of the explanatory virtues. Rather, coherence should (...) be equated with explanatory power and considered to be derivable from the other explanatory virtues: unification, explanatory depth and simplicity. (shrink)

In this paper, I argue for a modified version of what Devitt calls the Representational Thesis. According to RT, syntactic rules or principles are psychologically real, in the sense that they are represented in the mind/brain of every linguistically competent speaker/hearer. I present a range of behavioral and neurophysiological evidence for the claim that the human sentence processing mechanism constructs mental representations of the syntactic properties of linguistic stimuli. I then survey a range of psychologically plausible computational models of comprehension (...) and show that they are all committed to RT. I go on to sketch a framework for thinking about the nature of the representations involved in sentence processing. My claim is that these are best characterized not as propositional attitudes but, rather, as subpersonal states whose representational properties are determined by their functional role. Finally, I distinguish between explicit and implicit representations and argue that the latter can be drawn on as data by the algorithms that constitute our sentence processing routines. I conclude that skepticism concerning the psychological reality of grammars cannot be sustained. (shrink)

A key failing in contemporary philosophy of mind is the lack of attention paid to evolutionary theory in its research projects. Notably, where evolution is incorporated into the study of mind, the work being done is often described as philosophy of cognitive science rather than philosophy of mind. Even then, whereas possible implications of the evolution of human cognition are taken more seriously within the cognitive sciences and the philosophy of cognitive science, its relevance for cognitive science has only been (...) appreciated relatively recently, and the approach still comes in for some major criticism from prominent theorists within the field. This paper explores some of the reasons for this state of affairs and finds that it might have less to do with due consideration and well-founded scepticism about the relevance of evolutionary theory to these disciplines and more to do with historical accident and faulty assumptions on the part of key theorists in these disciplines. It is also noted that where cognitive scientists are taking evolution into account in their work on the mind, they straying more and more into domains that used to fall exclusively under the purview of philosophy of mind as it is traditionally conceived – qualia, consciousness, perception, intentionality and so forth. The point is made that in ignoring the work being done on the evolution of mind, philosophy of mind runs the risk of becoming obsolete. (shrink)

Thesis (Ph.D.)--University of Hawaii at Manoa, 2008.

Illusions are thought to make trouble for the intuition that perceptual experience is "open" to the world. Some have suggested, in response to the this trouble, that illusions differ from veridical experience in the degree to which their character is determined by their engagement with the world. An understanding of the psychology of perception reveals that this is not the case: veridical and falsidical perceptions engage the world in the same way and to the same extent. While some contemporary vision (...) scientists propose to draw the distinction between veridical experience and illusion in terms of the satisfaction or non-satisfaction of “hidden assumptions” deployed in the course of normal perceptual inference, I argue for a different approach. I contend that there are, in a sense, no illusions – illusions are as “open” as veridical experiences. Percepts lack the kinds of intentional content that would be needed for perceptual misrepresntation. My view gives a satisfying solution to a philosophical problem for disjunctivism about the good case/bad case distinction: with respect to illusions, every "bad case" of seeing an X can be equally well construed as a "good case" of seeing some Y (different from X). -/- . (shrink)

Fodor's thinking on modularity has been influential throughout a range of the areas studying cognition, chiefly as a prod for positive work on modularity and domain-specificity. In The Mind Doesn't Work That Way, Fodor has developed the dark message of The Modularity of Mind regarding the limits to modularity and computational analyses. This paper offers a critical assessment of Fodor's scepticism with an eye to highlighting some broader issues in play, including the nature of computation and the role of recent (...) empirical developments in the cognitive sciences in assessing Fodor's position. (shrink)

Is there a notion of domain specificity which affords genuine insight in the context of the highly modular mind, i.e. a mind which has not only input modules, but also central ‘conceptual’ modules? Our answer to this question is no. The main argument is simple enough: we lay out some constraints that a theoretically useful notion of domain specificity, in the context of the highly modular mind, would need to meet. We then survey a host of accounts of what domain (...) specificity is, based on the intuitive idea that a domain specific mechanism is restricted in the kind of information that it processes, and show that each fails at least one of those constraints. (shrink)

This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they are specified such (...) that they do not have output states, or they are specified such that they do have output states, but involve contradiction. Repairs though non-effective methods or special rules for semi-decidable problems are sought, but not found. The paper concludes that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection of the Church-Turing thesis in its traditional interpretation. (shrink)

Advocates of the computational theory of mind claim that the mind is a computer whose operations can be implemented by various computational systems. According to these philosophers, the mind is multiply realisable because—as they claim—thinking involves the manipulation of syntactically structured mental representations. Since syntactically structured representations can be made of different kinds of material while performing the same calculation, mental processes can also be implemented by different kinds of material. From this perspective, consciousness plays a minor role in mental (...) activity. However, contemporary neuroscience provides experimental evidence suggesting that mental representations necessarily involve consciousness. Consciousness does not only enable individuals to become aware of their own thoughts, it also constantly changes the causal properties of these thoughts. In light of these empirical studies, mental representations appear to be intrinsically dependent on consciousness. This discovery represents an obstacle to any attempt to construct an artificial mind. (shrink)

Given that visualisations via medical imaging have tremendously increased over the last decades, the overall presence of colour-coded brain slices generated on the basis of functional imaging, i.e. neuroimaging techniques, have led to the assumption of so-called kinds of brains or cognitive profiles that might be especially related to non-healthy humans affected by neurological, neuropsychological or psychiatric syndromes or disorders. In clinical contexts especially, one must consider that visualisations through medical imaging are suggestive in a twofold way. Imaging data not (...) only visually render pathological entities, but also tend to represent objective and concrete evidence for these psychophysical states in question. This article aims to identify key issues in visually rendering psychiatric disorders via functional approaches of imaging within the neurosciences from an epistemological point of view. (shrink)

Neuroeconomics illustrates our deepening descent into the details of individual cognition. This descent is guided by the implicit assumption that “individual human” is the important “agent” of neoclassical economics. I argue here that this assumption is neither obviously correct, nor of primary importance to human economies. In particular I suggest that the main genius of the human species lies with its ability to distribute cognition across individuals, and to incrementally accumulate physical and social cognitive artifacts that largely obviate the innate (...) biological limitations of individuals. If this is largely why our economies grow, then we should be much more interested in distributed cognition in human groups, and correspondingly less interested in individual cognition. We should also be much more interested in the cultural accumulation of cognitive artefacts: computational devices and media, social structures and economic institutions. (shrink)

One of the central points of contention in the epistemology of testimony concerns the uniqueness (or not) of the justification of beliefs formed through testimony--whether such justification can be accounted for in terms of, or 'reduced to,' other familiar sort of justification, e.g. without relying on any epistemic principles unique to testimony. One influential argument for the reductionist position, found in the work of Elizabeth Fricker, argues by appeal to the need for the hearer to monitor the testimony for credibility. (...) Fricker (1994) argues, first, that some monitoring for trustworthiness is required if the hearer is to avoid being gullible, and second, that reductionism but not anti-reductionism is compatible with ascribing an important role to the process of monitoring in the course of justifiably accepting observed testimony. In this paper we argue that such an argument fails. (shrink)

In this introduction, we give a brief overview of the main concepts of modularity that have been offered in recent literature. After this, we turn to a summary of the papers collected in this volume. Our primary aim is to explain how the modularity of emotion question relates to traditional debates in emotion theory.

This paper explores the relationship between several ideas about the mind and cognition. The hypothesis of extended cognition claims that cognitive processes can and do extend outside the head, that elements of the world around us can actually become parts of our cognitive systems. It has recently been suggested that the hypothesis of extended cognition is entailed by one of the foremost philosophical positions on the nature of the mind: functionalism, the thesis that mental states are defined by their functional (...) relations rather than by their physical constituents. Furthermore, it has been claimed that functionalism entails a version of extended cognition which is sufficiently radical as to be obviously false. I survey the debate and propose several ways of avoiding this conclusion, emphasizing the importance of distinguishing the hypothesis of extended cognition from the related notion of the extended mind. (shrink)

Some philosophers have conflated functionalism and computationalism. I reconstruct how this came about and uncover two assumptions that made the conflation possible. They are the assumptions that (i) psychological functional analyses are computational descriptions and (ii) everything may be described as performing computations. I argue that, if we want to improve our understanding of both the metaphysics of mental states and the functional relations between them, we should reject these assumptions.

Emotions often misfire. We sometimes fear innocuous things, such as spiders or mice, and we do so even if we firmly believe that they are innocuous. This is true of all of us, and not only of phobics, who can be considered to suffer from extreme manifestations of a common tendency. We also feel too little or even sometimes no fear at all with respect to very fearsome things, and we do so even if we believe that they are fearsome. (...) Indeed, instead of shunning fearsome things, we might be attracted to them. Emotions that seem more thought-involving, such as shame, guilt or jealousy, can also misfire. You can be ashamed of your big ears even though we can agree that there is nothing shameful in having big ears, and even though you judge that having big ears does not warrant shame. And of course, it is also possible to experience too little or even no shame at all with respect to something that is really shameful. Many of these cases involve a conflict between one’s emotion and one’s evaluative judgement. Emotions that are thus conflicting with judgement can be called ‘recalcitrant emotions’. The question I am interested in is whether or not recalcitrant emotions amount to emotional illusions, that is, whether or not these cases are sufficiently similar to perceptual illusions to justify the claim that they fall under the same general heading. The answer to this depends on what emotions are. For instance, the view that emotions are evaluative judgments makes it difficult to make room for the claim that emotional errors are perceptual illusions. Fearing an innocuous spider would simply amount to making the error of judging that the spider is fearsome while it is in fact innocuous. This might involve an illusion of some sort, but it certainly does not amount to anything like a perceptual illusion. In this chapter, I argue that recalcitrant emotions are a kind of perceptual illusion.. (shrink)

The paper presents a paradoxical feature of computational systems that suggests that computationalism cannot explain symbol grounding. If the mind is a digital computer, as computationalism claims, then it can be computing either over meaningful symbols or over meaningless symbols. If it is computing over meaningful symbols its functioning presupposes the existence of meaningful symbols in the system, i.e. it implies semantic nativism. If the mind is computing over meaningless symbols, no intentional cognitive processes are available prior to symbol grounding. (...) In this case, no symbol grounding could take place since any grounding presupposes intentional cognitive processes. So, whether computing in the mind is over meaningless or over meaningful symbols, computationalism implies semantic nativism. (shrink)

This article deals with the links between the enaction paradigm and artificial intelligence. Enaction is considered a metaphor for artificial intelligence, as a number of the notions which it deals with are deemed incompatible with the phenomenal field of the virtual. After explaining this stance, we shall review previous works regarding this issue in terms of artificial life and robotics. We shall focus on the lack of recognition of co-evolution at the heart of these approaches. We propose to explicitly integrate (...) the evolution of the environment into our approach in order to refine the ontogenesis of the artificial system, and to compare it with the enaction paradigm. The growing complexity of the ontogenetic mechanisms to be activated can therefore be compensated by an interactive guidance system emanating from the environment. This proposition does not however, resolve that of the relevance of the meaning created by the machine (sense-making). Such reflections lead us to integrate human interaction into this environment in order to construct relevant meaning in terms of participative artificial intelligence. This raises a number of questions with regards to setting up an enactive interaction. The article concludes by exploring a number of issues, thereby enabling us to associate current approaches with the principles of morphogenesis, guidance, the phenomenology of interactions and the use of minimal enactive interfaces in setting up experiments which will deal with the problem of artificial intelligence in a variety of enaction-based ways. (shrink)

Delusional beliefs have sometimes been considered as rational inferences from abnormal experiences. We explore this idea in more detail, making the following points. Firstly, the abnormalities of cognition which initially prompt the entertaining of a delusional belief are not always conscious and since we prefer to restrict the term “experience” to consciousness we refer to “abnormal data” rather than “abnormal experience”. Secondly, we argue that in relation to many delusions (we consider eight) one can clearly identify what the abnormal cognitive (...) data are which prompted the delusion and what the neuropsychological impairment is which is responsible for the occurrence of these data; but one can equally clearly point to cases where this impairments is present but delusion is not. So the impairment is not sufficient for delusion to occur. A second cognitive impairment, one which impairs the ability to evaluate beliefs, must also be present. Thirdly (and this is the main thrust of our chapter) we consider in detail what the nature of the inference is that leads from the abnormal data to the belief. This is not deductive inference and it is not inference by enumerative induction; it is abductive inference. We offer a Bayesian account of abductive inference and apply it to the explanation of delusional belief. (shrink)

Since social skills are highly significant to the evolutionary success of humans, we should expect these skills to be efficient and reliable. For many Evolutionary Psychologists efficiency entails encapsulation: the only way to get an efficient system is via information encapsulation. But encapsulation reduces reliability in opaque epistemic domains. And the social domain is darkly opaque: people lie and cheat, and deliberately hide their intentions and deceptions. Modest modularity [Currie and Sterelny (2000) Philos Q 50:145–160] attempts to combine efficiency and (...) reliability. Reliability is obtained by placing social skills in un-encapsulated central cognition; efficiency by having the social system sensitive to encapsulated socially tagged cues. In this paper, I argue that this approach fails. I focus on eye-gaze as a plausible example of a socially significant encapsulated cue. I demonstrate contra modest modularity that eye-gaze is subject to influence from central cognition. (shrink)

I review a widely accepted argument to the conclusion that the contents of our beliefs, desires and other mental states cannot be causally efficacious in a classical computational model of the mind. I reply that this argument rests essentially on an assumption about the nature of neural structure that we have no good scientific reason to accept. I conclude that computationalism is compatible with wide semantic causal efficacy, and suggest how the computational model might be modified to accommodate this possibility.

Evolutionary explanations of psychological phenomena have become widespread. This paper examines a recent attempt by Nichols and Grantham (2000) to circumvent the problem of epiphenomenalism in establishing the selective status of consciousness. Nichols and Grantham (2000) argue that a case can be made for the view that consciousness is an adaptation based on its complexity. I set out this argument and argue that it fails to establish that phenomenal consciousness is a complex system. It is suggested that the goal of (...) establishing consciousness as an adaptation may be better served by rejecting the distinction between access consciousness and phenomenal consciousness. (shrink)

Viime vuosina ihmistieteiden kentässä on saanut osakseen paljon huomiota uusi lähestymistapa, jota kutsutaan ”evoluutiopsykologiaksi”. Sen piiristä on esimerkiksi väitetty, että evoluutio on muokannut meidän parinvalintamieltymyksiämme niin, että miehillä on taipumus tuntea vetoa lisääntymiskykyisiltä näyttäviin nuoriin naisiin, pyrkiä parittelemaan aina tilaisuuden tullen mahdollisimman monien naisten kanssa ja olla mustasukkaisia, kun taas naiset ovat taipuvaisia mieltymään iäkkäämpiin miehiin, joilla on valtaa ja resursseja. Luonnonvalinnalla on pyritty myös selittämään mm. raiskauksia.

A heuristic is a rule of thumb. In psychology, heuristics are relatively simple rules for making judgments. A fast heuristic is easy to use and allows one to make judgments quickly. A frugal heuristic relies on a small fraction of the available evidence in making judgments. Typically, fast and frugal heuristics (FFHs) have, or are claimed to have, a further property: They are very reliable, yielding judgments that are about as accurate in the long run as ideal non-fast, non-frugal rules. (...) This paper introduces some well-known examples of FFHs, raises some objections to the FFH program, and looks at the implications of those parts of the FFH program about which we can have some reasonable degree of confidence. (shrink)

Adapting Minds: Evolutionary Psychology and the Persistent Quest for Human Nature DAVID BULLER Cambridge, MA: MIT Press, 2005 564 pages, ISBN: 0262025795 (hbk); $37.00.