The case for computationalism about the mind is in doubt when we acknowledge that there are mental phenomena that require, for a proper accounting, that we get below the level of symbol processing. Such phenomena show us that a computational theory of mind cannot be complete. Chief among these phenomena is emotion.

We argue that A. Damasio’s (1994) Somatic Marker hypothesis can explain why humans don’t generally suffer from the frame problem, arguably the greatest obstacle facing the Computational Theory of Mind. This involves showing how humans with damaged emotional centers are best understood as actually suffering from the frame problem. We are then able to show that, paradoxically, these results provide evidence for the Computational Theory of Mind, and in addition call into question the very (...) distinction between easy and hard problems in the contemporary philosophy of mind. (shrink)

What is the mind? How does it work? How does it influence behavior? Some psychologists hope to answer such questions in terms of concepts drawn from computer science and artificial intelligence. They test their theories by modeling mental processes in computers. This book shows how computer models are used to study many psychological phenomena--including vision, language, reasoning, and learning. It also shows that computer modeling involves differing theoretical approaches. Computational psychologists disagree about some basic questions. For instance, should (...) the mind be modeled by digital computers, or by parallel-processing systems more like brains? Do computer programs consist of meaningless patterns, or do they embody (and explain) genuine meaning? (shrink)

There seems to exist an indirect link between computer science and theology via psychology, which is founded on dualism. First, these theories from psychology, computer science and theology are considered that acknowledge the existence of (at least) two different kinds of reality, or, possibly, two different realms of the same reality. In order to express a root of incompatibility of science and theology, a distinction is drawn between ontological and epistemological dualism. It seems that computer science combines ontological monism with (...) epistemological monism, theology combines ontological and epistemological dualism, and psychologytakes a position of epistemological monism and is quite hesitant about the ontological status of the phenomena it analyzes. A direct transition from the computer metaphor to theology is almost impossible: there is no overlap of platforms between these domains. (shrink)

This dissertation is an investigation into the degree to which the mathematics used in physical theories can be constructivized. The techniques of recursive function theory and classical logic are used to separate out the algorithmic content of mathematical theories rather than attempting to reformulate them in terms of "intuitionistic" logic. The guiding question is: are there experimentally testable predictions in physics which are not computable from the data? ;The nature of Church's thesis, that the class of effectively calculable functions (...) on the natural numbers is identical to the class of general recursive functions, is discussed. It is argued that this thesis is an example of an explication of the very notion of an effectively calculable function. This is contrary to a view of the thesis as a hypothesis about the limitations of the human mind. ;The extension to functions of a real variable of the notion of effective calculability is discussed, and it is argued that a function of a real variable must be continuous in order to be considered effectively calculable . The relation between continuity and computability is significant for the problem at hand. The results of a well-designed experiment do not depend critically upon the precise values of the relevant parameters. Accordingly, if the solution to a problem in mathematical physics depends discontinuously upon the data, it cannot be regarded as an experimentally testable prediction of the theory. The principle that the testable predictions of a physical theory cannot be singular is known as the principle of regularity. This principle is significant, because discontinuities generate non-computability, but they also disqualify a prediction from being experimentally testable. ;A mathematical framework is set up for discussing computability in physical theories. This framework is then applied to the case of quantum mechanics. It is found that, due to the use of unbounded operators in the theory, noncomputable objects appear, but predictions which satisfy the principle of regularity are nevertheless computable functions of the data. (shrink)

Recently, Horsman et al. have proposed a new framework, Abstraction/Representation theory, for understanding and evaluating claims about unconventional or non-standard computation. Among its attractive features, the theory in particular implies a novel account of what is means to be a computer. After expounding on this account, I compare it with other accounts of concrete computation, finding that it does not quite fit in the standard categorization: while it is most similar to some semantic accounts, it is not itself (...) a semantic account. Then I evaluate it according to the six desiderata for accounts of concrete computation proposed by Piccinini. Finding that it does not clearly satisfy some of them, I propose a modification, which I call Agential AR theory, that does, yielding an account that could be a serious competitor to other leading account of concrete computation. (shrink)

Problems are raised with the global workspace hypothesis of consciousness, for example about exactly how global the workspace needs to be for consciousness to suddenly be present. Problems are also raised with Carruthers’s (2019) version that excludes conceptual (categorical or discrete) representations, and in which phenomenal consciousness can be reduced to physical processes, with instead a different levels of explanation approach to the relation between the brain and the mind advocated. A different theory of phenomenal consciousness is described, (...) in which there is a particular computational system involved in which Higher Order Syntactic Thoughts are used to perform credit assignment on first order thoughts of multiple step plans to correct them by manipulating symbols in a syntactic type of working memory. This provides a good evolutionary reason for the evolution of this kind of computational module, with which, it is proposed, phenomenal consciousness is associated. Some advantages of this HOST approach to phenomenal consciousness are then described with reference not only to the global workspace approach, but also to Higher Order Thought (HOT) theories. It is hypothesized that the HOST system which requires the ability to manipulate first order symbols in working memory might utilize parts of the prefrontal cortex implicated in working memory, and especially the left inferior frontal gyrus, which is involved in language and probably syntactical processing. Overall, the approach advocated is to identify the computations that are linked to consciousness, and to analyze the neural bases of those computations. (shrink)

