The paper looks at the intersection of extended cognition and social cognition. The central claim is that the mechanisms of shared intentionality can equally be considered as coupling mechanisms of cognitive extension into the social domain. This claim will be demonstrated by investigating a detailed example of cooperative action, and it will be argued that such cases imply that socially extended cognition is not only about cognitive vehicles, but that content must additionally to be taken into account. It is finally (...) outlined how social content externalism can in principle be grounded in socially extended cognition. (shrink)

This article is the sequel to 'Intentionality and Modern philosophical psychology, I. The modern reduction of intentionality,' (Philosophical Psychology, 3 (2), 1990) which examined the view of intentionality pioneered by Carnap and reaching its apotheosis in the work of Daniel Dennett. In 'Intentionality and modem philosophical psychology, II. The return to representation' (Philosophical Psychology, 4(1), 1991) I examined the approach to intentionality which can be traced back to the work of Noam Chomsky but which has been given its canonical treatment (...) in the work of Jerry Fodor. In this article, the last in the series, I explore a very recent approach to intentionality which has been associated especially with the work of Ruth Garrett Millikan and Colin McGinn, and might, if the phrase were not so rebarbative, be called “the biologizing of intentionality'. (shrink)

Two important thought-experiments are associated with the work of Hilary Putnam, one designed to establish multiple realizability for mental kinds, the other designed to establish essentialism for natural kinds. Comparing the thought-experiments with each other reveals that the scenarios in both are structurally analogous to each other, though his intuitions in both are greatly at variance, intuitions that have been simultaneously well received. The intuition in the former implies a thesis that prioritizes pre-scientific over scientific indicators for identifying mental kinds (...) in certain circumstances, while his intuition in the latter implies a converse thesis, prioritizing scientific over pre-scientific indicators for identifying natural kinds in analogous circumstances. In this paper I question whether we can consistently endorse both of these intuitions. A consideration is presented to attempt to justify the common intuition found in the multiple realization thought-experiment. Then it is argued that this same consideration has application in the structurally analogous Twin-Earth thought-experiment. This recommends a kind of multiple realization thesis for natural kinds, in opposition to a scientific essentialist approach. The various respects in which mental kinds like pain and natural kinds like water are similar to each other, such that similar philosophical treatments are warranted for both, are enumerated. (shrink)

Suppose that a physical duplicate of me, right down to the arrangements of subatomic particles, comes into existence at the time at which I finish this sentence. Suppose that it comes into existence by chance, or at least by a causal process entirely unconnected with me. It might be so situated that it, too, is seated in front of a computer, and finishes this paragraph and paper, or a corresponding one, just as I do. (i) Would it have the same (...) thoughts I do? (ii) Would it speak my language? (iii) Would my duplicate have any thoughts or (iv) speak any language at all? To fix the interpretation of these questions, I will take ‘thought’ to cover any mental state which has a representational content, where ‘representational content’ is intended to be neutral with respect to psychological mode. By 'psychological mode' I mean what distinguishes kinds of thoughts, such as belief, visual perceptual experience, desire, etc. Representational content, or thought content, as I will also say, determines the conditions under which a thought is true or false, veridical or non-veridical, or, more broadly, is satisfied or fails to be satisfied, independently of relativization to circumstances, possible worlds, or the like. Beliefs, desires, hopes, intentions, and perceptual experiences will all count as thoughts on this usage. The question whether one person has the same (type of) thought as another is the question whether both have a mental state with the same representational content in the same psychological mode. I will not count epistemic verbs, however, as picking out or expressing a (pure) psychological mode. Thus, although knowing that the time is ripe, seeing that there is a goldfinch in the garden, and remembering that my wife’s birthday is next Tuesday are all thoughts, they do not pick out the thoughts by using a verb that expresses a psychological mode. Therefore knowing, seeing or remembering the same things is not a requirement on having the same thoughts.. (shrink)

