Philosophy (and its corollaries in the human sciences such as literary, social and political theory) is distinguished from other disciplines by a more thoroughgoing emphasis on the a priori. Philosophy makes no claims to predictive power; nor does it aim to conform to popular opinion (beyond ordinary intuitions as recorded by ‘thought experiments’). Many philosophers view the discipline’s self-exemption from ‘real world’ empirical testing as a non-issue or even an advantage, in allowing philosophy to focus on universal and necessary truths. (...) This article argues otherwise. The non-instrumentality of philosophical discourse renders it into a collective private language, impairing the discipline’s ability to judge the quality of its own output. The natural sciences and other technical disciplines offer the non-expert ‘windows of scrutiny’ into their respective methodologies, through numerous findings that can be easily and independently tested by amateurs. Such outside scrutiny provides a mechanism of external quality control, mitigating the internal effects of cognitive bias and institutionalised conformity upon the discourses of technical disciplines. In contrast, the conclusions of philosophy are not testable without in-depth knowledge of the methods by which they are arrived at; knowledge which can apparently only be gained through an extensive program of study, in philosophy. This epistemic circularity renders the program (even one of self-study) into a ‘black box’ in which the internal influence of cognitive biases and conformity effects cannot be independently assessed. The black box of philosophy is, in all relevant respects, analogous to the black box of the Cartesian mind that is the subject of Wittgenstein’s private language argument. (shrink)

This paper presents, from a historical and logical-philosophical perspective, the Gödelian arguments of two Oxford scholars, John Lucas and Roger Penrose. Both have been based on Gödel's Theorem to refute mechanism, computationalism and the possibility of creating an AI capable of simulating or duplicating the human mind. In the conclusions, the growing application of empirical methods in mathematics is mentioned and a possible path that would support Lucas and Penrose's arguments is speculated.

Purpose – The purpose of this paper is to explore artificial moral agency by reflecting upon the possibility of a Moral Turing Test and whether its lack of focus on interiority, i.e. its behaviouristic foundation, counts as an obstacle to establishing such a test to judge the performance of an Artificial Moral Agent. Subsequently, to investigate whether an MTT could serve as a useful framework for the understanding, designing and engineering of AMAs, we set out to address fundamental challenges within (...) the field of robot ethics regarding the formal representation of moral theories and standards. Here, typically three design approaches to AMAs are available: top-down theory-driven models and bottom-up approaches which set out to model moral behaviour by means of models for adaptive learning, such as neural networks, and finally, hybrid models, which involve components from both top-down and bottom-up approaches to the modelling of moral agency. With inspiration from Allen and Wallace as well as Prior, we elaborate on theoretically driven approaches to machine ethics by introducing deontic tense logic. Finally, within this framework, we explore the character of human interaction with a robot which has successfully passed an MTT. Design/methodology/approach – The ideas in this paper reflect preliminary theoretical considerations regarding the possibility of establishing a MTT based on the evaluation of moral behaviour, which focusses on moral reasoning regarding possible actions. The thoughts reflected fall within the field of normative ethics and apply deontic tense logic to discuss the possibilities and limitations of artificial moral agency. Findings – The authors stipulate a formalisation of logic of obligation, time and modality, which may serve as a candidate for implementing a system corresponding to an MTT in a restricted sense. Hence, the authors argue that to establish a present moral obligation, we need to be able to make a description of the actual situation and the relevant general moral rules. Such a description can never be complete, as the combination of exhaustive knowledge about both situations and rules would involve a God eye’s view, enabling one to know all there is to know and take everything relevant into consideration before making a perfect moral decision to act upon. Consequently, due to this frame problem, from an engineering point of view, we can only strive for designing a robot supposed to operate within a restricted domain and within a limited space-time region. Given such a setup, the robot has to be able to perform moral reasoning based on a formal description of the situation and any possible future developments. Although a system of this kind may be useful, it is clearly also limited to a particular context. It seems that it will always be possible to find special cases in which a given system does not pass the MTT. This calls for a new design of moral systems with trust-related components which will make it possible for the system to learn from experience. Originality/value – It is without doubt that in the near future we are going to be faced with advanced social robots with increasing autonomy, and our growing engagement with these robots calls for the exploration of ethical issues and stresses the importance of informing the process of engineering ethical robots. Our contribution can be seen as an early step in this direction. (shrink)