This commentary is an elaboration on Schyns, Goldstone & Thibaut's proposal for flexible features in categorization in the light of three areas not explicitly discussed by the authors: connectionist models of categorization, computational learning theory, and constructivist theories of the mind. In general, the authors' proposal is strongly supported, paving the way for model extensions and for interesting novel cognitive research. Nor is the authors' proposal incompatible with theories positing some fixed set of features.

Creativity is the hallmark of human cognition, yet scientific understanding of creative processes is limited. However, there is increasing interest in revealing the neural correlates of human creativity. Though many of these studies, pioneering in nature, help demystification of creativity, but the field is still dominated by popular beliefs in associating creativity with "right brain thinking", "divergent thinking", "altered states" and so on (Dietrich and Kanso, 2010). In this article, we discuss a computational framework for creativity based on Baars' (...) global workspace theory (Baars, 1988) enhanced with mechanisms based on information theory. Next we propose a neurocognitive architecture of creativity with a strong focus on various facets (i.e., unconscious thought theory, mind wandering, spontaneous brain states) of un/pre-conscious brain responses. Our principal argument is that pre-conscious creativity happens prior to conscious creativity happens prior to conscious creativity and the proposed computational model may provide a mechanism by which this transition is managed. This integrative approach, albeit unconventional, will hopefully stimulate future neuroscientific studies of the inscrutable phenomenon of creativity. (shrink)

: This paper uses Extended Mind Theory to explore Brain-Computer Interfaces, demonstrating how this conceptual framework provides a wide-ranging interpretation of the potential integration of user and computer. After a preliminary analysis of first- and second-wave EMT arguments and other pragmatic criteria, I present BCI technology, addressing the issues that arise. Can BCIs extend our mental processes and to what degree? What EMT criteria should be applied to this technology? What is the role of the body in the (...) process of integrating user and computer? What are current limits to complete cognitive and bodily extension by BCIs? In line with this discussion, I suggest a pluralist approach to BCIs, allowing for specific and appropriate application of the various models and paradigms. I also advocate greater focus on the integration of body and tool, primarily for clinical purposes, but also for applications that will meet daily needs in the future. Keywords : Extended Mind; Brain-Computer Interface; Embodiment; Parity Principle; Cognitive Artefacts. Mente estesa e brain-computer interface. Un approccio pluralista all’integrazione uomo-macchina Riassunto: Il presente articolo fa uso della Extended Mind Theory per indagare le Brain-Computer Interfaces, dimostrando che questo framework concettuale offre un’interpretazione ad ampio raggio della potenziale integrazione tra utente e computer. Dopo un’analisi preliminare degli argomenti della EMT di prima e seconda generazione e altri criteri pragmatici, presenterò la tecnologia delle BCIs, affrontando alcune questioni a essa collegate. Le BCIs possono estendere i nostri processi mentali e fino a che punto? Quali criteri della EMT dovrebbero essere applicati a questa tecnologia? Qual è il ruolo del corpo nel processo di integrazione utente-computer? Quali sono gli attuali limiti per completare l’estensione cognitiva e corporea da parte delle BCIs? In linea con questa discussione, suggerirò un approccio pluralistico alle BCIs che permetta un’applicazione specifica e appropriata dei vari modelli e paradigmi. Sosterrò inoltre la necessità di una maggiore attenzione all’integrazione tra corpo e strumento, principalmente per scopi clinici ma anche per applicazioni future che soddisfino le esigenze quotidiane. Parole chiave: Mente estesa; Brain-Computer Interface ; Incorporamento; Principio di Parità; Artefatti cognitivi. (shrink)

The proper treatment of computationalism, as the thesis that cognition is computable, is presented and defended. Some arguments of James H. Fetzer against computationalism are examined and found wanting, and his positive theory of minds as semiotic systems is shown to be consistent with computationalism. An objection is raised to an argument of Selmer Bringsjord against one strand of computationalism, namely, that Turing-Test± passing artifacts are persons, it is argued that, whether or not this objection holds, such artifacts will (...) inevitably be persons. (shrink)

This book provides a sustained and penetrating critique of a wide range of views in modern cognitive science and philosophy of the mind, from Turing's famous test for intelligence in machines to recent work in computational linguistic theory. While discussing many of the key arguments and topics, the authors also develop a distinctive analytic approach. Drawing on the methods of conceptual analysis first elaborated by Wittgenstein and Ryle, the authors seek to show that these methods still have (...) a great deal to offer in the field of the cognitive theory and the philosophy of mind, providing a powerful alternative to many of the positions put forward in the contemporary literature. Amoung the many issues discussed in the book are the following: the Cartesian roots of modern conceptions of mind; Searle's 'Chinese Room' thought experiment; Fodor's 'language of thought' hypothesis; the place of 'folk psychology' in cognitivist thought; and the question of whether any machine may be said to 'think' or 'understand' in the ordinary senses of these words. Wide ranging, up-to-date and forcefully argued, this book represents a major intervention in contemporary debates about the status of cognitive science an the nature of mind. It will be of particular interest to students and scholars in philosophy, psychology, linguistics and computing sciences. (shrink)

