Philosophy of Artificial Intelligence

Modern computing is generally taken to consist primarily of symbol manipulation. But symbols are abstract, and computers are physical. How can a physical device manipulate abstract symbols? Neither Church nor Turing considered this question. My answer is that the bit, as a hardware-implemented abstract data type, serves as a bridge between materiality and abstraction. Computing also relies on three other primitive—but more straightforward—abstractions: Sequentiality, State, and Transition. These physically-implemented abstractions define the borderline between hardware and software and between physicality and (...) abstraction. At a deeper level, asking how a physical device can interact with abstract symbols is the wrong question. The relationship between symbols and physical devices begins with the realization that human beings already know what it means to manipulate symbols. We build and program computers to do what we understand to be symbol manipulation. To understand what that means, consider a light switch. A light switch doesn’t turn a light on or off. Those are abstractions. Light switches don’t operate with abstractions. We build light switches, so that when flipped, the world is changed in such a way that we understand the light to be on or off. Similarly, we build computers to perform operations that we understand as manipulating symbols. (shrink)

Opponents of the computational theory of mind have held that the theory is devoid of explanatory content, since whatever computational procedures are said to account for our cognitive attributes will also be realized by a host of other ‘deviant’ physical systems, such as buckets of water and possibly even stones. Such ‘triviality’ claims rely on a simple mapping account of physical implementation. Hence defenders of CTM traditionally attempt to block the trivialization critique by advocating additional constraints on the implementation relation. (...) However, instead of attempting to ‘save’ CTM by constraining the account of physical implementation, I argue that the general form of the triviality argument is invalid. I provide a counterexample scenario, and show that SMA is in fact consistent with empirically rich and theoretically plausible versions of CTM. This move requires rejection of the computational sufficiency thesis, which I argue is scientifically unjustified in any case. By shifting the ‘burden of explanatory force’ away from the concept of physical implementation, and instead placing it on salient aspects of the target phenomenon to be explained, it’s possible to retain a maximally liberal and unfettered view of physical implementation, and at the same time defuse the triviality arguments that have motivated defenders of CTM to impose various theory-laden constraints on SMA. (shrink)

Computational systems biologists create and manipulate computational models of biological systems, but they do not always have straightforward epistemic access to the content and behavioural profile of such models because of their length, coding idiosyncrasies, and formal complexity. This creates difficulties both for modellers in their research groups and for their bioscience collaborators who rely on these models. In this paper we introduce a new kind of visualization that was developed to address just this sort of epistemic opacity. The visualization (...) is unusual in that it depicts the dynamics and structure of a computer model instead of that model’s target system, and because it is generated algorithmically. Using considerations from epistemology and aesthetics, we explore how this new kind of visualization increases scientific understanding of the content and function of computer models in systems biology to reduce epistemic opacity. (shrink)

This article contains the results of a theoretical analysis of the phenomenon of natural language understanding (NLU), as a methodological problem. The combination of structural-ontological and informational-psychological approaches provided an opportunity to describe the subject matter field of NLU, as a composite function of the mind, which systemically combines the verbal and discursive structural layers. In particular, the idea of NLU is presented, on the one hand, as the relation between the discourse of a specific speech message and the meta-discourse (...) of a language, in turn, activated by the need-motivational factors. On the other hand, it is conceptualized as a process with a specific structure of information metabolism, the study of which implies the necessity to differentiate the affective (emotional) and need-motivational influences on the NLU, as well as to take into account their interaction. At the same time, the hypothesis about the influence of needs on NLU under the scenario similar to the pattern of Yerkes-Dodson is argued. And the theoretical conclusion that emotions fulfill the function of the operator of the structural features of the information metabolism of NLU is substantiated. Thus, depending on the modality of emotions in the process of NLU, it was proposed to distinguish two scenarios for the implementation of information metabolism - reduction and synthetic. The argument in favor of the conclusion about the productive and constitutive role of emotions in the process of NLU is also given. (shrink)