It has been proposed that maintaining patient hopefulness is or should be a central nursing duty, and within the nursing literature the maintenance of patient and family hope is generally presented as an unproblematic ‘good thing’. However, here it is argued that hope cannot bear the claims made on its behalf. The concept is variously interpreted and this variation might indicate that hope cannot sustain a real or technical definition. Further, hope may be confused or entangled with teleological assumptions, and (...) this complicates use of the concept in healthcare systems which prize scientific forms of evidence‐informed decision‐making. As currently understood hope cannot be situated within a sustainable scientific theory and nurses are therefore advised to distance themselves from the more extravagant claims that are made regarding the concept. (shrink)

Several philosophers have recently tried to define natural kinds in epistemic terms only. Given the persistent problems with finding a successful metaphysical theory, these philosophers argue that we would do better to describe natural kinds solely in terms of their epistemic usefulness, such as their role in supporting inductive inferences. In this paper, I argue against these epistemology-only theories of natural kinds and in favor of, at least partly, metaphysical theories. I do so in three steps. In the first section (...) of the paper, I propose two desiderata for a theory of natural kinds. In the second section, I discuss one example of a ‘general’ epistemology-only theory, proposed by Marc Ereshefsky and Thomas Reydon, and argue that theories like theirs fail to provide adequate criteria of natural kinds. In the third section, I focus on one example of a ‘specific’ epistemology-only theory, proposed by P. D. Magnus, and use it to show why such theories cannot justify the claim that the proposed epistemic criteria account for the naturalness of kinds. (shrink)

It is common to find depictions of behaviorist approaches to the mind as approaches according to which mental events are “dispositions for behavior.” Moreover, it is sometimes said that for these approaches the dispositions are for publicly observable behaviors, or even “purely physical movements,” thereby excluding from being constitutive of mental events any internal bodily happening, besides any movement not taken as “purely physical.” In this paper I aim to pinpoint problems in such widespread depictions of behaviorism about the mind, (...) by arguing that they turn out to be too restrictive or too broad, as the case may be. In addition, I put forward an alternative, more balanced characterization, which wards off such problems. Based upon this alternative characterization, I attempt to classify some of the embodied mind theories as behavioral, non-behavioral, or borderline cases between behavioral and non-behavioral perspectives. (shrink)

Both sides in the debate about scientific realism have argued that their view provides a better account of actual scientific practice. For example, it has been claimed that the practice of theory conjunction presupposes realism, and that scientists' use of multiple and incompatible models presupposes some form of instrumentalism. Assuming that the practices of science are rational, these conclusions cannot both be right. I argue that neither of them is right, and that, in fact, all scientific practices are compatible with (...) both realism and instrumentalism. I also repudiate van Fraassen's argument to the effect that the instrumentalist account of scientific practice is logically weaker, hence better, than the realist account. In the end, there are no scientific practice arguments on the table that support either side of the debate. It is also noted that the deficiencies of van Fraassen's argument are recapitulated in Putnam's miracle argument for realism. My pessimistic assessment of the state of the debate is reminiscent of Arthur Fine's. However, Fine's argument for the ‘natural ontological attitude’ once again repeats the problems of van Fraassen's and Putnam's arguments. (shrink)