Can one be fooled into believing that one intended an action that one in fact did not intend? Past experimental paradigms have demonstrated that participants, when provided with false perceptual feedback about their actions, can be fooled into misperceiving the nature of their intended motor act. However, because veridical proprioceptive/perceptual feedback limits the extent to which participants can be fooled, few studies have been able to answer our question and induce the illusion to intend. In a novel paradigm addressing this (...) question, participants were instructed to move a line on the computer screen by use of a phony brain–computer interface. Line movements were actually controlled by computer program. Demonstrating the illusion to intend, participants reported more intentions to move the line when it moved frequently than when it moved infrequently. Consistent with ideomotor theory, the finding illuminates the intimate liaisons among ideomotor processing, the sense of agency, and action production. (shrink)

Putnam (Representations and reality. MIT Press, Cambridge, 1988) and Searle (The rediscovery of the mind. MIT Press, Cambridge, 1992) famously argue that almost every physical system implements every finite computation. This universal implementation claim, if correct, puts at the risk of triviality certain functional and computational views of the mind. Several authors have offered theories of implementation that allegedly avoid the pitfalls of universal implementation. My aim in this paper is to suggest that these theories are still (...) consistent with a weaker result, which is the nomological possibility of systems that simultaneously implement different complex automata. Elsewhere I (Shagrir in J Cogn Sci, 2012) argue that this simultaneous implementation result challenges a computational sufficiency thesis (articulated by Chalmers in J Cogn Sci, 2012). My focus here is on theories of implementation. After presenting the basic simultaneous implementation construction, I argue that these theories do not avoid the simultaneous implementation result. The conclusion is that the idea that the implementation of the right kind of automaton suffices for a possession of a mind is dubious. (shrink)

A neuroscience-based approach has recently been proposed for the relation between the mind and the brain. The proposal is that events at the sub-neuronal, neuronal, and neuronal network levels take place simultaneously to perform a computation that can be described at a high level as a mental state, with content about the world. It is argued that as the processes at the different levels of explanation take place at the same time, they are linked by a non-causal supervenient relationship: (...) causality can best be described in brains as operating within but not between levels. This mind-brain theory allows mental events to be different in kind from the mechanistic events that underlie them; but does not lead one to argue that mental events cause brain events, or vice versa: they are different levels of explanation of the operation of the computational system. Here, some implications are developed. It is proposed that causality, at least as it applies to the brain, should satisfy three conditions. First, interventionist tests for causality must be satisfied. Second, the causally related events should be at the same level of explanation. Third, a temporal order condition must be satisfied, with a suitable time scale in the order of 10 ms. Next, although it may be useful for different purposes to describe causality involving the mind and brain at the mental level, or at the brain level, it is argued that the brain level may sometimes be more accurate, for sometimes causal accounts at the mental level may arise from confabulation by the mentalee, whereas understanding exactly what computations have occurred in the brain that result in a choice or action will provide the correct causal account for why a choice or action was made. Next, it is argued that possible cases of “downward causation” can be accounted for by a within-levels-of-explanation account of causality. This computational neuroscience approach provides an opportunity to proceed beyond Cartesian dualism and physical reductionism in considering the relations between the mind and the brain. (shrink)

Among various computing models, it is difficult to find a model inspired from the human mind to improve the computational efficiency of the computer. In fact, the human mind becomes competent in responding for the inputs, resourcefully and mindfully acquiring knowledge and experience over continuous processing with the time. Further, as it is possible to find deeper explanation for the human mind in the Buddhism, the introduction of a computing model imitating the human mind based (...) on Buddhist Theory of Mind to enhance the computational efficiency, would be a great research challenge. According to the BTM, human mind is a continuous thought process which arise as per the conditions. Imitating this processing model in the human mind, a computing model called Six-state Continuous Processing model was introduced exploiting 24-causal relations in BTM. This paper discusses this profound Buddhist theoretical approach that was used in order to derive the Six-state continuous processing model. (shrink)

The computational theory of mind construes the mind as an information-processor and cognitive capacities as essentially representational capacities. Proponents of the view claim a central role for representational content in computational models of these capacities. In this paper I argue that the standard view of the role of representational content in computational models is mistaken; I argue that representational content is to be understood as a gloss on the computational characterization of a cognitive (...) process.Keywords: Computation; Representational content; Cognitive capacities; Explanation. (shrink)

In this paper I link two hitherto disconnected sets of results in the philosophy of emotions and explore their implications for the computational theory of mind. The argument of the paper is that, for just the same reasons that some computationalists have thought that cognition may be a natural kind, so the same can plausibly be argued of emotion. The core of the argument is that emotions are a representation-governed phenomenon and that the explanation of how they (...) figure in behaviour must as such be undertaken in those terms. I conclude with some interdisciplinary reflections in defence of the hypothesis that emotions might be more fundamental in the organization of behaviour than cognition; that, in effect, we may be emoters before we are cognizers . The aim of the paper is: (1) to introduce a number of promising results in philosophical and empirical emotion theory to a wider audience; and (2) to begin the task of organizing those results into a computational theoretical framework. (shrink)

