The realization relation that allegedly holds between mental and physical properties plays a crucial role for so-called non-reductive physicalism because it is supposed to secure both the ontological autonomy of mental properties and, despite their irreducibility, their ability to make a causal difference to the course of the causally closed physical world. For a long time however, the nature of realization has largely been ignored in the philosophy of mind until a couple of years ago authors like Carl Gillett, Derk (...) Pereboom, or Sydney Shoemaker proposed accounts according to which realization is understood against the background of the so-called 'causal theory of properties'. At least partially, the hope was to solve the problem of mental causation, in particular the kind of causal exclusion reasoning made famous by Jaegwon Kim, in a way acceptable to nonreductive physicalists. The paper asks whether a proper explication of the realization relation can indeed help explain how physically realized mental properties can be causally efficacious in the causally closed physical world and argues for a negative answer: it is important for the non-reductive physicalist to understand what exactly the realization relation amounts to, but it does not solve the problem of mental causation. (shrink)

The core entities of computer science include formal languages, spec-ifications, models, programs, implementations, semantic theories, type inference systems, abstract and physical machines. While there are conceptual questions concerning their nature, and in particular ontological ones (Turner 2018), our main focus here will be on the relationships between them. These relationships have an extensional aspect that articulates the propositional connection between the two entities, and an intentional one that fixes the direction of governance. An analysis of these two aspects will drive (...) our investigation; an investigation that will touch upon some of the central concerns of the philosophy of computer science (Turner 2017). (shrink)

So-called identity theories that postulate the identity of mental phenomena with brain states are usually associated with materialistic ontology. However, the historical picture of the actual attempts at spelling out the mind–brain identities is more complex. In the eighteenth century such identities were most enthusiastically proposed by dualists , whereas non-reductionistic materialists such as Diderot tried to get along without them. In the nineteenth century physiologists such as Broca, Charcot and Wernicke, who postulated discrete and localizable neural correlates for ideas (...) and mental images, ended up, despite their professed materialism, defending theories that resembled Cartesian schemes and the theories of their eighteenth-century dualistic predecessors. Some problems resulting from the use of these theoretical models postulating local and discrete traces, images or representations in the brain in the context of materialist ontology are obviously related to their dualistic origins and to the fact that they are necessarily bound up with dualistic presuppositions. In the context of the criticism of the nineteenth-century memory trace paradigm it is, however, important to bear in mind that functional localization as such is not dependent on the notion of localizable representations. Nor are materialist theories of the mind necessarily dependent on postulating specific type–type identities between the mental and the physiological. (shrink)

I examine the abstraction/representation theory of computation put forward by Horsman et al., connecting it to the broader notion of modeling, and in particular, model-based explanation, as considered by Rosen. I argue that the ‘representational entities’ it depends on cannot themselves be computational, and that, in particular, their representational capacities cannot be realized by computational means, and must remain explanatorily opaque to them. I then propose that representation might be realized by subjective experience, through being the bearer of the structure (...) of abstract objects that are represented. (shrink)

Organisations are computing systems. The university’s sports centre is a computing system for managing sports teams and facilities. The tenure committee is a computing system for assigning tenure status. Despite an increasing number of publications in group ontology, the computational nature of organisations has not been recognised. The present paper is the first in this debate to propose a theory of organisations as groups structured for computing. I begin by describing the current situation in group ontology and by spelling out (...) the thesis in more detail. I then present the example of a sports centre to illustrate why one might intuitively think of organisations as computing systems. To substantiate the thesis, I introduce Piccinini’s restrictive analysis of physical computation. As I show, organisations meet all criteria for being computing systems. Organisations are structured groups with the function of manipulating medium-independent vehicles according to rules. Furthermore, I argue for the modal claim that this is a necessary feature of organisations. Having sketched the computational account of organisations, I compare it to other proposals in the literature. (shrink)

The present paper studies a specific way of addressing the question whether the laws involving the basic constituents of nature are statistical. While most German physicists, above all Planck, treated the issues of determinism and causality within a Kantian framework, the tradition which I call Vienna Indeterminism began from Mach’s reinterpretation of causality as functional dependence. This severed the bond between causality and realism because one could no longer avail oneself of a priori categories as a criterion for empirical reality. (...) Hence, an independent reality criterion had to be sought, a problem which all three physicists to be studied solved in different ways that were mainly conditioned by their different concepts of probability. In order to prevent a dissipation of intuited facts, Mach had to resort to a principle of unique determination as his reality criterion, especially when discussing the Principle of Least Action. Giving theories more independence, Boltzmann understood atomism as property reduction to precisely defined theoretical entities and their interactions. While this served as a relative reality criterion, he also advocated a constructivist one because atomism was already implied by our finitary reasoning power. Finally, Exner contemplated the idea that all apparently deterministic laws are only a macroscopic limit of an irreducible indeterminism, because by adopting the frequency interpretation, observable collectives could be considered as the real basic entities. (shrink)