This paper adds another argument to the rising tide of panic about robots and AI. The argument is intended to have broad civilization-level significance, but to involve less fanciful speculation about the likely future intelligence of machines than is common among many AI-doomsayers. The argument claims that the rise of the robots will create a crisis of moral patiency. That is to say, it will reduce the ability and willingness of humans to act in the world as responsible moral agents, (...) and thereby reduce them to moral patients. Since that ability and willingness is central to the value system in modern liberal democratic states, the crisis of moral patiency has a broad civilization-level significance: it threatens something that is foundational to and presupposed in much contemporary moral and political discourse. I defend this argument in three parts. I start with a brief analysis of an analogous argument made in pop culture. Though those arguments turn out to be hyperbolic and satirical, they do prove instructive as they illustrates a way in which the rise of robots could impact upon civilization, even when the robots themselves are neither malicious nor powerful enough to bring about our doom. I then introduce the argument from the crisis of moral patiency, defend its main premises and address objections. (shrink)

Usually technological innovation and artistic work are seen as very distinctive practices, and innovation of technologies is understood in terms of design and human intention. Moreover, thinking about technological innovation is usually categorized as “technical” and disconnected from thinking about culture and the social. Drawing on work by Dewey, Heidegger, Latour, and Wittgenstein and responding to academic discourses about craft and design, ethics and responsible innovation, transdisciplinarity, and participation, this essay questions these assumptions and examines what kind of knowledge and (...) practices are involved in art and technological innovation. It argues that technological innovation is indeed “technical”, but, if conceptualized as techne, can be understood as art and performance. It is argued that in practice, innovative techne is not only connected to episteme as theoretical knowledge but also has the mode of poiesis: it is not just the outcome of human design and intention but rather involves a performative process in which there is a “dialogue” between form and matter and between creator and environment in which humans and non-humans participate. Moreover, this art is embedded in broader cultural patterns and grammars—ultimately a ‘form of life’—that shape and make possible the innovation. In that sense, there is no gap between science and society—a gap that is often assumed in STS and in, for instance, discourse on responsible innovation. It is concluded that technology and art were only relatively recently and unfortunately divorced, conceptually, but that in practices and performances they were always linked. If we understand technological innovation as a poetic, participative, and performative process, then bringing together technological innovation and artistic practices should not be seen as a marginal or luxury project but instead as one that is central, necessary, and vital for cultural-technological change. This conceptualization supports not only a different approach to innovation but has also social-transformative potential and has implications for ethics of technology and responsible innovation. (shrink)

The Computational Theory of Mind (CTM) holds that cognitive processes are essentially computational, and hence computation provides the scientific key to explaining mentality. The Representational Theory of Mind (RTM) holds that representational content is the key feature in distinguishing mental from non-mental systems. I argue that there is a deep incompatibility between these two theoretical frameworks, and that the acceptance of CTM provides strong grounds for rejecting RTM. The focal point of the incompatibility is the fact that representational content is (...) extrinsic to formal procedures as such, and the intended interpretation of syntax makes no difference to the execution of an algorithm. So the unique 'content' postulated by RTM is superfluous to the formal procedures of CTM. And once these procedures are implemented in a physical mechanism, it is exclusively the causal properties of the physical mechanism that are responsible for all aspects of the system's behaviour. So once again, postulated content is rendered superfluous. To the extent that semantic content may appear to play a role in behaviour, it must be syntactically encoded within the system, and just as in a standard computational artefact, so too with the human mind/brain - it's pure syntax all the way down to the level of physical implementation. Hence 'content' is at most a convenient meta-level gloss, projected from the outside by human theorists, which itself can play no role in cognitive processing. (shrink)

The paper develops two related thought experiments exploring variations on an ‘animat’ theme. Animats are hybrid devices with both artificial and biological components. Traditionally, ‘components’ have been construed in concrete terms, as physical parts or constituent material structures. Many fascinating issues arise within this context of hybrid physical organization. However, within the context of functional/computational theories of mentality, demarcations based purely on material structure are unduly narrow. It is abstract functional structure which does the key work in characterizing the respective (...) ‘components’ of thinking systems, while the ‘stuff’ of material implementation is of secondary importance. Thus the paper extends the received animat paradigm, and investigates some intriguing consequences of expanding the conception of bio-machine hybrids to include abstract functional and semantic structure. In particular, the thought experiments consider cases of mind-machine merger where there is no physical Brain-Machine Interface: indeed, the material human body and brain have been removed from the picture altogether. The first experiment illustrates some intrinsic theoretical difficulties in attempting to replicate the human mind in an alternative material medium, while the second reveals some deep conceptual problems in attempting to create a form of truly Artificial General Intelligence. (shrink)