In the social sciences, research on conspiracy theories is accumulating fast. To contribute to this research, here I introduce a computational model about the psychological processes underlying support for conspiracy theories. The proposal is that endorsement of these theories depends on three factors: prior beliefs, novel evidence, and expected consequences. Thanks to the latter, a conspiracy hypothesis might be selected because it is the costliest to reject even if it is not the best supported by evidence and by prior (...) beliefs (i.e., even if it is not the most accurate). In this way, the model implies a key role for motivated reasoning. By examining the social conditions that favour the success of conspiracy theories, the paper embeds the model, whose focus is primarily psychological, within the broader social context, and applies this analysis to probe the role of conspiracy theories within contemporary Western societies. Altogether, the paper argues that a computational outlook can contribute to elucidate the socio-psychological dynamics underlying the attractiveness of conspiracy theories. (shrink)

The topic of this dissertation is what thought must be like in order for the laws and generalizations of psychology to be true. I address a number of contemporary problems in the philosophy of mind concerning the nature and structure of concepts and the ontological status of mental content. Drawing on empirical work in psychology, I develop a number of new conceptual tools for theorizing about concepts, including a counterpart model of concepts' role in linguistic communication, and a deflationary (...) theory of concepts' formal features. I also suggest some new answers to old problems, arguing, for example, that content realism is not hostage to a naturalized semantics. This dissertation can, as a whole, be read as a sympathetic re-evaluation of the language of thought hypothesis (LOT). LOT claims that thoughts are sentences in a mental language of computation, and are composed of meaningful, atomic symbols—concepts—which are individuated entirely by their formal features. Each chapter either defends various components of LOT from recent criticism, or fills in gaps in the theory. I begin the dissertation by introducing the language of thought project, and motivating and explaining each of its central components. In chapter 2, I discuss a recent competitor to atomism—neo-empiricism—and argue that it fails to meet several key desiderata on theories of concepts, and defend atomism from similar charges. In chapter 3, I argue against a view common to both philosophy and psychology: that concepts must be shareable. If true, atomism is in jeopardy. I find shareability to be unmotivated, and suggest an alternative counterpart model of concepts that does a better job of explaining the things shareability was supposed to explain. Chapter 4 takes up the question of what formal features are and how mental symbols are individuated. I develop a reductive account, arguing that formal features are certain sorts of physical properties and symbol types are sets of these properties. I turn to the topic of content in chapter 5, and defend a very strong version of content realism against recent criticism. (shrink)

This paper argues that the idea of a computer is unique. Calculators and analog computers are not different ideas about computers, and nature does not compute by itself. Computers, once clearly defined in all their terms and mechanisms, rather than enumerated by behavioral examples, can be more than instrumental tools in science, and more than source of analogies and taxonomies in philosophy. They can help us understand semantic content and its relation to form. This can be achieved because they have (...) the potential to do more than calculators, which are computers that are designed not to learn. Today’s computers are not designed to learn; rather, they are designed to support learning; therefore, any theory of content tested by computers that currently exist must be of an empirical, rather than a formal nature. If they are designed someday to learn, we will see a change in roles, requiring an empirical theory about the Turing architecture’s content, using the primitives of learning machines. This way of thinking, which I call the intensional view of computers, avoids the problems of analogies between minds and computers. It focuses on the constitutive properties of computers, such as showing clearly how they can help us avoid the infinite regress in interpretation, and how we can clarify the terms of the suggested mechanisms to facilitate a useful debate. Within the intensional view, syntax and content in the context of computers become two ends of physically realizing correspondence problems in various domains. (shrink)

Since the cognitive revolution, it has become commonplace that cognition involves both computation and information processing. Is this one claim or two? Is computation the same as information processing? The two terms are often used interchangeably, but this usage masks important differences. In this paper, we distinguish information processing from computation and examine some of their mutual relations, shedding light on the role each can play in a theory of cognition. We recommend that theorists of cognition be explicit and (...) careful in choosing notions of computation and information and connecting them together.Keywords: Computation; Information processing; Computationalism; Computational theory of mind; Cognitivism. (shrink)

This work locates the historical and conceptual foundations of cognitive science in the "commonsense" psychology of the philosopher Thomas Reid. I begin with Reid's attack on his rationalist and empiricist competitors of the 17th and 18th centuries. I then present his positive theory as a sophisticated faculty psychology appealing to innateness of mental structure. Reidian psychological faculties are equally trustworthy, causally independent mental powers, and I argue that they share nine distinct properties. This distinguishes Reidian 'intentionalism' from idealist 'representationalism,' (...) which derive cognitive content either from the inherited structure of faculties of from the occurrent structure of sensory activity. ;Next, I turn to consciousness and reflection for a contemporary Reidian response to traditional phenomenology. Unlike reflection, faculties of reason and remembrance are not causally mediated by consciousness. My interpretation of Reid is that 'Humean causation' of individual faculty structure accounts only for 'natural intentionality,' while 'efficient causation' of faculty interrelations accounts for cognitive 'personal intentionality.' ;I then proceed by adopting a form of computational description for reconstructing this view as a computational theory of mind. I contrast functional analyses in explanations of some capacities with computational and componential analyses in explanations of other, intentional capacities, in which some processes must be taken to semantically encode and govern the roles of others. This step reconstructs the Reidian notion of intentional operations as requiring an explanation of component faculties and their representation-governed interactions. I argue that properties of faculties delimiting these interactions under Reid's theory parallel those in Fodor's essay on the "modularity of mind," although the reasons given for individual criteria are often very different. Fodor also proposes a trichotomous mental structure, but I find that a third level of "central systems" is a myth engendered by causal information theory. Such an analysis cannot capture generalizations over the internal representation of semantic roles that determines the character of faculty relations. This requirement for any computational account of cognition is precisely the motivation for the reconstructed Reidian theory. Thus, it comports more favorably with the explanatory program constitutive of a computational cognitive science. (shrink)