SummaryJ.R. Lucas has argued that it follows from Godel's Theorem that the mind cannot be a machine or represented by any formal system. Although this notorious argument against the mechanism thesis has received considerable attention in the literature, it has not been decisively rebutted, even though mechanism is generally thought to be the only plausible view of the mind. In this paper I offer an analysis of Lucas's argument which shows that it derives its persuasiveness from a subtle confusion. In (...) particular, I examine Benacerraf's reconstruction of Lucas's argument, thereby permitting a precise re‐statement of my own analysis and reinforcement of my conclusions regarding Lucas's mistake. This examination of Benacerraf's reconstruction permits us to evaluate certain radical and highly paradoxical conclusions concerning empirical psychology which Benacerraf draws, and this, in turn, permits us to consider certain suggestive implications for the mind which may, after all, follow from Godel's Theorem.RésuméJ.R. Lucas a dérivé du théorème de Gödel la conclusion que ľesprit ne peut pas être une machine ou être représenté par un systeme formel. Bien que cet argument célèbre contre la thése du mécanisme ait éveillé un interêt considérable dans la littérature, il ňa pas été réfuté de façon décisive, même si ľopinion générate prévaut que le mécanisme est la seule conception possible de ľesprit. Dans cet article, je propose une analyse du raisonnement de Lucas qui montre que sa force persuasive provient ?on;une subtile confusion. En particulier, j'examine la reconstruction, par Benacerraf, de la démonstration de Lucas, ce qui me pérmet de préciser ma propre analyse et de confirmer mes conclusions quant àľerreur de Lucas. Cet examen de la reconstruction de Benacerraf nous fournit ľoccasion de discuter certaines conclusions radicales et hautement paradoxals qu'il en tire concernant la psychologie expérimentale et nous conduit à certaines implications suggestives concernant ľesprit et qui pourraient finalement decouler du théorème de Gödel.ZusammenfassungJ.R. Lucas hat argumentiert, aus Gödels Theorem mUsse folgen, dass der menschliche Geist keine Maschine sein oder durch ein formales System dargestellt werden kann. Obschon dieses bekannte Argument gegen die mechanistische These in der Literatur beträchtliche Beachtung gefunden hat, ist es bisher noch nie eigentlich widerlegt worden, obgleich eine mechanistische Betrachtungsweise allgemein als die einzig plausible gilt. In dieser Arbeit biete ich eine Analyse von Lucas Argument an, die zeigen soil, dass seine Überzeugungskraft auf einer subtilen Konfusion beruht. Im besonderen untersuche ich Benacerrafs Rekonstruktion des Arguments, was rnirerlaubt, meine eigene Analyse in genauer Weise zu formulieren und meine Schlussfolgerung bezüglich des von Lucas gemachten Fehlers zu erharten. Diese Untersuchung von Benacerrafs Rekonstruktion ermöglicht es, gewisse radikale und im höchsten Grad paradoxe Schlüsse, die Benacerraf hinsichtlich der empirischen Psychologie zieht, zu beurteilen. Das wiederum erlaubt uns, gewisse den Geist betreffende Implikationen zu erörtern, die tatsächlich aus Gödels Theorem folgen kUnnten. (shrink)

In this essay we try an answer to the question has intentionality to be reduced to anything? We propose that it is possible to reduce any variety of intentionality to a specification of mechanisms (internal organization of the items involved in a given intentional phenomenon) and a historical pattern of interaction (structure of mutual significant relations historically acquired by different items involved in the same intentional phenomenon). We first clarify the meaning of this proposal having recourse to the Ruth Millikan’s (...) teleosemantics. Then, we assess the relevance and feasibility of our proposal, considering, in a succession, the case of animals and humans, of machines, and of sophisticated human collectives. We conclude arguing the heuristic nature of the proposed reduction. DOI:10.5007/1808-1711.2010v14n2p255. (shrink)