In this paper, I argue that computationalism is a progressive research tradition. Its metaphysical assumptions are that nervous systems are computational, and that information processing is necessary for cognition to occur. First, the primary reasons why information processing should explain cognition are reviewed. Then I argue that early formulations of these reasons are outdated. However, by relying on the mechanistic account of physical computation, they can be recast in a compelling way. Next, I contrast two computational models of working memory (...) to show how modeling has progressed over the years. The methodological assumptions of new modeling work are best understood in the mechanistic framework, which is evidenced by the way in which models are empirically validated. Moreover, the methodological and theoretical progress in computational neuroscience vindicates the new mechanistic approach to explanation, which, at the same time, justifies the best practices of computational modeling. Overall, computational modeling is deservedly successful in cognitive science. Its successes are related to deep conceptual connections between cognition and computation. Computationalism is not only here to stay, it becomes stronger every year. (shrink)

Given the personal acquaintance between Alan M. Turing and W. Ross Ashby and the partial proximity of their research fields, a comparative view of Turing’s and Ashby’s work on modelling “the action of the brain” (letter from Turing to Ashby, 1946) will help to shed light on the seemingly strict symbolic/embodied dichotomy: While it is clear that Turing was committed to formal, computational and Ashby to material, analogue methods of modelling, there is no straightforward mapping of these approaches onto symbol-based (...) AI and embodiment-centered views respectively. Instead, it will be demonstrated that both approaches, starting from a formal core, were at least partly concerned with biological and embodied phenomena, albeit in revealingly distinct ways. (shrink)

What is the role of the environment, and of the information it provides, in cognition? More specifically, may there be a role for certain artefacts to play in this context? These are questions that motivate "4E" theories of cognition (as being embodied, embedded, extended, enactive). In his take on that family of views, Hajo Greif first defends and refines a concept of information as primarily natural, environmentally embedded in character, which had been eclipsed by information-processing views of cognition. He continues (...) with an inquiry into the cognitive bearing of some artefacts that are sometimes referred to as 'intelligent environments'. Without necessarily having much to do with Artificial Intelligence, such artefacts may ultimately modify our informational environments. -/- With respect to human cognition, the most notable effect of digital computers is not that they might be able, or become able, to think but that they alter the way we perceive, think and act. (shrink)

Ontology as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality. ‘Ontology’ in this sense is often used by philosophers as a synonym of ‘metaphysics’ (a label meaning literally: ‘what comes after the Physics’), a term used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’. But in recent years, in a development hardly noticed by philosophers, the (...) term ‘ontology’ has gained currency in the field of computer and information science, and in information-driven research in bioinformatics and related areas. We examine these new developments in applied ontology, and show what lessons they might have for both philosophers and information scientists. (shrink)

The paper presents an exhaustive menu of nonmonotonic logics. The options are individuated in terms of the principles they reject. I locate, e.g., cumulative logics and relevance logics on this menu. I highlight some frequently neglected options, and I argue that these neglected options are particularly attractive for inferentialists.

Is there a field of social intelligence? Many various disciplines approach the subject and it may only seem natural to suppose that different fields of study aim at explaining different phenomena; in other words, there is no special field of study of social intelligence. In this paper, I argue for an opposite claim. Namely, there is a way to integrate research on social intelligence, as long as one accepts the mechanistic account to explanation. Mechanistic integration of different explanations, however, comes (...) at a cost: mechanism requires explanatory models to be fairly complete and realistic, and this does not seem to be the case for many models concerning social intelligence, especially models of economical behavior. Such models need either be made more realistic, or they would not count as contributing to the same field. I stress that the focus on integration does not lead to ruthless reductionism; on the contrary, mechanistic explanations are best understood as explanatorily pluralistic. (shrink)

This introduction to the second international conference on Formal Ontology and Information Systems presents a brief history of ontology as a discipline spanning the boundaries of philosophy and information science. We sketch some of the reasons for the growth of ontology in the information science field, and offer a preliminary stocktaking of how the term ‘ontology’ is currently used. We conclude by suggesting some grounds for optimism as concerns the future collaboration between philosophical ontologists and information scientists.