Employing Searle’s views, I begin by arguing that students of Mathematics behave similarly to machines that manage symbols using a set of rules. I then consider two types of Mathematics, which I call Cognitive Mathematics and Technical Mathematics respectively. The former type relates to concepts and meanings, logic and sense, whilst the latter relates to algorithms, heuristics, rules and application of various techniques. I claim that an upgrade in the school teaching of Cognitive Mathematics is necessary. The aim is to (...) change the current mentality of the stakeholders so as to compensate for the undue value presently attached to Technical Mathematics, due to advances in technology and its applications, and thus render the two sides of Mathematics equal. Furthermore, I suggest a reorganization/systematization of School Mathematics into a cognitive network to facilitate students’ understanding of the subject. The final goal is the transition from mechanical execution of rules to better understanding and in-depth knowledge of Mathematics. (shrink)

This paper surveys some of the central issues in the philosophy of creativity and argues that an adequate treatment of them requires attention to the rich psychological literature on creativity. It also shows that the range of interesting philosophical questions to be raised about creativity is much wider than concerns its role in art. Issues covered include the definition of ‘creativity’; the relation of creativity to imagination; whether the creative process is rational; whether it is teleological; the relation of creativity (...) to knowledge; whether creativity can be explained; computational and Darwinian theories of creativity; whether creativity is a virtue; the relation of creativity to tradition; the aesthetic value of creativity; and whether creative activity is different in science and art. (shrink)

Embodied theories of grounded semantics postulate that, when word meaning is first acquired, a link is established between symbol and corresponding semantic information present in modality-specific—including primary—sensorimotor cortices of the brain. Direct experimental evidence documenting the emergence of such a link, however, is still missing. Here, we present new neuroimaging results that provide such evidence. We taught participants aspects of the referential meaning of previously unknown, senseless novel spoken words by associating them with either a familiar action or a familiar (...) object. After training, we used functional magnetic resonance imaging to analyze the participants’ brain responses to the new speech items. We found that hearing the newly learnt object-related word sounds selectively triggered activity in the primary visual cortex, as well as secondary and higher visual areas.These results for the first time directly document the formation of a link between the novel, previously meaningless spoken items and corresponding semantic information in primary sensory areas in a category-specific manner, providing experimental support for perceptual accounts of word-meaning acquisition in the brain. (shrink)

The computational theory of cognition (CTC) holds that the mind is akin to computer software. This article aims to show that CTC is incorrect because it is not able to distinguish the ability to solve a maze from the ability to solve its mirror image. CTC cannot do so because it only individuates brain states up to isomorphism. It is shown that a finer individuation that would distinguish left-handed from right-handed abilities is not compatible with CTC. The view is explored (...) that CTC correctly individuates in an autonomous domain of the mental, leaving discrimination between left and right to some non-cognitive component of psychology such as physiology. I object by showing that the individuation provided by CTC does not properly describe in any domain. An embodied computational taxonomy, rather than software alone, is required for an adequate science of the mind. (shrink)

This paper argues against Oaksford and Chater's claim that logicist cognitive science is not possible. It suggests that there arguments against logicist cognitive science are too closely tied to the account of Pylyshyn and of Fodor, and that the correct way of thinking about logicist cognitive science is in a mental models framework.

This piece is a commentary on a precis of Maggie Boden's book "The creative mind" published in Behavioral and Brain Sciences.

This target article draws together two groups of experimental studies on the control of human movement through peripheral feedback and centrally generated signals of motor commands. First, during natural movement, feedback from muscle, joint, and cutaneous afferents changes; in human subjects these changes have reflex and kinesthetic consequences. Recent psychophysical and microneurographic evidence suggests that joint and even cutaneous afferents may have a proprioceptive role. Second, the role of centrally generated motor commands in the control of normal movements and movements (...) following acute and chronic deafferentation is reviewed. There is increasing evidence that subjects can perceive their motor commands under various conditions, but that this is inadequate for normal movement; deficits in motor performance arise when the reliance on proprioceptive feedback is abolished either experimentally or because of pathology. During natural movement, the CNS appears to have access to functionally useful input from a range of peripheral receptors as well as from internally generated command signals. The unanswered questions that remain suggest a number of avenues for further research. (shrink)

This paper is a review of the work that has been carried out on machine consciousness. A clear overview of this diverse field is achieved by breaking machine consciousness down into four different areas, which are used to understand its aims, discuss its relationship with other subjects and outline the work that has been carried out so far. The criticisms that have been made against machine consciousness are also covered, along with its potential benefits, and the work that has been (...) done on analysing systems for signs of consciousness. Some of the social and ethical issues raised by machine consciousness are examined at the end of the paper. (shrink)