The concept of the mind in philosophy encompasses a diverse range of theories and perspectives, examining its immaterial nature, unitary function, self-activity, self-consciousness, and persistence despite bodily changes. This paper explores the attributes of the mind, addressing classical materialism, dualism, and behaviorism, along with contemporary theories like functionalism and computational functionalism. Key philosophical debates include the mind-body problem, the subjectivity of mental states, and the epistemological and conceptual challenges in understanding other minds. Contrasting views from Aristotle, (...) Descartes, Wittgenstein, and modern philosophers like U.T. Place, Gilbert Ryle, and Hilary Putnam are analyzed. The paper also discusses the implications of these theories on our understanding of mental phenomena, consciousness, and the nature of human experience. (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)

This paper deals with the question: how is computation best individuated? -/- 1. The semantic view of computation: computation is best individuated by its semantic properties. 2. The causal view of computation: computation is best individuated by its causal properties. 3. The functional view of computation: computation is best individuated by its functional properties. -/- Some scientific theories explain the capacities of brains by appealing to computations that they supposedly perform. The reason for that is usually that computation is individuated (...) semantically. I criticize the reasons in support of this view and its presupposition of representation and semantics. Furthermore, I argue that the only justified appeal to a representational individuation of computation might be that it is partly individuated by implicit intrinsic representations. (shrink)

The paper presents an extended argument for the claim that mental content impacts the computational individuation of a cognitive system (section 2). The argument starts with the observation that a cognitive system may simultaneously implement a variety of different syntactic structures, but that the computational identity of a cognitive system is given by only one of these implemented syntactic structures. It is then asked what are the features that determine which of implemented syntactic structures is the computational (...) structure of the system, and it is contended that these features are certain aspects of mental content. The argument helps (section 3) to reassess the thesis known as computational externalism, namely, the thesis that computational theories of cognition make essential reference to features in the individual's environment. It is suggested that the familiar arguments for computational externalism?which rest on thought experiments and on exegesis of Marr's theories of vision?are unconvincing, but that they can be improved. A reconstruction of the visex/audex thought experiment is offered in section 3.1. An outline of a novel interpretation of Marr's theories of vision is presented in section 3.2. The corrected arguments support the claim that computational theories of cognition are intentional. Computational externalism is still pending, however, upon the thesis that psychological content is extrinsic. (shrink)

This paper examines the ongoing challenges of interdisciplinary collaboration in Machine Ethics (ME), particularly the integration of ethical decision-making capacities into AI systems. Despite increasing demands for ethical AI, ethicists often remain on the sidelines, contributing primarily to metaethical discussions without directly influencing the development of moral machines. This paper revisits concerns highlighted by Tolmeijer et al. (2020), who identified the pitfall that computer scientists may misinterpret ethical theories without philosophical input. Using the MACHIAVELLI moral benchmark and the Delphi artificial (...) moral agent as case studies, we analyze how these challenges persist. Our analysis indicates that the creators of MACHIAVELLI and Delphi “copy” ethical concepts and embed them in LLMs without questioning or challenging these concepts themselves sufficiently. If an ethical concept causes friction with the computer code, they only reduce and simplify the ethical concept in order to stay as close as possible to the original. We propose that ME should expand its focus to include both interdisciplinary efforts that embed existing ethical work into AI, and transdisciplinary research that fosters new interpretations of ethical concepts. Interdisciplinary and transdisciplinary approaches are crucial for creating AI systems that are not only effective but also socially responsible. To enhance collaboration between ethicists and computer scientists, we recommend the use of Socratic Dialogue as a methodological tool, promoting deeper understanding of key terms and more effective integration of ethics in AI development. (shrink)

According to some philosophers, computational explanation is proprietary
to psychology—it does not belong in neuroscience. But neuroscientists routinely offer computational explanations of cognitive phenomena. In fact, computational explanation was initially imported from computability theory into the science of mind by neuroscientists, who justified this move on neurophysiological grounds. Establishing the legitimacy and importance of computational explanation in neuroscience is one thing; shedding light on it is another. I raise some philosophical questions pertaining to computational (...) explanation and outline some promising answers that are being developed by a number of authors. (shrink)