The design process in Kashmiri carpet weaving is a distributed process encompassing a number of actors and artifacts. These include a designer called naqash who creates the design on graphs, and a coder called talim-guru who encodes that design in a specific notation called talim which is deciphered and interpreted by the weavers to weave the design. The technological interventions over the years have influenced these artifacts considerably and triggered major changes in the practice, from heralding profound cognitive accomplishments in (...) manually driven design process causing major alterations in the overall structure of the practice. The recent intervention is by the digital technology: on the one hand, it has brought precision and speedy processing in the design process, and on the other, it has eliminated some of the crucial actors from the practice. This paper, which forms part of a larger study on the situated and distributed cognitive process in Kashmiri carpet-weaving practice, describes the technological makeover of the design artifacts involved in this practice over the years and their resultant cognitive impact on the design process as well as on the practice. (shrink)

There is a growing body of evidence on the influences of automatic and unconscious processes on our actions. Here I introduce some representative examples of this growing body of evidence, chosen so as to form a diverse group of related mindless phenomena: habits, skills, priming and nudges (Section 1). I then argue that this evidence challenges traditional belief-desire-based approaches in the philosophy of action (Sections 2 and 3). I further discuss a recently proposed solution to this challenge, Gendler’s Alief, finding (...) it wanting (Section 4). I conclude by sketching my own alternative solution, based on the old story of Buridan’s ass (Section 5). (shrink)

This paper has two distinct but related goals: (1) to identify some of the potential consequences of the Internet for our cognitive abilities and (2) to suggest an approach to evaluate these consequences. I begin by outlining the Google effect, which (allegedly) shows that when we know information is available online, we put less effort into storing that information in the brain. Some argue that this strategy is adaptive because it frees up internal resources which can then be used for (...) other cognitive tasks, whereas others argue that this is maladaptive because it makes us less knowledgeable. I argue that the currently available empirical evidence in cognitive psychology does not support strong conclusions about the negative effects of the Internet on memory. Before we can make value-judgements about the cognitive effects of the Internet, we need more robust and ecologically-valid evidence. Having sketched a more nuanced picture of the Google effect, I then argue that the value of our cognitive abilities is in part intrinsic and in part instrumental, that is, they are both valuable in themselves and determined by the socio-cultural context in which these cognitive abilities are utilised. Focussing on instrumental value, I argue that, in an information society such as ours, having the skills to efficiently navigate, evaluate, compare, and synthesize online information are (under most circumstances) more valuable than having a lot of facts stored in biological memory. This is so, partly because using the Internet as an external memory system has overall benefits for education, navigation, journalism, and academic scholarship. (shrink)

Unlike other organs that operate continuously, such as the heart and kidneys, many of the operations of the nervous system shut down during sleep. The evolutionarily conserved unconscious state of sleep that puts animals at risk from predators indicates that it is an indispensable integral part of systems operation. A reasonable expectation is that any hypothesis for the mechanism of the nervous system functions should be able to provide an explanation for sleep. In this regard, the semblance hypothesis is examined. (...) Postsynaptic membranes are continuously being depolarized by the quantally released neurotransmitter molecules arriving from their presynaptic terminals. In this context, an incidental lateral activation of the postsynaptic membrane is expected to induce a semblance (cellular hallucination of arrival of activity from its presynaptic terminal, which forms a unit for internal sensation) of the arrival of activity from its presynaptic terminal as a systems property. This restricts induction of semblance to a context of a very high ratio of the duration of the default state of neurotransmitter-induced postsynaptic depolarization to the total duration of incidental lateral activations of the postsynaptic membrane. This requirement spans within a time-bin of a few sleep-wake cycles. Since the duration of quantal release remains maximized, the above requirement can be achieved only by ceiling the total duration of incidental lateral activations of the postsynaptic membrane, which necessitates a state of sleep. (shrink)

Intellectual humility can be broadly construed as being conscious of the limits of one’s existing knowledge and capable to acquire more knowledge, which makes it a key virtue of the information age. However, the claim “I am (intellectually) humble” seems paradoxical in that someone who has the disposition in question would not typically volunteer it. There is an explanatory gap between the meaning of the sentence and the meaning the speaker ex- presses by uttering it. We therefore suggest analyzing intellectual (...) humility semantically, using a psycholexical approach that focuses on both synonyms and antonyms of ‘intellectual humili- ty’. We present a thesaurus-based methodology to map the semantic space of intellectual hu- mility and the vices it opposes as a heuristic to support philosophical and psychological anal- ysis of this disposition. We performed the mapping both in English and German in order to test for possible cultural differences in the understanding of intellectual humility. In both lan- guages, we find basically the same three semantic dimensions of intellectual humility (sensi- bility, discreetness, and knowledge dimensions) as well as three dimensions of its related vic- es (self-overrating, other-underrating and dogmatism dimensions). The resulting semantic clusters were validated in an empirical study with English (n=276) and German (n=406) par- ticipants. We find medium to high correlations (0.54-0.72) between thesaurus similarity and perceived similarity, and we can validate the labels of the three dimensions identified in the study. But we also find indications of the limitations of the thesaurus methodology in terms of cluster plausibility. We conclude by discussing the importance of these findings for construct- ing psychometric scales for intellectual humility. (shrink)