Research is starting to identify correlations between consciousness and some of the spatiotemporal patterns in the physical brain. For theoretical and practical reasons, the results of experiments on the correlates of consciousness have ambiguous interpretations. At any point in time a number of hypotheses co-exist about and the correlates of consciousness in the brain, which are all compatible with the current experimental results. This paper argues that consciousness should be attributed to any system that exhibits spatiotemporal physical patterns that match (...) the hypotheses about the correlates of consciousness that are compatible with the current experimental results. Some computers running some programs should be attributed consciousness because they produce spatiotemporal patterns in the physical world that match those that are potentially linked with consciousness in the human brain. (shrink)

Information theory provides a quantitative conceptual framework for understanding the flow of information from the world into and through brains. It focuses our attention on the sets of possible messages a brain's anatomy and physiology enable it to receive. The meanings of the messages arise from the inferences licensed by the brain's processing of them. Different meanings arise at different levels because different representations of the input license different inferences.

It might be that intuitions are central to philosophy, and it might be that this is true because when philosophers give case‐based arguments for philosophical claims (in published philosophy), the case verdict is typically (a) an intuited proposition and (b) either left undefended or defended on the grounds that it is an intuited proposition. This paper remains neutral on these global issues, however, and instead focuses on whether there is a nontrivial (or many‐membered) class of case‐based arguments in philosophy in (...) which the case verdict is defended by appeal to background beliefs and not on the grounds that it is an intuited proposition. The paper argues that the answer is affirmative by examining seven such arguments that are referred to as “paradigm cases” of case‐based arguments in which the verdict is justified via an appeal to intuition. (shrink)

The cognitive phenomenology thesis has it that conscious cognitive states essentially exhibit a phenomenal character. Defenders of ‘conservatism’ about cognitive phenomenology think that the phenomenology of thought is reducible to sensory phenomenology. In contrast, proponents of ‘liberalism’ hold that there is a proprietary, sui generis cognitive phenomenology. Horgan develops a morph-sequence argument to argue for liberalism. The argument is based on the conceivability of a cognitive phenomenology zombie, i.e. a man who does not understand Chinese but shares the behavior and (...) sensory phenomenology with his twin who does understand Chinese. I argue that the conceivability of a cognitive phenomenology-zombie fails to settle the debate between conservatives and liberals. The roots of the ineffectiveness of the argument lie in the diverse readings of sensory phenomenology which flesh out the relation between sensory phenomenology and concepts differently but explain the conceivability of the scenario equally well. The lesson to learn is that to adjudicate the debate about cognitive phenomenology, we first have to clarify the notion of sensory phenomenology. (shrink)

As we rapidly approach the 50th year of the much‐celebrated ‘cognitive revolution’, it is worth reflecting on its widespread impact on individual disciplines and areas of multidisciplinary endeavour. Of specific concern in this paper is the example of the influence of cognitivism's equation of mind and computer in education. Within education, this paper focuses on a particular area of concern to which both mind and computer are simultaneously central: educational technology. It examines the profound and lasting effect of cognitive science (...) on our understandings of the educational potential of information and communication technologies, and further argues that recent and multiple ‘signs of discontent’, ‘crises’ and even ‘failures’ in cognitive science and psychology should result in changes in these understandings. It concludes by suggesting new directions that educational technology research might take in the light of this crisis of cognitivsm. (shrink)

Gray has expanded his account of schizophrenia to explain consciousness as well. His theory explains neither phenomenon adequately because he treats individual minds in isolation. The primary function of consciousness is to permit high level interactions with other conscious beings. The key symptoms of schizophrenia reflect a failure of this mechanism.

The Turing Test, originally proposed as a simple operational definition of intelligence, has now been with us for exactly half a century. It is safe to say that no other single article in computer science, and few other articles in science in general, have generated so much discussion. The present article chronicles the comments and controversy surrounding Turing's classic article from its publication to the present. The changing perception of the Turing Test over the last fifty years has paralleled the (...) changing attitudes in the scientific community towards artificial intelligence: from the unbridled optimism of 1960's to the current realization of the immense difficulties that still lie ahead. I conclude with the prediction that the Turing Test will remain important, not only as a landmark in the history of the development of intelligent machines, but also with real relevance to future generations of people living in a world in which the cognitive capacities of machines will be vastly greater than they are now. (shrink)