The paper criticizes standard functionalist arguments for multiple realization. It focuses on arguments in which psychological states are conceived as computational, which is precisely where the multiple realization doctrine has seemed the strongest. It is argued that a type-type identity thesis between computational states and physical states is no less plausible than a multiple realization thesis. The paper also presents, more tentatively, positive arguments for a picture of local reduction.

Sections 3.16 and 3.23 of Roger Penrose's Shadows of the mind (Oxford, Oxford University Press, 1994) contain a subtle and intriguing new argument against mechanism, the thesis that the human mind can be accurately modeled by a Turing machine. The argument, based on the incompleteness theorem, is designed to meet standard objections to the original Lucas-Penrose formulations. The new argument, however, seems to invoke an unrestricted truth predicate (and an unrestricted knowability predicate). If so, its premises are inconsistent. The usual (...) ways of restricting the predicates either invalidate Penrose's reasoning or require presuppositions that the mechanist can reject. (shrink)

§1. Overview. Philosophers and mathematicians have drawn lots of conclusions from Gödel's incompleteness theorems, and related results from mathematical logic. Languages, minds, and machines figure prominently in the discussion. Gödel's theorems surely tell us something about these important matters. But what?A descriptive title for this paper would be “Gödel, Lucas, Penrose, Turing, Feferman, Dummett, mechanism, optimism, reflection, and indefinite extensibility”. Adding “God and the Devil” would probably be redundant. Despite the breath-taking, whirlwind tour, I have the modest aim of forging (...) connections between different parts of this literature and clearing up some confusions, together with the less modest aim of not introducing any more confusions.I propose to focus on three spheres within the literature on incompleteness. The first, and primary, one concerns arguments that Gödel's theorem refutes the mechanistic thesis that the human mind is, or can be accurately modeled as, a digital computer or a Turing machine. The most famous instance is the much reprinted J. R. Lucas [18]. To summarize, suppose that a mechanist provides plans for a machine,M, and claims that the output ofMconsists of all and only the arithmetic truths that a human, or the totality of human mathematicians, will ever or can ever know. We assume that the output ofMis consistent. (shrink)

I identify a class of arguments against multiple realization (MR): BookofSand arguments. The arguments are in their general form successful under reasonably uncontroversial assumptions, but this, on the other hand, turns the table on identity theory: If arguments from MR can always be refuted by BookofSand arguments, is identity theory falsifiable? In the absence of operational demarcation criteria, it is not. I suggest a parameterized formal demarcation principle for brain state/process types and show how it can be used to identify (...) previously unconsidered contenders for evidence for MR, e.g., binary classification, division, and sorting. For these to be actual instances of MR, the corresponding psychological kinds must be verifiably, relevantly similar. I also briefly discuss possible linguistic, behavioral, and experimental demarcation criteria for psychological kinds. (shrink)

Qualia and Physicalism. It is assumed that the following three relations exhaust the possibilities for a physicalist account of qualia: 1. determination, 2. identity, 3. realization. The first relation is immediately rejected because it does not exclude property dualism. The second faces the problem that it is probably impossible to discriminate empirically between the identity thesis and the epiphenomenalist position. The third cannot handle qualia adequately, for qualia are not functional properties and the realization relation is only plausible as a (...) relation between physical realizers and functional properties. Finally, if one attempts to replace multiple realization by multiple identities it is shown that the notion of multiple property identities is unintelligible. The upshot is that if these three relations exhaust the possibilities of a physicalist construal of qualia then physicalism is wrong. (shrink)

Discussion about the application of scientific knowledge in robotics in order to build people helpers is widespread. The issue herein addressed is philosophically poignant, that of robots that are “people”. It is currently popular to speak about robots and the image of Man. Behind this lurks the dialogical mind and the questions about the significance of an artificial version of it. Without intending to defend or refute the discourse in favour of ‘recreating’ Man, a lesser familiar question is brought forth: (...) “and what if we were capable of creating a very convincible replica of man (constructing a robot-person), what would the consequences of this be and would we be satisfied with such technology?” Thorny topic; it questions the entire knowledge foundation upon which strong AI/Robotics is positioned. The author argues for improved monitoring of technological progress and thus favours implementing weaker techniques. (shrink)

The paper examines the status of conscious presentation with regard to mental content and intentional states. I argue that conscious presentation of mental content should be viewed on the model of a secondary quality, as a subjectiveeffect of the microstructure of an underlying brain state. The brain state is in turn viewed as the instantiation of an abstract computational state, with the result that introspectively accessible content is interpreted as a presentation of the associated computational state realized by the brain. (...) However, if the relation between consciousness and representational content is construed in this manner, then conscious presentation does not provide an adequate foundation for the claim that human mental states areintrinsically intentional. On this model, I argue that functionalism is able to account for (non-intrinsic) intentionality, but not for consciousness, which has implications for the computational paradigm, as well as for Searle's Chinese room thought experiment. (shrink)