partial review of Thomas Nagel’s book, Mind and Cosmos: Why the Materialist Neo-Darwinian Conception of Nature Is Almost Certainly False is used to articulate some systems-theoretic ideas about the challenge of understanding subjective experience. The article accepts Nagel’s view that reductionist materialism fails as an approach to this challenge, but argues that seeking an explanation of mind based on emergence is more plausible than seeking one based on pan-psychism, which Nagel favors. However, the article proposes something similar to Nagel’s neutral (...) monism by positing a hierarchy of information processes that spans the domains of matter, life, and mind. As depicted in this hierarchy, subjective experience is emergent, but also continuous with informational phenomena at lower levels. (shrink)

This chapter describes the conceptual foundations of cognitive science during its establishment as a science in the 20th century. It is organized around the core ideas of individual agency as its basic explanans and information-processing as its basic explanandum. The latter consists of a package of ideas that provide a mathematico-engineering framework for the philosophical theory of materialism.

This volume brings together the advanced research results obtained by the European COST Action 2102: “Cross Modal Analysis of Verbal and Nonverbal Communication”. The research published in this book was discussed at the 3rd joint EUCOGII-COST 2102 International Training School entitled “Toward Autonomous, Adaptive, and Context-Aware Multimodal Interfaces: Theoretical and Practical Issues ” and held in Caserta, Italy, on March 15-19, 2010.

Immanuel Kant famously defined philosophy to be about three questions: “What can I know? What should I do? What can I hope for?” (KrV, B833). I want to suggest that the three questions of our course on the philosophy of computing are: What is computing? What should we do with computing? What could computing do?

We offer a brief characterization of creativity, followed by a review of some of the reasons people have been skeptical about the possibility of explaining creativity. We then survey some of the recent work on creativity that is naturalistic in the sense that it presumes creativity is natural (as opposed to magical, occult, or supernatural) and is therefore amenable to scientific inquiry. This work is divided into two categories. The broader category is empirical philosophy, which draws on empirical research while (...) addressing questions that have traditionally been regarded as philosophical. The second category is experimental philosophy, a special branch of empirical philosophy in which experiments are designed (by philosophers) with the explicit purpose of addressing philosophical questions. All of this highlights the relative theoretical neglect of creativity, while at the same time suggesting ample opportunity for experimentally minded philosophers to break new ground. (shrink)

My paper analyses the analogy between Computers and the Thomistic separate substances, and argues that Aquinas' account of angels as cognitively intuitive and non-discursive makes the analogical gap between these impossible to bridge. From there, I point the direction away from computers as the way for us to move up the order of cognitive excellence. Instead, the gifts of the Holy Spirit are the way to go, since by them we participate in this intuitivity. I then lay out the ascetical (...) presuppositions for the successful participation of this gifts, in particular the necessity for the passive purgations, according to the division of the ascetical life into three stages by Garrigou-Lagrange OP. (shrink)

The first decade of this century has seen the nascency of the first mathematical theory of general artificial intelligence. This theory of Universal Artificial Intelligence (UAI) has made significant contributions to many theoretical, philosophical, and practical AI questions. In a series of papers culminating in book (Hutter, 2005), an exciting sound and complete mathematical model for a super intelligent agent (AIXI) has been developed and rigorously analyzed. While nowadays most AI researchers avoid discussing intelligence, the award-winning PhD thesis (Legg, 2008) (...) provided the philosophical embedding and investigated the UAI-based universal measure of rational intelligence, which is formal, objective and non-anthropocentric. Recently, effective approximations of AIXI have been derived and experimentally investigated in JAIR paper (Veness et al. 2011). This practical breakthrough has resulted in some impressive applications, finally muting earlier critique that UAI is only a theory. For the first time, without providing any domain knowledge, the same agent is able to self-adapt to a diverse range of interactive environments. For instance, AIXI is able to learn from scratch to play TicTacToe, Pacman, Kuhn Poker, and other games by trial and error, without even providing the rules of the games. These achievements give new hope that the grand goal of Artificial General Intelligence is not elusive. This article provides an informal overview of UAI in context. It attempts to gently introduce a very theoretical, formal, and mathematical subject, and discusses philosophical and technical ingredients, traits of intelligence, some social questions, and the past and future of UAI. (shrink)