Inferencjalizm semantyczny Roberta B. Brandoma jest ważną i nową teorią znaczenia we współczesnej, analitycznej filozofii języka. Wyłożona została w bardzo obszerny sposób w monografii pt. Making It Explicit: Reasoning, Representing and Discursive Commitment. Jest to teoria jednocześnie pragmatyczna, normatywna, holistyczna i dyskursywna. Stanowisko Brandoma jest z jednej strony gloryfikowane, natomiast z drugiej strony wzbudza kontrowersje. Powstaje zatem metafilozoficzne pytanie: Jak ocenić wkład tej teorii w filozofię języka? Inferencjalizm akcentuje wnioskowania materialne, askrypcje de re i użycie wyrażeń deiktycznych. Są to kategorie (...) „wertykalne”, akcentujące „związek” z rzeczywistością. Brandom jednak kładzie nacisk także na anaforyczną koncepcję referencji i prawdy. To czyni jego podejście wartościowym, anaforyczne bowiem rozumienie referencji i prawdy dostarcza dodatkowego objaśnienia użycia słów „odnosi się” i „ jest prawdziwe”. Ale kategorie te są „horyzontalne”. Brandom dostrzega problem nabywania empirycznego znaczenia przez wyrażenia inicjujące łańcuchy anaforyczne i proponuje — jako próbę rozwiązania problemu — zmodyfikowanie inferencjalizmu semantycznego przez poszerzenie go o epistemologią rewizyjną i fallibilistyczną. Dodatkowo wspomaga on swoją teorię przez pragmatykę normatywną, aplikującą kategorię asercji, uprawnienia, różnorodnych zobowiązań, czy „zdobywania punktów”. Wydaje się jednak, że wciąż brakuje pojęcia prawdziwości mocniejszego niż to zaproponowane w koncepcji anaforycznej — pojęcie prawdy, wyrażone przy użyciu relacji korespondencji między językiem a rzeczywistością. Idea korespondencji ma tę wadę, że trudno jest ją satysfakcjonująco zdefiniować. Ważną jednak zaletą takiej relacji jest to, że jest ona relacją „język–rzeczywistość”, a nie tylko anaforyczną relacją „język–język”. Postawiony zarzut nie dyskwalifikuje inferencjalizmu. Wyraża on jedynie ogólno-epistemologiczną trudność z definicją prawdy. Natomiast doniosłością inferencjalizmu jest to, że próbuje on łączyć różne elementy, a przez to — w bardziej adekwatny sposób — objaśnić czym jest znaczenie i wyjaśnić, jak wyrażenia je nabywają. (shrink)

My concern in what follows is to give a comparative report on some important lectures held at the Hegel-Kongreß 1981 in Stuttgart. In discussing the views of Quine, Hacking, Davidson, Putnam and Habermas I want to confront them with some details of Rorty's recent critique of our philosophical tradition. At last I try to give a tentative answer whether there is an end or a turning-point for current analytical philosophy.

The attempt to define life has gained new momentum in the wake of novel fields such as synthetic biology, astrobiology, and artificial life. In a series of articles, Cleland, Chyba, and Machery claim that definitions of life seek to provide necessary and sufficient conditions for applying the concept of life—something that such definitions cannot, and should not do. We argue that this criticism is largely unwarranted. Cleland, Chyba, and Machery approach definitions of life as classifying devices, thereby neglecting their other (...) epistemic roles. We identify within the discussions of the nature and origin of life three other types of definitions: theoretical, transdisciplinary, and diagnostic definitions. The primary aim of these definitions is not to distinguish life from nonlife, although they can also be used for classificatory purposes. We focus on the definitions of life within the budding field of astrobiology, paying particular attention to transdisciplinary definitions, and diagnostic definitions in the search for biosignatures from other planets. (shrink)

This paper discusses in broad terms the metaphysical projects of Sydney Shoemaker’s Physical Realization . Specifically, I examine the effectiveness of Shoemaker’s novel “subset” account of realization for defusing the problem of mental causation, and compare the “subset” account with the standard “second-order” account. Finally, I discuss the physicalist status of the metaphysical worldview presented in Shoemaker’s important new contribution to philosophy of mind and metaphysics.

According to a standard criticism, Robert Brandom's “normative pragmatics”, i.e. his attempt to explain normative statuses in terms of practical attitudes, faces a dilemma. If practical attitudes and their interactions are specified in purely non-normative terms, then they underdetermine normative statuses; but if normative terms are allowed into the account, then the account becomes viciously circular. This paper argues that there is no dilemma, because the feared circularity is not vicious. While normative claims do exhibit their respective authors' practical attitudes (...) and thereby contribute towards establishing the normative statuses they are about, this circularity is not a mark of Brandom's explanatory strategy but a feature of social practice of which we theorists partake. (shrink)