Detractors of Searle’s Chinese Room Argument have arrived at a virtual consensus that the mental properties of the Man performing the computations stipulated by the argument are irrelevant to whether computational cognitive science is true. This paper challenges this virtual consensus to argue for the first of the two main theses of the persons reply, namely, that the mental properties of the Man are what matter. It does this by challenging many of the arguments and conceptions put forth by (...) the systems and logical replies to the Chinese Room, either reducing them to absurdity or showing how they lead, on the contrary, to conclusions the persons reply endorses. The paper bases its position on the Chinese Room Argument on additional philosophical considerations, the foundations of the theory of computation, and theoretical and experimental psychology. The paper purports to show how all these dimensions tend to support the proposed thesis of the persons reply. (shrink)

According to contemporary computational neuroscience the mental is associated with computations implemented in the brain. We analyze in physical terms based on recent results in the foundations of statistical mechanics two well-known (independent) problems that arise for this approach: the problem of multiple-computations and the problem of multiple-realization. We show that within the computational theory of the mind the two problems are insoluble by the physics of the brain. We further show that attempts to solve the (...) problems by the interactions of the systems implementing the computations with an environment (in or outside the brain) must introduce non- physical factors, and therefore fail on physical grounds. We also show that the problems are endemic and pertain to other forms of functional theories of the mind, most notably, causal functionalism. Finally, we propose a physicalist reductive identity theory, which is a generalization of statistical mechanics for all the special sciences, and show that only a theory of this kind can provide physical solutions to the above two problems in computational neuroscience. We conclude that functionalism in the theory of mind must be replaced with a reductive identity theory. This result has far-reaching implications with respect to the research programs in brain science. (shrink)

We propose a framework for including information‐processing bounds in rational analyses. It is an application of bounded optimality (Russell & Subramanian, 1995) to the challenges of developing theories of mechanism and behavior. The framework is based on the idea that behaviors are generated by cognitive mechanisms that are adapted to the structure of not only the environment but also the mind and brain itself. We call the framework computational rationality to emphasize the incorporation of computational mechanism into (...) the definition of rational action. Theories are specified as optimal program problems, defined by an adaptation environment, a bounded machine, and a utility function. Such theories yield different classes of explanation, depending on the extent to which they emphasize adaptation to bounds, and adaptation to some ecology that differs from the immediate local environment. We illustrate this variation with examples from three domains: visual attention in a linguistic task, manual response ordering, and reasoning. We explore the relation of this framework to existing “levels” approaches to explanation, and to other optimality‐based modeling approaches. (shrink)

We overview logical and computational explanations of the notion of tractability as applied in cognitive science. We start by introducing the basics of mathematical theories of complexity: computability theory, computational complexity theory, and descriptive complexity theory. Computational philosophy of mind often identifies mental algorithms with computable functions. However, with the development of programming practice it has become apparent that for some computable problems finding effective algorithms is hardly possible. Some problems need too much (...) computational resource, e.g., time or memory, to be practically computable. Computational complexity theory is concerned with the amount of resources required for the execution of algorithms and, hence, the inherent difficulty of computational problems. An important goal of computational complexity theory is to categorize computational problems via complexity classes, and in particular, to identify efficiently solvable problems and draw a line between tractability and intractability. -/- We survey how complexity can be used to study computational plausibility of cognitive theories. We especially emphasize methodological and mathematical assumptions behind applying complexity theory in cognitive science. We pay special attention to the examples of applying logical and computational complexity toolbox in different domains of cognitive science. We focus mostly on theoretical and experimental research in psycholinguistics and social cognition. (shrink)

This work addresses a broad range of questions which belong to four fields: computation theory, general philosophy of science, philosophy of cognitive science, and philosophy of mind. Dynamical system theory provides the framework for a unified treatment of these questions. ;The main goal of this dissertation is to propose a new view of the aims and methods of cognitive science--the dynamical approach . According to this view, the object of cognitive science is a particular set of dynamical (...) systems, which I call "cognitive systems". The goal of a cognitive study is to specify a dynamical model of a cognitive system, and then use this model to produce a detailed account of the specific cognitive abilities of that system. The dynamical approach does not limit a-priori the form of the dynamical models which cognitive science may consider. In particular, this approach is compatible with both computational and connectionist modeling, for both computational systems and connectionist networks are special types of dynamical systems. ;To substantiate these methodological claims about cognitive science, I deal first with two questions in two different fields: What is a computational system? What is a dynamical explanation of a deterministic process? ;Intuitively, a computational system is a deterministic system which evolves in discrete time steps, and which can be described in an effective way. In chapter 1, I give a formal definition of this concept which employs the notions of isomorphism between dynamical systems, and of Turing computable function. In chapter 2, I propose a more comprehensive analysis which is based on a natural generalization of the concept of Turing machine. ;The goal of chapter 3 is to develop a theory of the dynamical explanation of a deterministic process. By a "dynamical explanation" I mean the specification of a dynamical model of the system or process which we want to explain. I start from the analysis of a specific type of explanandum--dynamical phenomena--and I then use this analysis to shed light on the general form of a dynamical explanation. Finally, I analyze the structure of those theories which generate explanations of this form, namely dynamical theories. (shrink)