In this paper we want to analyze some philosophical and epistemological connections between a new kind of technology recently developed within robotics, and the previous mechanical approach. A new paradigm about machine-design in robotics, currently defined as ‘Embodied Intelligence’, has recently been developed. Here we consider the debate on the relationship between the hand and the intellect, from the perspective of the history of philosophy, aiming at providing a more suitable understanding of this paradigm. The new bottom-up approach to design (...) is deeply rooted in a new kind of empiricism, which tries to overcome issues connected with the previous approach strongly committed with the Artificial Intelligence (AI) debate and its origin. Since Turing’s time, the AI debate showed a rationalistic bias which remained undisputed until now. The paradigm shift we are witnessing nowadays is a reply to that bias in order to achieve not only a better way to design robots, but also to understand some underlying epistemological remarks. (shrink)

I critically examine Adams and Garrison’s proposed necessary condition for the mark of the cognitive (Adams and Garrison in Minds Mach 23(3):339–352, 2013). After a brief presentation of their position, I argue not only that their proposal is in need of additional support, but also that it is too restrictive.

Critics of the computational connectionism of the last decade suggest that it shares undesirable features with earlier empiricist or associationist approaches, and with behaviourist theories of learning. To assess the accuracy of this charge the works of earlier writers are examined for the presence of such features, and brief accounts of those found are given for Herbert Spencer, William James and the learning theorists Thorndike, Pavlov and Hull. The idea that cognition depends on associative connections among large networks of neurons (...) is indeed one with precedents, although the implications of this for psychological issues have been interpreted variously — not all versions of connectionism are alike. (shrink)

Why do people create extra representations to help them make sense of situations, diagrams, illustrations, instructions and problems? The obvious explanation— external representations save internal memory and com- putation—is only part of the story. I discuss seven ways external representations enhance cognitive power: they change the cost structure of the inferential landscape; they provide a structure that can serve as a shareable object of thought; they create persistent referents; they facilitate re- representation; they are often a more natural representation of (...) structure than mental representations; they facilitate the computation of more explicit encoding of information; they enable the construction of arbitrarily complex structure; and they lower the cost of controlling thought—they help coordinate thought. Jointly, these functions allow people to think more powerfully with external representations than without. They allow us to think the previously unthinkable. (shrink)

We present a hypothetical process of mind coalescence, where arti cial connections are created between two or more brains. This might simply allow for an improved form of communication. At the other extreme, it might merge the minds into one in a process that can be thought of as a reverse split-brain operation. We propose that one way mind coalescence might happen is via an exocortex, a prosthetic extension of the biological brain which integrates with the brain as seamlessly as (...) parts of the biological brain integrate with each other. An exocortex may also prove to be the easiest route for mind uploading, as a person's personality gradually moves away from the aging biological brain and onto the exocortex. Memories might also be copied and shared even without minds being permanently merged. Over time, the borders of personal identity may become loose or even unnecessary. (shrink)

David Skrbina opens this timely and intriguing text with a suitably puzzling line from the Diamond Sutra: ‘‘Mind that abides nowhere must come forth.’’, and he urges us to ‘‘de-emphasise the quest for the specifically human embodiment of mind’’ and follow Empedocles, progressing ‘‘with good will and unclouded attention’’ into the text which he has drawn together as editor. If we do, we are assured that it will ‘‘yield great things’’ (p. xi). This, I am pleased to say, is not (...) an exercise in hyperbole. (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)

When Charles Darwin died in April, 1882, he left behind a world changed forever. Because of his writings, most notably, of course, The Origin of Species, by 1882, evolution was an almost universally acknowledged fact. What remained in dispute, however, was how evolution occurred. So because of Darwin’s work, everyone accepted that new species emerge over time, yet few agreed with him that it was natural selection that powered the change, as Darwin hypothesized. Chalmers’ book, The Conscious Mind , reminds (...) me of The Origin of Species . I have talked t o many people about The Conscious Mind and watched many philosophy students read it, and after they are done, they all take consciousness more seriously than they did before and they are all struck by its deep mystery, yet few accept Chalmers’ specific theory of consciousness and his explanation of its odd nature. (shrink)