Advances in artificial intelligence research allow us to build fairly sophisticated agents: robots and computer programs capable of acting and deciding on their own. These systems raise questions about who is responsible when something goes wrong—when such systems harm or kill humans. In a recent paper, Sven Nyholm has suggested that, because current AI will likely possess what we might call “supervised agency”, the theory of responsibility for individual agency is the wrong place to look for an answer to the (...) question of responsibility. Instead, or so argues Nyholm, because supervised agency is a form of collaborative agency—of acting together—the right place to look is the theory of collaborative responsibility—responsibility in cases of acting together. This paper concedes that current AI will possess supervised agency, but argues that it is nevertheless wrong to think of the relevant human-AI interactions as a form of collaborative agency and, hence, that responsibility in cases of collaborative agency is not the right place to look for the responsibility-grounding relation in human-AI interactions. It also suggests that the right place to look for this responsibility-grounding relation in human-AI interactions is the use of certain sorts of agents as instruments. (shrink)

In this paper, I will argue that the most systematic arguments for the impossibility of reducing of social facts are not, in fact, good arguments. The best of these, the multiple realizability argument, has been very successful in convincing people to be non-reductionists in the philosophy of mind, and can plausibly be adapted to argue for anti-reductionism in the social sciences. But it, like the other arguments for the impossibility of social reduction, cannot deliver. Any preference we have for social (...) scientific explanations that don't refer to properties of individuals should not be based on a belief in the impossibility of reduction. (shrink)

Jerry Fodor has argued that the multiple realizability argument, as discussed in his original “Special Sciences” article, “refutes psychophysical reductionism once and for all.” I argue that his argument in “Special Sciences” does no such thing. Furthermore, if one endorses the physicalism that most supporters of the “Special Sciences” view endorse, special science laws must be reducible, in principle. The compatibility of MR with reduction, however, need not threaten the autonomy of the special sciences.

Scholars are divided as to whether reduction should be a central strategy for understanding the world. While reductive analysis is the standard mode of explanation in many areas of science and everyday life, many consider reductionism a sign of “intellectual naivete and backwardness.” In this paper I make three points about the proper status of anti-reductionism: First, reduction, is, in fact, a centrally important epistemic strategy. Second, reduction to physics is always possible for all causal properties. Third, there are, nevertheless, (...) reasons we want science to discover properties and explanations other than reductive physical ones. (shrink)

Scholars are divided as to whether reduction should be a central strategy for understanding the world. While reductive analysis is the standard mode of explanation in many areas of science and everyday life, many scholars consider reductionism a sign of “intellectual naïveté and backwardness.” This article makes three points about the proper status of antireductionism: First, reduction is, in fact, a centrally important epistemic strategy. Second, reduction to physics is always possible for all causal properties. Third, there are, nevertheless, reasons (...) why we want science to discover properties and explanations other than reductive physical ones. (shrink)

Putnam's internal realism entails the simultaneous rejection of metaphysical realism and (anything goes or total or cultural) relativism. Putnam argues, in some places, that relativism is self-contradictory, and in others, that it is self-refuting. This paper attempts the exegetical task of explicating these challenging arguments, and the critical task of suggesting that a full-blown epistemological relativism may be capable of surviving the Putnam attack.

The Empiricist or Lockean view says natural kinds do not exist objectively in nature but are practical categories reflecting use of words. The Modern, Ostensive view says they do exist, and one can refer to such a kind by ostention and recursion, assuming his designation of it is related causally to the kind itself. However, this leads to a problem: Kinds are abstract repeatables, and it seems impossible that abstractions could have causal force. In defence of the Modern view, I (...) suggest we can think of kinds as — or as like — ecological niches existing in nature, which are causally effective by virtue of the fact that they predictively determine (some) properties of the things that happen to occupy them. (shrink)