To compute is to execute an algorithm. More precisely, to say that a device or organ computes is to say that there exists a modelling relationship of a certain kind between it and a formal specification of an algorithm and supporting architecture. The key issue is to delimit the phrase of a certain kind. I call this the problem of distinguishing between standard and nonstandard models of computation. The successful drawing of this distinction guards Turing's 1936 analysis of computation against (...) a difficulty that has persistently been raised against it, and undercuts various objections that have been made to the computational theory of mind. (shrink)

Computational Creativity: A Continuing Journey Content Type Journal Article DOI 10.1007/s11023-010-9212-0 Authors Tony Veale, Departamento de Ingeniera del Software e Inteligencia Artificial, Universidad Complutense de Madrid, Madrid, Spain Pablo Gervás, Departamento de Ingeniera del Software e Inteligencia Artificial, Universidad Complutense de Madrid, Madrid, Spain Rafael Pérez y Pérez, Departamento de Ingeniera del Software e Inteligencia Artificial, Universidad Complutense de Madrid, Madrid, Spain Journal Minds and Machines Online ISSN 1572-8641 Print ISSN 0924-6495 Journal Volume Volume 20 Journal Issue Volume 20, (...) Number 4. (shrink)

This book explores the application of dynamical theory to cognitive science. Giunti shows how the dynamical approach can illuminate problems of cognition, information processing, consciousness, meaning, and the relation between body and mind.

Stephen and Van Orden (this issue) propose that there is a complex system approach to cognitive science, and collectively the authors of the papers presented in this issue believe that this approach provides the means to drive a revolution in the science of the mind. Unfortunately, however illuminating, this explanation is absent and hyperbole is all too extensive. In contrast, I argue (1) that dynamic systems theory is not new to cognitive science and does not provide a basis (...) for a revolution, (2) it is not necessary to reject cognitive science in order to explain the constraints imposed by the body and the environment, (3) it is not necessary, as Silberstein and Chemero (this issue) appear to do, to reject cognitive science in order to explain consciousness, and (4) our understanding of pragmatics is not advanced by Gibbs and Van Orden‘s (this issue) “self-organized criticality”.? Any debate about the future of cognitive science could usefully focus on predictive adequacy. Unfortunately, this is not the approach taken by the authors of this issue. (shrink)

What''s computation? The received answer is that computation is a computer at work, and a computer at work is that which can be modelled as a Turing machine at work. Unfortunately, as John Searle has recently argued, and as others have agreed, the received answer appears to imply that AI and Cog Sci are a royal waste of time. The argument here is alarmingly simple: AI and Cog Sci (of the Strong sort, anyway) are committed to the view that cognition (...) is computation (or brains are computers); butall processes are computations (orall physical things are computers); so AI and Cog Sci are positively silly.I refute this argument herein, in part by defining the locutions x is a computer and c is a computation in a way that blocks Searle''s argument but exploits the hard-to-deny link between What''s Computation? and the theory of computation. However, I also provide, at the end of this essay, an argument which, it seems to me, implies not that AI and Cog Sci are silly, but that they''re based on a form of computation that is well beneath human persons. (shrink)

Computation is interpretable symbol manipulation. Symbols are objects that are manipulated on the basis of rules operating only on theirshapes, which are arbitrary in relation to what they can be interpreted as meaning. Even if one accepts the Church/Turing Thesis that computation is unique, universal and very near omnipotent, not everything is a computer, because not everything can be given a systematic interpretation; and certainly everything can''t be givenevery systematic interpretation. But even after computers and computation have been successfully distinguished (...) from other kinds of things, mental states will not just be the implementations of the right symbol systems, because of the symbol grounding problem: The interpretation of a symbol system is not intrinsic to the system; it is projected onto it by the interpreter. This is not true of our thoughts. We must accordingly be more than just computers. My guess is that the meanings of our symbols are grounded in the substrate of our robotic capacity to interact with that real world of objects, events and states of affairs that our symbols are systematically interpretable as being about. (shrink)

Does Nature permit the implementation of behaviours that cannot be simulated computationally? We consider the meaning of physical computation in some detail, and present arguments in favour of physical hypercomputation: for example, modern scientific method does not allow the specification of any experiment capable of refuting hypercomputation. We consider the implications of relativistic algorithms capable of solving the (Turing) Halting Problem. We also reject as a fallacy the argument that hypercomputation has no relevance because non-computable values are indistinguishable from sufficiently (...) close computable approximations. In addition to considering the nature of computability relative to any given physical theory, we can consider the relationship between versions of computability corresponding to different models of physics. Deutsch and Penrose have argued on mathematical grounds that quantum computation and Turing computation have equivalent formal power. We suggest this equivalence is invalid when considered from the physical point of view, by highlighting a quantum computational behaviour that cannot meaningfully be considered feasible in the classical universe. (shrink)

We provide some examples showing how game-theoretic arguments can be used in computability theory and algorithmic information theory: unique numbering theorem (Friedberg), the gap between conditional complexity and total conditional complexity, Epstein–Levin theorem and some (yet unpublished) result of Muchnik and Vyugin.