This article further explains and develops a recent, comprehensive semantic naturalization theory, namely the interactive indexing (II) theory as described in my 2008 Minds and Machines article Semantic Naturalization via Interactive Perceptual Causality (Vol. 18, pp. 527–546). Folk views postulate a concrete intentional relation between cognitive states and the worldly states they are about. The II theory eliminates any such concrete intentionality, replacing it with purely causal relations based on the interactive theory of perception. But intentionality is preserved via purely (...) abstract propositions about the world that index, or correlate with, appropriate cognitive states. Further reasons as to why intentionality must be abstract are provided, along with more details of an II-style account of representation, language use and propositional attitudes. All cognitive representation is explained in terms of classification or sorting dispositions indexed by appropriate propositions. The theory is also related to Fodor’s representational theory of mind, with some surprisingly close parallels being found in spite of the purely dispositional basis of the II theory. In particular, Fodor’s insistence that thinking about an item cannot be reduced to sorting dispositions is supported via a novel two-level account of cognition—upper level propositional attitudes involve significant intermediate processing of a broadly normative epistemic kind prior to the formation of sorting dispositions. To conclude, the weak intentional realism of the II theory—which makes intentional descriptions of the world dispensable—is related to Dennett’s ‘intentional stance’ view, and distinguished from strong (indispensable) intentional realist views. II-style dispositions are also defended. (shrink)

The field of machine perception is based on standard informational and computational approaches to perception. But naturalistic informational theories are widely regarded as being inadequate, while purely syntactic computational approaches give no account of perceptual content. Thus there is a significant need for a novel, purely naturalistic perceptual theory not based on informational or computational concepts, which could provide a new paradigm for mechanistic perception. Now specifically evolutionary naturalistic approaches to perception have been—perhaps surprisingly—almost completely neglected for this purpose. Arguably (...) perceptual mechanisms enhance evolutionary fitness by facilitating sensorily mediated causal interactions between an organism Z and items X in its environment. A ‘reflexive’ theory of perception of this kind is outlined, according to which an organism Z perceives an item X just in case X causes a sensory organ zi of Z to cause Z to acquire a disposition toward the very same item X that caused the perception. The rest of the paper shows how an intuitively plausible account of mechanistic perception can be developed and defended in terms of the reflexive theory. Also, a compatibilist option is provided for those who wish to preserve a distinct informational concept of perception. (shrink)

A novel semantic naturalization program is proposed. Its three main differences from informational semantics approaches are as follows. First, it makes use of a perceptually based, four-factor interactive causal relation in place of a simple nomic covariance relation. Second, it does not attempt to globally naturalize all semantic concepts, but instead it appeals to a broadly realist interpretation of natural science, in which the concept of propositional truth is off-limits to naturalization attempts. And third, it treats all semantic concepts as (...) being purely abstract, so that concrete cognitive states are only indexed by them rather than instantiating them. (shrink)

It is argued that, given certain reasonable premises, an infinite number of qualitatively identical but numerically distinct minds exist per functioning brain. The three main premises are (1) mental properties supervene on brain properties; (2) the universe is composed of particles with nonzero extension; and (3) each particle is composed of continuum-many point-sized bits of particle-stuff, and these points of particle-stuff persist through time.

This original and enticing book provides a fresh, unifying perspective on many old and new logico-philosophical conundrums. Its basic thesis is that many concepts central in ordinary and philosophical discourse are inherently circular and thus cannot be fully understood as long as one remains within the confines of a standard theory of definitions. As an alternative, the authors develop a revision theory of definitions, which allows definitions to be circular without this giving rise to contradiction (but, at worst, to “vacuous” (...) uses of definienda). The theory is applied with varying levels of detail to a circular analysis of concepts as diverse as truth, predication, necessity, physical object, etc. The focus is on truth, and hope is expressed that a deeper understanding of the Liar and related paradoxes has been provided: “We have tried to show that once the circularity of truth is recognized, a great deal of its behavior begins to make sense. In particular, from this viewpoint, the existence of the paradoxes seems as natural as the existence of the eclipses” (p. 142). We think that this hope is fully justified, although some problems remain that future research in this field should take into account. (shrink)