Do the dynamics of a physical system determine what function the system computes? Except in special cases, the answer is no: it is often indeterminate what function a given physical system computes. Accordingly, care should be taken when the question ‘What does a particular neuronal system do?’ is answered by hypothesising that the system computes a particular function. The phenomenon of the indeterminacy of computation has important implications for the development of computational explanations of biological systems. Additionally, the phenomenon lends (...) some support to the idea that a single neuronal structure may perform multiple cognitive functions, each subserved by a different computation. We provide an overarching conceptual framework in order to further the philosophical debate on the nature of computational indeterminacy and computational explanation. (shrink)

Which notion of computation (if any) is essential for explaining cognition? Five answers to this question are discussed in the paper. (1) The classicist answer: symbolic (digital) computation is required for explaining cognition; (2) The broad digital computationalist answer: digital computation broadly construed is required for explaining cognition; (3) The connectionist answer: sub-symbolic computation is required for explaining cognition; (4) The computational neuroscientist answer: neural computation (that, strictly, is neither digital nor analogue) is required for explaining cognition; (5) The extreme (...) dynamicist answer: computation is not required for explaining cognition. The first four answers are only accurate to a first approximation. But the “devil” is in the details. The last answer cashes in on the parenthetical “if any” in the question above. The classicist argues that cognition is symbolic computation. But digital computationalism need not be equated with classicism. Indeed, computationalism can, in principle, range from digital (and analogue) computationalism through (the weaker thesis of) generic computationalism to (the even weaker thesis of) digital (or analogue) pancomputationalism. Connectionism, which has traditionally been criticised by classicists for being non-computational, can be plausibly construed as being either analogue or digital computationalism (depending on the type of connectionist networks used). Computational neuroscience invokes the notion of neural computation that may (possibly) be interpreted as a sui generis type of computation. The extreme dynamicist argues that the time has come for a post-computational cognitive science. This paper is an attempt to shed some light on this debate by examining various conceptions and misconceptions of (particularly digital) computation. (shrink)

The convincing argument that Brette makes for the neural coding metaphor as imposing one view of brain behavior can be further explained through discourse analysis. Instead of a unified view, we argue, the coding metaphor's plasticity, versatility, and robustness throughout time explain its success and conventionalization to the point that its rhetoric became overlooked.

Because consciousness has an organizational, or functional, center, Gray supposes that there must be a corresponding physical center in the brain. He proposes further that since this center generates consciousness, ablating it would eliminate consciousness, while leaving behavior intact. But the center of consciousness is simply the product of the functional linkages among sensory input, memory, inner speech, and so on, and behavior.

Like everyone with a scientific bent of mind, Dennett thinks our capacity for meaningful language and states of mind is the product of evolution (Dennett [1987, ch. VIII]). But unlike many of this bent, he sees virtue in viewing evolution itself from the intentional stance. From this stance, ?Mother Nature?, or the process of evolution by natural selection, bestows intentionality upon us, hence we are not Unmeant Meaners. Thus, our intentionality is extrinsic, and Dennett dismisses the theories of meaning of (...) Dretske, Fodor, Burge, Putnam, and Kripke on the grounds that each requires that our mental states, unlike those of artifacts, have meaning intrinsically. I argue that we are Unmeant Meaners, incidentally defending Dretske et al., though my goal is to test the explanatory virtue of the intentional stance as applied to the evolution of intentionality. (shrink)

The aim of this paper is to offer an analysis of the notion of artificial moral agent (AMA) and of its impact on human beings’ self-understanding as moral agents. Firstly, I introduce the topic by presenting what I call the Continuity Approach. Its main claim holds that AMAs and human moral agents exhibit no significant qualitative difference and, therefore, should be considered homogeneous entities. Secondly, I focus on the consequences this approach leads to. In order to do this I take (...) into consideration the work of Bostrom and Dietrich, who have radically assumed this viewpoint and thoroughly explored its implications. Thirdly, I present an alternative approach to AMAs—the Discontinuity Approach—which underscores an essential difference between human moral agents and AMAs by tackling the matter from another angle. In this section I concentrate on the work of Johnson and Bryson and I highlight the link between their claims and Heidegger’s and Jonas’s sug-gestions concerning the relationship between human beings and technological products. In conclusion I argue that, although the Continuity Approach turns out to be a necessary postulate to the machine ethics project, the Discontinuity Approach highlights a relevant distinction between AMAs and human moral agents. On this account, the Discontinuity Approach generates a clearer understanding of what AMAs are, of how we should face the moral issues they pose, and, finally, of the difference that separates machine ethics from moral philosophy. (shrink)