The raison d’être of this article is that many a spry-eyed analyst of the works in intelligent computing and robotics fail to see the essential concerning applications development, that of expressing their ultimate goal. Alternatively, they fail to state it suitably for the lesser-informed public eye. The author does not claim to be able to remedy this. Instead, the visionary investigation offered couples learning and computing with other related fields as part of a larger spectre to fully simulate people in (...) their embodied image. For the first time, the social roles attributed to the technical objects produced are questioned, and so with a humorous illustration. (shrink)

This work gives a new argument for ‘Empirical Philosophy of Mathematical Practice’. It analyses different modalities on how empirical information can influence philosophical endeavours. We evoke the classical dichotomy between “armchair” philosophy and empirical/experimental philosophy, and claim that the latter should in turn be subdivided in three distinct styles: Apostate speculator, Informed analyst, and Freeway explorer. This is a shift of focus from the source of the information towards its use by philosophers. We present several examples from philosophy of mind/science (...) and ethics on one side and a case study from philosophy of mathematics on the other. We argue that empirically informed philosophy of mathematics is different from the rest in a way that encourages a Freeway explorer approach, because intuitions about mathematical objects are often unavailable for non-mathematicians. This consideration is supported by a case study in set theory. (shrink)

Sociobiology has always had a strong relationship with classical psychometrics, and with intelligence testing in particular. The major ideological impact of Eugenics prior to 1940 led many psychometricians to adopt a sociobiological perspective, but when this turned out, in the 1960's, to be controversial many of the procedures of classical psychometrics were abandoned. Their place was taken by functional psychometrics, based on criterion reference testing, where the content of test items was related directly to very specific skills which may be (...) required in the work place or other setting, and the use of intervening psychological traits such as intelligence was eliminated. It is demonstrated here that much of the theory of traits can be derived directly from functional psychometrics, without the need to make any sociobiological presuppositions. (shrink)

The recent literature on mental causation has not been kind to nonreductive, materialist functionalism (‘functionalism’, hereafter, except where that term is otherwise qualified). The exclusion problem2 has done much of the damage, but the epiphenomenalist threat has taken other forms. Functionalism also faces what I will call the ‘problem of metaphysically necessary effects’ (Block, 1990, pp. 157-60, Antony and Levine, 1997, pp. 91-92, Pereboom, 2002, p. 515, Millikan, 1999, p. 47, Jackson, 1998, pp. 660-61). Functionalist mental properties are individuated partly (...) by their relation to the very effects those properties’ instantiations are thought to cause. Consequently, functionalist causal generalizations would seem to have the following problematical structure: The state of being, among other things, a cause of e (under such-andsuch conditions) causes e (under those conditions).3 The connection asserted lacks the contingency one would expect of a causal generalization. Mental states of the kind in question are, by metaphysical necessity, causes of e; any state that does not cause e is thereby a different kind of state. Yet, a mental state’s being the sort of state it is must play some causal role if functionalism is to account for mental causation.4 In what follows, I first articulate more fully the problem of metaphysically necessary effects. I then criticize three functionalist attempts to solve the problem directly. Given the failure of functionalist efforts to meet the problem head-on, I consider less direct strategies: these involve formulating functionalism or its causal claims in such a way that they appear not to generate the problem of metaphysically necessary effects. I argue against these indirect solutions, in each case concluding either that the problem still arises or that avoiding it requires the adoption of an unorthodox form of functionalism (itself a surprising result). In the final.. (shrink)

We’re talking about J. Anthony Lucas’s classic argument that Gödel’s Second Incompleteness Theorem rules out man-machine equivalence. This is an argument that Penrose revived and popularized in the 1990s. This fallacious argument is a thoroughly dead horse. But I’ll give it another beating here. Do note that the Lucas-Penrose argument is a completely distinct issue from PenroseHameroff speculation that the brain can act as a coherent quantum computer. It’s to Penrose’s credit that he’s associated with multiple controversial ideas!