Upshot: The computational theory of mind has been elaborated in many different ways throughout the last decades. In Explaining the Computational Mind, Milkowski defends his view that the mind can be explained as computational through his defense of mechanistic explanation. At no point in this book is there explicit mention of constructivist approaches to this topic. We will, nevertheless, argue that it is interesting for constructivist readers.

Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets and their automorphisms, and subrecursive hierarchy classifications. Recent work in computability theory has focused on Turing definability and promises to have far-reaching mathematical, scientific, and philosophical consequences. Written by a leading researcher, Computability Theory provides a concise, comprehensive, (...) and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion of advanced topics not to be found elsewhere in the literature at this level. The book includes both the standard material for a first course in computability and more advanced looks at degree structures, forcing, priority methods, and determinacy. The final chapter explores a variety of computability applications to mathematics and science. Computability Theory is an invaluable text, reference, and guide to the direction of current research in the field. Nowhere else will you find the techniques and results of this beautiful and basic subject brought alive in such an approachable and lively way. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Astrology, Computers, and the VolksgeistDenis DuttonCarroll Righter is not a name you will recognize, unless, perhaps, you’re old enough and you grew up reading the Los Angeles Times. Righter was the Times’s astrologer, and encountering his name recently brought back a couple of memories from the early 1950s. I remember finding it strange that a man (he was pictured alongside his column) was called Carroll, though he didn’t spell (...) it like the girl who lived across the street. But especially I recall the fun we had when my father would read the horoscopes out loud and we’d compare them with the day’s events. Ours was a tough family for an astrologer to please, with rather different things happening to too many Aquarians, and a robust skepticism about anything of the sort later to be called “New Age.”How could I know that while we laughed and debated, somewhere else out there in the urban sprawl, Righter’s prognostications were being subjected to subtle and portentous analysis by that kingpin of the Frankfurt School, Theodor W. Adorno? Mirabile dictu, Adorno was living in L.A. at the time, and we now have his examination of Righter in The Stars Down to Earth, and Other Essays on the Irrational in Culture, edited with an excellent introduction by Stephen Crook (Routledge, $16.95). The result seems, now in the fullness of time, of mixed value and relevance. Adorno has produced an admirably accessible rhetoric of astrology, what he terms “content analysis.” In this, he is finding out for himself about the so-called cold-reading techniques of psychic consultation, practices long known to magicians and astrologers and only really understood by psychologists since Bertram Forer’s work in the 1940s. But beyond that, Adorno uses astrology to support and exemplify his theory of authoritarian irrationalism. As you might expect, this is more questionable. [End Page 424]To be sure, there are many intriguing observations throughout this mostly readable essay. In a passage perhaps even more true today than when it was written, Adorno says that a “climate of semi-erudition is the fertile breeding ground for astrology.” He refers to people who have gone just beyond the naive acceptance of the authority of science, but who don’t know enough, or who have not sufficiently developed “the power of thinking,” that they can replace such acceptance with anything better: “The semi-erudite vaguely wants to understand and is also driven by the narcissistic wish to prove superior to the plain people but he is not in a position to carry through complicated and detached intellectual operations.” In other words, quantum mechanics is pretty tough, but astrology offers sophisticated understanding of all reality in a few easy steps. Besides, astronomy is about those remote stars and planets out there—rather cold and impersonal. In Adorno’s apt title phrase, astrology brings it all down to earth, because it’s about the single most important thing in the universe: me. In an analogy that isn’t too far-fetched, he says that to the semi-erudite individual “astrology, just as other irrational creeds like racism, provides a short-cut by bringing the complex to a handy formula and offering at the same time the pleasant gratification that he who feels excluded from educational privileges nevertheless belongs to the minority of those who are ‘in the know.’” Someone once remarked that Scientology boosts self-esteem largely by giving semi-educated, degreeless persons impressive certificates to hang on their walls, and Adorno is right that there’s a similar syndrome at work with most New Age esoterica, including astrology. (In literary theory, there are no certificates, of course—you just have to learn the jargon.)Much to his credit, Adorno independently identifies many of the features of cold reading described by Forer and later writers, such as the persistent tendency of the client to personalize the general message. Of Righter’s “Follow up that intuition of yours,” or “Display that keen mind of yours,” Adorno says, “People who have any affinity at all to occultism are usually prepared to react to the information they are craving in such a way... (shrink)

Two very different insights motivate characterizing the brain as a computer. One depends on mathematical theory that defines computability in a highly abstract sense. Here the foundational idea is that of a Turing machine. Not an actual machine, the Turing machine is really a conceptual way of making the point that any well-defined function could be executed, step by step, according to simple 'if-you-are-in-state-P-and-have-input-Q-then-do-R' rules, given enough time (maybe infinite time) [see COMPUTATION]. Insofar as the brain is a device (...) whose input and output can be characterized in terms of some mathematical function -- however complicated -- then in that very abstract sense, it can be mimicked by a Turning machine. Given what is known so far brains do seem to depend on cause-effect operations, and hence brains appear to be, in some formal sense, equivalent to a Turing machine [see CHURCH-TURING THESIS]. On its own, however, this reveals nothing at all of how the mind-brain actually works. The second insight depends on looking at the brain as a biological device that processes information from the environment to build complex representations that enable the brain to make predictions and select advantageous behaviors. Where necessary to avoid ambiguity, we will refer to the first notion of computation as algorithmic computation, and the second as information processing computation. (shrink)