Many naturalistically-minded philosophers want to accomplish a naturalistic reduction of normative (e.g. moral and epistemic) claims. Mindful of avoiding the naturalistic fallacy, such philosophers claim that they are not reducing moral and epistemic concepts or definitions. Rather, they are only reducing the extension of these normative terms, while admitting that the concepts possess a normative content that cannot be naturalistically reduced. But these philosophers run into a serious problem. I will argue that normative claims possess two dimensions of normativity. I (...) will further argue that certain of the reductionist’s commitments require that these two dimensions of normativity be given a naturalistic reduction, while the other of the reductionist’s commitments make such a reduction impossible. Thus, the reductionist’s commitments both require and forbid a reductionist account of morality and epistemology. Thus, as we will see, reductionism is torn between two incompatible requirements, and must fail. (shrink)

Scientific practice involves two kinds of induction. In one, generalizations are drawn about the states of a particular system of variables. In the other, generalizations are drawn across systems in a class. We can discern two questions of correctness about both kinds of induction: what distinguishes those systems and classes of system that are ‘projectible’ in Goodman’s sense from those that are not, and what are the methods by which we are able to identify kinds that are likely to be (...) projectible? In answer to the first question, numerous theories of ‘natural kinds’ have been advanced, but none has satisfactorily addressed both questions simultaneously. I propose a shift in perspective. Both essentialist and cluster property theories have traditionally characterized kinds directly in terms of the causally salient properties their members possess. Instead, we should focus on ‘dynamical symmetries’, transformations of a system to which the causal structure of that system is indifferent. I suggest that to be a member of natural kind it is necessary and sufficient to possess a particular collection of dynamical symmetries. I show that membership in such a kind is in turn necessary and sufficient for the presence of the sort of causal structure that accounts for success in both kinds of induction, thus demonstrating that has been answered satisfactorily. More dramatically, I demonstrate that this new theory of ‘dynamical kinds’ provides an answer to with methodological implications concerning the discovery of projectible kinds. (shrink)

ABSTRACT Our ascriptions of content to past utterances assign to them a level of conceptual continuity and determinacy that extends beyond what could be grounded in the usage up to their time of utterance. If one accepts such ascriptions, one can argue either that future use must be added to the grounding base, or that such cases show that meaning is not, ultimately, grounded in use. The following will defend the first option as the more promising of the two, though (...) this ultimately requires understanding the relation between use and meaning as ‘normative’ in two important ways. The first way is that the function from use to meaning must be of a sort that allows us to maintain a robust distinction between actual and correct use. The second sort of normativity is unique to theories that extend the grounding base into the future. In particular, if meaning is partially a function of future use, we can see our commitment to the ‘determinacy’ of meaning as a practical commitment that structures our linguistic practices rather than a theoretical commitment that merely describes them. (shrink)

Temporal externalists argue that ascriptions of thought and utterance content can legitimately reflect contingent conceptual developments that are only settled after the time of utterance. While the view has been criticized for failing to accord with our “ordinary linguistic practices”, such criticisms (1) conflate our ordinary ascriptional practices with our more general beliefs about meaning, and (2) fail to distinguish epistemically from pragmatically motivated linguistic changes. Temporal externalism relates only to the former sort of changes, and the future usage relevant (...) to what we mean reflects reason-driven practices that are rational for us to defer to. (shrink)

Hillary Putnam has famously argued that we can know that we are not brains in a vat because the hypothesis that we are is self-refuting. While Putnam's argument has generated interest primarily as a novel response to skepticism, his original use of the brain in a vat scenario was meant to illustrate a point about the "mind/world relationship." In particular, he intended it to be part of an argument against the coherence of metaphysical realism, and thus to be part of (...) a defense of his conception of truth as idealized rational acceptability. Putnam's conclusions about the scenario are, however, actually out of line with central and plausible aspects of his own account of the relationship between our minds and the world. Reflections on semantics give us no compelling reason to suppose that claims like "I am a brain in a vat" could not turn out to be true. (shrink)