Remarks on the Relations between Neurophysiology and Psychology. In the last decades of Analytical Philosophy, contributions to the so-called mind-body-problem have been suffering by several serious methodological misunderstandings: they have failed, for instance, to distinguish between explanations of particular and strictly general ("necessary") properties and between two important senses of existential statements; and they have overlooked the role conceptual explanations play in the development of science. Changing our methodological premisses, we should be able to put questions like that of the (...) relation between (neuro)physiological and psychological phenomena in a new way - and we should be able to see that such newly understood questions allow answers which evade the pitfalls of both reductionist and holistic positions. The paper tries to illustrate and to defend these contentions by reference to a very elementary example: the rational re-building of our concepts to identify behaviour by which a subject controls the position of his body in space. (shrink)

Remarks on the Relations between Neurophysiology and Psychology. In the last decades of Analytical Philosophy, contributions to the so-called mind-body-problem have been suffering by several serious methodological misunderstandings: they have failed, for instance, to distinguish between explanations of particular and strictly general properties and between two important senses of existential statements; and they have overlooked the role conceptual explanations play in the development of science. Changing our methodological premisses, we should be able to put questions like that of the relation (...) between physiological and psychological phenomena in a new way - and we should be able to see that such newly understood questions allow answers which evade the pitfalls of both reductionist and holistic positions. The paper tries to illustrate and to defend these contentions by reference to a very elementary example: the rational re-building of our concepts to identify behaviour by which a subject controls the position of his body in space. (shrink)

para o domínio da Ciência Cognitiva funcionalista neurocomputacional. A descrição de tal transição é feita por meio de uma breve análise das idéias de Post, Church, Gödel e Turing sobre a possibilidade de formalização do pensamento criador na matemática, enfatizando as contribuições deste último.

Deliberate contextual vocabulary acquisition (CVA) is a reader’s ability to figure out a (not the) meaning for an unknown word from its “context”, without external sources of help such as dictionaries or people. The appropriate context for such CVA is the “belief-revised integration” of the reader’s prior knowledge with the reader’s “internalization” of the text. We discuss unwarranted assumptions behind some classic objections to CVA, and present and defend a computational theory of CVA that we have adapted to a new (...) classroom curriculum designed to help students use CVA to improve their reading comprehension. (shrink)

This paper reassesses the criticism of the Lucas-Penrose anti-mechanist argument, based on Gödel’s incompleteness theorems, as formulated by Krajewski : this argument only works with the additional extra-formal assumption that “the human mind is consistent”. Krajewski argues that this assumption cannot be formalized, and therefore that the anti-mechanist argument – which requires the formalization of the whole reasoning process – fails to establish that the human mind is not mechanistic. A similar situation occurs with a corollary to the argument, that (...) the human mind allegedly outperforms machines, because although there is no exhaustive formal definition of natural numbers, mathematicians can successfully work with natural numbers. Again, the corollary requires an extra-formal assumption: “PA is complete” or “the set of all natural numbers exists”. I agree that extra-formal assumptions are necessary in order to validate the anti-mechanist argument and its corollary, and that those assumptions are problematic. However, I argue that formalization is possible and the problem is instead the circularity of reasoning that they cause. The human mind does not prove its own consistency, and outperforms the machine, simply by making the assumption “I am consistent”. Starting from the analysis of circularity, I propose a way of thinking about the interplay between informal and formal in mathematics. (shrink)

In this lecture I describe the path by which I was led to the “semantic externalism” for which I was honoured with the Rolf Schock Prize. Although my interest in linguistics goes back as far as my undergraduate days, it was conversations with Jerrold Katz and Jerry Fodor at MIT (where all three of us taught at the time) in the 1960s that first led to an effort by all three of us to develop semantic theories. My own direction was (...) a false one, by my present lights; at that time all three of us defended the “internalist” view that the meaning of a word is fixed by a “battery of semantical rules” implicitly known by each speaker. I describe how I was led to the realization that this could not be right, and finally to the views I defended in “The Meaning of ‘Meaning' ”. (shrink)

This paper develops an empirically motivated theory of visual consciousness. It begins by outlining neuropsychological support for Jackendoff's (1987) hypothesis that visual consciousness involves mental representations at an intermediate level of processing. It then supplements that hypothesis with the further requirement that attention, which can come under the direction of high level representations, is also necessary for consciousness. The resulting theory is shown to have a number of philosophical consequences. If correct, higher-order thought accounts, the multiple drafts account, and the (...) widely held belief that sensation precedes perception will all be found wanting. The theory will also be used to illustrate and defend a methodology that fills the gulf between functionalists who ignore the brain and neural reductionists who repudiate functionalism. (shrink)