This paper examines popular‘conventionalist’explanations of why philosophers need not back up their claims about how‘we’use our words with empirical studies of actual usage. It argues that such explanations are incompatible with a number of currently popular and plausible assumptions about language's ‘social’character. Alternate explanations of the philosopher's purported entitlement to make a priori claims about‘our’usage are then suggested. While these alternate explanations would, unlike the conventionalist ones, be compatible with the more social picture of language, they are each shown to (...) face serious problems of their own. (shrink)

This paper discusses an "expressive constraint" on accounts of thought and language which requires that when a speaker expresses a belief by sincerely uttering a sentence, the utterance and the belief have the same content. It will be argued that this constraint should be viewed as expressing a conceptual connection between thought and language rather than a mere empirical generalization about the two. However, the most obvious accounts of the relation between thought and language compatible with the constraint (giving an (...) independent account of one of either linguistic meaning or thought content and understanding the other in terms of it) both face serious difficulties. Because of this, the following will suggest an alternative picture of the relation between thought and language that remains compatible with the constraint. (shrink)

Fundamentismus und Skeptizismus-Anarchismus sind zwei entgegengesetzte Positionen in der traditionellen Erkenntnistheorie und in der modernen Wissenschaftstheorie. Zwischen ihnen gibt es einen dritten Standpunkt, den Evolutionismus. Beispiele sind zwei neuere Arbeiten von Putnam und Stegmüller . Im Gegensatz zum logisch-statischen Fundamentismus berücksichtigt der Evolutionismus auch dynamische und naturalistische Ansätze. Stegmüller folgend entlehnen wir in der vorliegenden Untersuchung aus der Sprachphilosophie pragmatische Gesichtspunkte, um die logische Syntax und Semantik, die Werkzeuge des Fundamentismus, zu ersetzen. Wir zeigen die Kraft der Pragmatik bei der (...) Behandlung von Problemen wie Erkenntniswachstum, Begriffswechsel, Theorien- und Bedeutungsdynamik, wissenschaftliche Entdeckung und besonders beim Problem der Inkommensurabilität. Unser nicht-fundamentistischer Vorschlag ist ein heuristisches Modell, das auf der modernen genetischen Theorie basiert. (shrink)

Tyler Burge says that first-person authority can be reconciled with anti-individualism about the intentional by denying part of the "Cartesian conception" of authority, which claims that I am actually authoritative about my intentional attitudes in counterfactual situations. This clause, he says, wrongly conflates the evaluation-conditions for sceptical doubts about the "external" world with the conditions for classifying intentional attitudes in counterfactual situations. This paper argues that the kind of possibility needed to understand external-world scepticism justifies the conflation and that Burge (...) can reject the Cartesian conception only if he rejects either metaphysical realism or anti-individualism. (shrink)

Although naming biological clades is a major activity in taxonomy, little attention has been paid to what these names actually refer to. In philosophy, definite descriptions have long been considered equivalent to the meaning of names and biological taxonomy is a scientific application of these ideas. One problem with definite descriptions as the meanings of names is that the name will refer to whatever fits the description rather than the intended individual (clade). Recent proposals for explicit phylogenetic definitions of clade (...) names suffer from similar problems and we argue that clade names cannot be defined since they lack intension. Furthermore we stress the importance of tree-thinking for phylogenetic reference to work properly. (shrink)

The biological race debate is at an impasse. Issues surrounding hereditarianism aside, there is little empirical disagreement left between race naturalists and anti-realists about biological race. The disagreement is now primarily semantic. This would seem to uniquely qualify philosophers to contribute to the biological race debate. However, philosophers of race are reluctant to focus on semantics, largely because of their worries about the ‘flight to reference’. In this paper, I show how philosophers can contribute to the debate without taking the (...) flight to reference. Drawing on the theory of reference literature and the history of meaning change in science, I develop some criteria for dealing with cases where there is uncertainty about reference. I then apply these criteria to the biological race debate. All of the criteria I develop for eliminating putative kinds are met in the case of ‘race’ as understood by twentieth century geneticist Theodosius Dobzhansky and his contemporary proponents, suggesting that we should eliminate it from our biological ontology. (shrink)

Mental, mathematical, and moral facts are difficult to accommodate within an overall worldview due to the peculiar kinds of properties inherent to them. In this paper I argue that a significant class of social entities also presents us with an ontological puzzle that has thus far not been addressed satisfactorily. This puzzle relates to the location of certain social entities. Where, for instance, are organizations located? Where their members are, or where their designated offices are? Organizations depend on their members (...) for their existence, but the members of an organization can be where the organization is not. The designated office of an organization, however, need be little more than a mailbox. I argue that the problem can be solved by conceptualizing the relation between social entities and non-social entities as one of constitution, a relation of unity without identity. Constituted objects have properties that cannot be reduced to properties of the constituting objects. Thus, my attempt to solve the Location Problem results in an argument in favor of a kind of non-reductive materialism about the social. (shrink)

Philosophers have often debated the truth of microstructural essentialism about chemical substances: whether or not the structure of a chemical substance at the molecular scale is what makes it the substance it is. Oddly they have tended to pursue this debate without identifying what a structure is, and with some confusion and about what a chemical substance is. In this paper I draw on chemistry to rectify those omissions, providing a pluralist account of structure, clarifying what (according to chemistry) a (...) chemical substance is and defending microstructural essentialism, as I understand that position. I then give an account of the existence of composite substances and objects in chemistry, an issue that goes back to Aristotle. (shrink)

We give a general background describing how the notion of levels of reality comes about in contemporary nonreductive approaches to the special sciences, what the notion of levels means in these approaches, its role in our scientific outlook of the world, and why it is important.

This paper describes a version of type identity physicalism, which we call Flat Physicalism, and shows how it meets several objections often raised against identity theories. This identity theory is informed by recent results in the conceptual foundations of physics, and in particular clar- ifies the notion of ‘physical kinds’ in light of a conceptual analysis of the paradigmatic case of reducing thermody- namics to statistical mechanics. We show how Flat Physi- calism is compatible with the appearance of multiple realisation (...) in the special sciences, and how and in what sense the special sciences laws are autonomous from the laws of physics, despite the full reductive picture of Flat Physicalism. We compare our view with a recent proposal by William Bechtel that accounts for the appearance of levels in mechanistic explanations. (shrink)

When certain formal symbol systems (e.g., computer programs) are implemented as dynamic physical symbol systems (e.g., when they are run on a computer) their activity can be interpreted at higher levels (e.g., binary code can be interpreted as LISP, LISP code can be interpreted as English, and English can be interpreted as a meaningful conversation). These higher levels of interpretability are called "virtual" systems. If such a virtual system is interpretable as if it had a mind, is such a "virtual (...) mind" real? This is the question addressed in this "virtual" symposium, originally conducted electronically among four cognitive scientists: Donald Perlis, a computer scientist, argues that according to the computationalist thesis, virtual minds are real and hence Searle's Chinese Room Argument fails, because if Searle memorized and executed a program that could pass the Turing Test in Chinese he would have a second, virtual, Chinese-understanding mind of which he was unaware (as in multiple personality). Stevan Harnad, a psychologist, argues that Searle's Argument is valid, virtual minds are just hermeneutic overinterpretations, and symbols must be grounded in the real world of objects, not just the virtual world of interpretations. Computer scientist Patrick Hayes argues that Searle's Argument fails, but because Searle does not really implement the program: A real implementation must not be homuncular but mindless and mechanical, like a computer. Only then can it give rise to a mind at the virtual level. Philosopher Ned Block suggests that there is no reason a mindful implementation would not be a real one. (shrink)