This Ph.D. thesis explores a novel way of thinking about computation in cognitive science. It argues for what I call ‘the mechanistic account of wide computationalism’, or simply wide mechanistic computation. The key claim is that some cognitive and perceptual abilities are produced by or are the result of computational mechanisms that are, in part, located outside the individual; that computational systems, the ones that form the proper units of analysis in cognitive science, are particular types (...) of functional mechanisms that, on occasion, spread out across brain, body, and world. Wide mechanistic computation is the result of bringing together two distinct strands of thinking about computation: ‘wide’ views, which hold that computational systems can, on occasion, include parts of the surrounding environment; and ‘mechanistic’ views, which hold that computational explanation is a species of mechanistic explanation, and that computational mechanisms are a special type of functional mechanism. I argue that wide mechanistic computation draws support from several sources. First, I examine research on animal and human psychology and show that several organisms’ behaviours are properly treated as being the output of wide computational mechanisms. Second, I defend the view from several philosophical charges, including worries about its explanatory parsimony and empirical testability. Finally, I argue for the view’s theoretical credentials by showing that it can help resolve specific problems that have recently troubled 4E cognition. The result is an argument for not only the coherence but also empirical plausibility of wide mechanistic computation. On route to its main objective, the thesis also accomplishes a number of related tasks, including: providing a framework for organising and conceptualising different views of computation, securing the conceptual foundations of mechanistic computation by addressing an outstanding challenge called the ‘abstraction problem’, sounding a cautionary note about recent predictive processing accounts of extended cognition and arguing against a particular conception of levels often used within cognitive science, what is labelled the ‘hierarchical correspondence view of levels’. (shrink)

In recent years, the ‘mechanistic view’ has developed as a popular alternative to the ‘semantic view’ concerning the identity of physical computation. However, semanticists have provided powerful arguments that suggest the mechanistic view fails to deliver essential distinctions between paradigmatic computational operations. This article reviews responses on behalf of the mechanist and uses this opportunity to propose a type of pluralism about computational identity. This pluralism contends that there are multiple ‘levels’ of properties and relations pertaining to computation (...) that can inform different kinds of individuation. As such, for the pluralist, there are multiple legitimate ways of classifying computation, depending on the nature of the system in question, and one’s own epistemic priorities. (shrink)

Arguments for extended cognition and the extended mind are typically directed at human-centred forms of cognitive extension—forms of cognitive extension in which the cognitive/mental states/processes of a given human individual are subject to a form of extended or wide realization. The same is true of debates and discussions pertaining to the possibility of Web-extended minds and Internet-based forms of cognitive extension. In this case, the focus of attention concerns the extent to which the informational and technological elements of the (...) online environment form part of the machinery of the (individual) human mind. In this paper, we direct attention to a somewhat different form of cognitive extension. In particular, we suggest that the Web allows human individuals to be incorporated into the computational/cognitive routines of online systems. These forms of computational/cognitive extension highlight the potential of the Web and Internet to support bidirectional forms of computational/cognitive incorporation. The analysis of such bidirectional forms of incorporation broadens the scope of philosophical debates in this area, with potentially important implications for our understanding of the foundational notions of extended cognition and the extended mind. (shrink)

Recent years have seen a surge of interest in applying mechanistic thinking to computational accounts of implementation and individuation. One recent extension of this work involves so-called ‘wide’ approaches to computation, the view that computational processes spread out beyond the boundaries of the individual. These ‘mechanistic accounts of wide computation’ maintain that computational processes are wide in virtue of being part of mechanisms that extend beyond the boundary of the individual. This paper aims to further (...) develop the mechanistic account of wide computationalism by responding to two outstanding worries, what are called the parsimony and testability challenges. The first is based on considerations about wide computation’s ontological cost; the second the view’s experimental testability. The argument is that wide mechanistic computationalism can gain the necessary conceptual resources to address the challenges by embracing two further aspects of the mechanistic approach: i) the structural aspect of mechanistic explanation and ii) the notion of constitutive relevance. (shrink)

Computation is central to the foundations of modern cognitive science, but its role is controversial. Questions about computation abound: What is it for a physical system to implement a computation? Is computation sufficient for thought? What is the role of computation in a theory of cognition? What is the relation between different sorts of computational theory, such as connectionism and symbolic computation? In this paper I develop a systematic framework that addresses all of these (...) questions. Justifying the role of computation requires analysis of implementation, the nexus between abstract computations and concrete physical systems. I give such an analysis, based on the idea that a system implements a computation if the causal structure of the system mirrors the formal structure of the computation. This account can be used to justify the central commitments of artificial intelligence and computational cognitive science: the thesis of computational sufficiency, which holds that the right kind of computational structure suffices for the possession of a mind, and the thesis of computational explanation, which holds that computation provides a general framework for the explanation of cognitive processes. The theses are consequences of the facts that (a) computation can specify general patterns of causal organization, and (b) mentality is an organizational invariant, rooted in such patterns. Along the way I answer various challenges to the computationalist position, such as those put forward by Searle. I close by advocating a kind of minimal computationalism, compatible with a very wide variety of empirical approaches to the mind. This allows computation to serve as a true foundation for cognitive science. (shrink)

Understanding Computers and Cognition presents an important and controversial new approach to understanding what computers do and how their functioning is related to human language, thought, and action. While it is a book about computers, Understanding Computers and Cognition goes beyond the specific issues of what computers can or can't do. It is a broad-ranging discussion exploring the background of understanding in which the discourse about computers and technology takes place. Understanding Computers and Cognition is written for a wide (...) audience, not just those professionals involved in computer design or artificial intelligence. It represents an important contribution to the ongoing discussion about what it means to be a machine, and what it means to be human. Book jacket. (shrink)

Norms have been widely enacted in human and agent societies to regulate individuals’ actions. However, although legislators may have ethics in mind when establishing norms, moral values are only sometimes explicitly considered. This paper advances the state of the art by providing a method for selecting the norms to enact within a society that best aligns with the moral values of such a society. Our approach to aligning norms and values is grounded in the ethics literature. Specifically, from the literature’s (...) study of the relations between norms, actions, and values, we formally define how actions and values relate through the so-called value judgment function and how norms and values relate through the so-called norm promotion function. We show that both functions provide the means to compute value alignment for a set of norms. Moreover, we detail how to cast our decision-making problem as an optimisation problem: finding the norms that maximise value alignment. We also show how to solve our problem using off-the-shelf optimisation tools. Finally, we illustrate our approach with a specific case study on the European Value Study. (shrink)

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)

Currently, there is widespread skepticism that higher cognitive processes, given their apparent flexibility and globality, could be carried out by specialized computational devices, or modules. This skepticism is largely due to Fodor’s influential definition of modularity. From the rather flexible catalogue of possible modular features that Fodor originally proposed has emerged a widely held notion of modules as rigid, informationally encapsulated devices that accept highly local inputs and whose opera- tions are insensitive to context. It is a mistake, however, to (...) equate such features with computational devices in general and therefore to assume, as Fodor does, that higher cognitive processes must be non-computational. Of the many possible non-Fodorean architectures, one is explored here that offers possible solutions to computational problems faced by conventional modular systems: an ‘enzymatic’ architecture. Enzymes are computational devices that use lock-and-key template matching to iden- tify relevant information (substrates), which is then operated upon and returned to a common pool for possible processing by other devices. Highly specialized enzymes can operate together in a common pool of information that is not pre-sorted by information type. Moreover, enzymes can use molecular ‘tags’ to regulate the operations of other devices and to change how particular substrates are construed and operated upon, allowing for highly interactive, context-specific processing. This model shows how specialized, modular processing can occur in an open system, and suggests that skepti- cism about modularity may largely be due to failure to consider alternatives to the standard model. (shrink)

The computational argument for individualism, which moves from computationalism to individualism about the mind, is problematic, not because computationalism is false, but because computational psychology is, at least sometimes, wide. The paper provides an early, or perhaps predecessor, version of the thesis of extended cognition.

For the people who make them, music recommender systems hold a utopian promise: they can broaden listeners' horizons and help obscure musicians find audiences, taking advantage of the enormous catalogs offered by companies like Spotify, Apple Music, and their kin. But for critics, recommender systems have come to epitomize the potential harms of algorithms: they seem to reduce expressive culture to numbers, they normalize ever-broadening data collection, and they profile their users for commercial ends, tearing the social fabric into isolated (...) patches of atomized individuals. Drawing on years of ethnographic fieldwork, anthropologist Nick Seaver offers an account of how the makers of music recommendation navigate these tensions: how product managers understand their relationship with the users they want to help and to capture, how engineers imagine the abstract geography of the "world of music" as a space they control and care for, how scientists conceive of listening itself as a kind of data processing. The book rehumanizes the algorithmic systems that shape our world, foregrounding the ideas animating the people who build and maintain them. Seaver braids together the thinking of programmers and anthropologists, opening up the cultural world of computation in a vividly theorized book that ranges widely from cosmology to calculation, metaphor to myth, and captivation to care. (shrink)

The question about the scientific nature of computing has been widely debated with no universal consensus reached about its disciplinary status. Positions vary from acknowledging computing as the science of computers to defining it as a synthetic engineering discipline. In this paper, we aim at discussing the nature of computing from a methodological perspective. We consider, in particular, the nature and role of experiments in this field, whether they can be considered close to the traditional experimental scientific method or, instead, (...) they possess peculiar and unique features. We argue that this experimental perspective should be taken into account when discussing the status of computing. We critically survey how the experimental method has been conceived and applied in computing, and some open issues that could be tackled with the aid of the history of science, the philosophy of science, and the philosophy of technology. (shrink)

The Church-Turing Thesis is widely regarded as true, because of evidence that there is only one genuine notion of computation. By contrast, there are nowadays many different formal logics, and different corresponding foundational frameworks. Which ones can deliver a theory of computability? This question sets up a difficult challenge: the meanings of basic mathematical terms are not stable across frameworks. While it is easy to compare what different frameworks say, it is not so easy to compare what they mean. (...) We argue for some minimal conditions that must be met if two frameworks are to be compared; if frameworks are radical enough, comparison becomes hopeless. Our aim is to clarify the dialectical situation in this bourgeoning area of research, shedding light on the nature of non-classical logic and the notion of computation alike. (shrink)

Computation is central to the foundations of modern cognitive science, but its role is controversial. Questions about computation abound: What is it for a physical system to implement a computation? Is computation sufficient for thought? What is the role of computation in a theory of cognition? What is the relation between different sorts of computational theory, such as connectionism and symbolic computation? In this paper I develop a systematic framework that addresses all of these (...) questions. Justifying the role of computation requires analysis of implementation, the nexus between abstract computations and concrete physical systems. I give such an analysis, based on the idea that a system implements a computation if the causal structure of the system mirrors the formal structure of the computation. This account can be used to justify the central commitments of artificial intelligence and computational cognitive science: the thesis of computational sufficiency, which holds that the right kind of computational structure suffices for the possession of a mind, and the thesis of computational explanation, which holds that computation provides a general framework for the explanation of cognitive processes. The theses are consequences of the facts that computation can specify general patterns of causal organization, and mentality is an organizational invariant, rooted in such patterns. Along the way I answer various challenges to the computationalist position, such as those put forward by Searle. I close by advocating a kind of minimal computationalism, compatible with a very wide variety of empirical approaches to the mind. This allows computation to serve as a true foundation for cognitive science. (shrink)

Computational properties, it is standardly assumed, are to be sharply distinguished from semantic properties. Specifically, while it is standardly assumed that the semantic properties of a cognitive system are externally or non-individualistically individuated, computational properties are supposed to be individualistic and internal. Yet some philosophers (e.g., Tyler Burge) argue that content impacts computation, and further, that environmental factors impact computation. Oron Shagrir has recently argued for these theses in a novel way, and gave them novel interpretations. In this (...) paper I present a conception of computation in cognitive science that takes Shagrir's conception as its starting point, but further develops it in various directions and strengthens it. I argue that the explanatory role of computational properties emerges from the idea that syntactical properties and the relevant external factors presented by cognitive systems compose wide computational properties. I also elaborate upon the notion of content that is in play, and argue that it is contents of the kind that are ascribed by transparent interpretations of content ascriptions that impact computation. This fact enables the thesis that external factors impact computation to rebuff the challenge which concerns the claim that psychology must be individualistic. (shrink)

We study the computational complexity of polyadic quantifiers in natural language. This type of quantification is widely used in formal semantics to model the meaning of multi-quantifier sentences. First, we show that the standard constructions that turn simple determiners into complex quantifiers, namely Boolean operations, iteration, cumulation, and resumption, are tractable. Then, we provide an insight into branching operation yielding intractable natural language multi-quantifier expressions. Next, we focus on a linguistic case study. We use computational complexity results to investigate semantic (...) distinctions between quantified reciprocal sentences. We show a computational dichotomy<br>between different readings of reciprocity. Finally, we go more into philosophical speculation on meaning, ambiguity and computational complexity. In particular, we investigate a possibility to<br>revise the Strong Meaning Hypothesis with complexity aspects to better account for meaning shifts in the domain of multi-quantifier sentences. The paper not only contributes to the field of the formal<br>semantics but also illustrates how the tools of computational complexity theory might be successfully used in linguistics and philosophy with an eye towards cognitive science. (shrink)

Intelligent Tutoring Systems (ITS) has a wide influence on the exchange rate, education, health, training, and educational programs. In this paper we describe an intelligent tutoring system that helps student study computer networks. The current ITS provides intelligent presentation of educational content appropriate for students, such as the degree of knowledge, the desired level of detail, assessment, student level, and familiarity with the subject. Our Intelligent tutoring system was developed using ITSB authoring tool for building ITS. A preliminary evaluation (...) of the ITS was done by a group of students and teachers. The results were acceptable. (shrink)

The formal conception of computation (FCC) holds that computational processes are not sensitive to semantic properties. FCC is popular, but it faces well-known difficulties. Accordingly, authors such as Block and Peacocke pursue a ?semantically-laden? alternative, according to which computation can be sensitive to semantics. I argue that computation is insensitive to semantics within a wide range of computational systems, including any system with ?derived? rather than ?original? intentionality. FCC yields the correct verdict for these systems. I (...) conclude that there is only one promising strategy for semantically-laden theorists: identify special computational systems that help generate their own semantic properties, and then show that computation within those systems is semantically-laden. Unfortunately, the few existing discussions that pursue this strategy are problematic. (shrink)

In computer ethics, as in other branches of applied ethics, the problem of the justification of moral judgment is still unresolved. I argue that the method which is referred to as “The Method of Wide Reflective Equilibrium” (WRE) offers the best solution to it. It does not fall victim to the false dilemma of having to choose either case‐based particularist or principle‐based universalist approaches to the problem of moral justification. I claim that WRE also provides the best model of (...) practical moral reasoning available for computer ethics. It does not pretend to provide quasi‐algorithmic procedures for moral decision‐making, but neither does it abandon the regulative ideal of communicative transparency in discursive public justification. (shrink)

The assumption that psychological states and processes are computational in character pervades much of cognitive science, what many call the computational theory of mind. In addition to occupying a central place in cognitive science, the computational theory of mind has also had a second life supporting “individualism”, the view that psychological states should be taxonomized so as to supervene only on the intrinsic, physical properties of individuals. One response to individualism has been to raise the prospect of “wide computational (...) systems”, in which some computational units are instantiated outside the individual. “Wide computationalism” attempts to sever the link between individualism and computational psychology by enlarging the concept of computation. However, in spite of its potential interest to cognitive science, wide computationalism has received little attention in philosophy of mind and cognitive science. This paper aims to revisit the prospect of wide computationalism. It is argued that by appropriating a mechanistic conception of computation wide computationalism can overcome several issues that plague initial formulations. The aim is to show that cognitive science has overlooked an important and viable option in computational psychology. The paper marshals empirical support and responds to possible objections. (shrink)

Many philosophical and public discussions of the ethical aspects of violent computer games typically centre on the relation between playing violent videogames and its supposed direct consequences on violent behaviour. But such an approach rests on a controversial empirical claim, is often one-sided in the range of moral theories used, and remains on a general level with its focus on content alone. In response to these problems, I pick up Matt McCormick’s thesis that potential harm from playing computer games is (...) best construed as harm to one’s character, and propose to redirect our attention to the question how violent computer games influence the moral character of players. Inspired by the work of Martha Nussbaum, I sketch a positive account of how computer games can stimulate an empathetic and cosmopolitan moral development. Moreover, rather than making a general argument applicable to a wide spectrum of media, my concern is with specific features of violent computer games that make them especially morally problematic in terms of empathy and cosmopolitanism, features that have to do with the connections between content and medium, and between virtuality and reality. I also discuss some remaining problems. In this way I hope contribute to a less polarised discussion about computer games that does justice to the complexity of their moral dimension, and to offer an account that is helpful to designers, parents, and other stakeholders. (shrink)

The medial prefrontal cortex (mPFC) has been the subject of intense interest as a locus of cognitive control. Several computational models have been proposed to account for a range of effects, including error detection, conflict monitoring, error likelihood prediction, and numerous other effects observed with single-unit neurophysiology, fMRI, and lesion studies. Here, we review the state of computational models of cognitive control and offer a new theoretical synthesis of the mPFC as signaling response–outcome predictions. This new synthesis has two interacting (...) components. The first component learns to predict the various possible outcomes of a planned action, and the second component detects discrepancies between the actual and intended responses; the detected discrepancies in turn update the outcome predictions. This single construct is consistent with a wide array of performance monitoring effects in mPFC and suggests a unifying account of the cognitive role of medial PFC in performance monitoring. (shrink)

Philosophy and Computing explores each of the following areas of technology: the digital revolution; the computer; the Internet and the Web; CD-ROMs and Mulitmedia; databases, textbases, and hypertexts; Artificial Intelligence; the future of computing. Luciano Floridi shows us how the relationship between philosophy and computing provokes a wide range of philosophical questions: is there a philosophy of information? What can be achieved by a classic computer? How can we define complexity? What are the limits of quantam computers? Is the (...) Internet an intellectual space or a polluted environment? What is the paradox in the Strong Artificial Intelligence program? Philosophy and Computing is essential reading for anyone wishing to fully understand both the development and history of information and communication technology as well as the philosophical issues it ultimately raises. (shrink)

Currently, there is widespread skepticism that higher cognitive processes, given their apparent flexibility and globality, could be carried out by specialized computational devices, or modules. This skepticism is largely due to Fodor's influential definition of modularity. From the rather flexible catalogue of possible modular features that Fodor originally proposed has emerged a widely held notion of modules as rigid, informationally encapsulated devices that accept highly local inputs and whose operations are insensitive to context. It is a mistake, however, to equate (...) such features with computational devices in general and therefore to assume, as Fodor does, that higher cognitive processes must be non‐computational. Of the many possible non‐Fodorean architectures, one is explored here that offers possible solutions to computational problems faced by conventional modular systems: an ‘enzymatic’ architecture. Enzymes are computational devices that use lock‐and‐key template matching to identify relevant information (substrates), which is then operated upon and returned to a common pool for possible processing by other devices. Highly specialized enzymes can operate together in a common pool of information that is not pre‐sorted by information type. Moreover, enzymes can use molecular ‘tags’ to regulate the operations of other devices and to change how particular substrates are construed and operated upon, allowing for highly interactive, context‐specific processing. This model shows how specialized, modular processing can occur in an open system, and suggests that skepticism about modularity may largely be due to failure to consider alternatives to the standard model. (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)

The psycholinguistic literature has identified two syntactic adaptation effects in language production: rapidly decaying short-term priming and long-lasting adaptation. To explain both effects, we present an ACT-R model of syntactic priming based on a wide-coverage, lexicalized syntactic theory that explains priming as facilitation of lexical access. In this model, two well-established ACT-R mechanisms, base-level learning and spreading activation, account for long-term adaptation and short-term priming, respectively. Our model simulates incremental language production and in a series of modeling studies, we (...) show that it accounts for (a) the inverse frequency interaction; (b) the absence of a decay in long-term priming; and (c) the cumulativity of long-term adaptation. The model also explains the lexical boost effect and the fact that it only applies to short-term priming. We also present corpus data that verify a prediction of the model, that is, that the lexical boost affects all lexical material, rather than just heads. (shrink)

There is a widely extended image of computer software as some sort of ‘black box,’ where it does not matter how it internally works, but rather what sort of results are obtained given certain input values. By approaching computer software this way, many philosophical issues are hidden, neglected, or simply misunderstood. This article discusses three units of analysis of computer software, namely, specifications, algorithms, and computer processes. The aim is to understand the scientific and engineering practices supporting each unit of (...) analysis, as well as to analyze their methodology, ontology, and epistemology. (shrink)

While the notion of the mind as information-processor--a kind of computational system--is widely accepted, many scientists and philosophers have assumed that this account of cognition shows that the mind's operations are characterizable independent of their relationship to the external world. Existential Cognition challenges the internalist view of mind, arguing that intelligence, thought, and action cannot be understood in isolation, but only in interaction with the outside world. Arguing that the mind is essentially embedded in the external world, Ron McClamrock provides (...) a schema that allows cognitive scientists to address such long-standing problems in artificial intelligence as the "frame" problem and the issue of "bounded" rationality. Extending this schema to cover progress in other studies of behavior, including language, vision, and action, McClamrock reinterprets the importance of the organism/environment distinction. McClamrock also considers the broader philosophical question of the place of mind in the world, particularly with regard to questions of intentionality, subjectivity, and phenomenology. With implications for philosophy, cognitive and computer science, AI, and psychology, this book synthesizes state-of-the-art work in philosophy and cognitive science on how the mind interacts with the world to produce thoughts, ideas, and actions. (shrink)

Computer simulations are widely used in current scientific practice, as a tool to obtain information about various phenomena. Scientists accordingly rely on the outputs of computer simulations to make statements about the empirical world. In that sense, simulations seem to enable scientists to acquire empirical knowledge. The aim of this paper is to assess whether computer simulations actually allow for the production of empirical knowledge, and how. It provides an epistemological analysis of present-day empirical science, to which the traditional epistemological (...) categories cannot apply in any simple way. Our strategy consists in acknowledging the complexity of scientific practice, and trying to assess its rationality. Hence, while we are careful not to abstract away from the details of scientific practice, our approach is not strictly descriptive: our goal is to state in what conditions empirical science can rely on computer simulations. In order to do so, we need to adopt a renewed epistemological framework, whose categories would enable us to give a finer-grained, and better-fitted analysis of the rationality of scientific practice. (shrink)

Computer simulations are widely used for surrogative reasoning in scientific research. They also play a crucial role in engineering, more specifically in the design of new robotic systems, yet the nature of this role has been little discussed so far in the philosophy of technology literature. The main claim made in this article is that the notion of surrogative reasoning is central to understanding how computer simulations can serve the purpose of designing new robots. More specifically, it is argued that (...) computer simulations can support two forms of surrogative reasoning, which are called model-oriented and prediction-oriented, whose inferential structure is reconstructed to some extent. And it is argued that, when computer simulations are used to design new robots, they are distinctively used in the model-oriented way. By unravelling the structure of the computer simulation-supported methods adopted in robotic design, this article may contribute to a finer-grained understanding of the epistemic processes involved in technological research. (shrink)

Two widely accepted assumptions within cognitive science are that (1) the goal is to understand the mechanisms responsible for cognitive performances and (2) computational modeling is a major tool for understanding these mechanisms. The particular approaches to computational modeling adopted in cognitive science, moreover, have significantly affected the way in which cognitive mechanisms are understood. Unable to employ some of the more common methods for conducting research on mechanisms, cognitive scientists’ guiding ideas about mechanism have developed in conjunction with their (...) styles of modeling. In particular, mental operations often are conceptualized as comparable to the processes employed in classical symbolic AI or neural network models. These models, in turn, have been interpreted by some as themselves intelligent systems since they employ the same type of operations as does the mind. For this paper, what is significant about these approaches to modeling is that they are constructed specifically to account for behavior and are evaluated by how well they do so—not by independent evidence that they describe actual operations in mental mechanisms. (shrink)

This volume is a collection of selected papers presented at the Second Asia-Pacific Computing and Philsosophy Conference, which was held in Bangkok, Thailand in January 2005. The conference was organized by the Center for Ethics of Science and Technology, Chulalongkorn University on behalf of the International Association of Computing and Philosophy (www.ia-cap.org). Computing have had a long relationship with philosophy, starting from the problem of how symbols being manipulated in computing bear a relation to the outside world, to those of (...) artificial intelligence, robotics, computer simulation, and so on. Moreover, as computer technologies have become thoroughly pervasive in today's environment, there are also issues concerning social and ethical impacts brought about by them. The papers in the volume represent a wide variety of concerns and various dimensions within which computing and philosophy are related. Furthermore, it also represents some of the first attempts to highlight cultural dimensions of computing and philosophy, which became prominent when the conference was held for the first time within the milieu of an Asian culture. (The First Asia-Pacific Computing and Philosophy was held in Canberra, Australia.) Hence, many of the papers in the volume address this added dimension. Apart form the usual problems of how computers and human lives are interconnected, the papers here also discuss how computers are related to human lives as lived in a specific culture. Thus the book breaks a new ground and should be of interest to a wide range of scholars and students who are interested, not only on computing and philosophy generally construed, but also on this exciting new dimension of how the cultures of Asia, the West, and others bear upon the traditional issues in computing and philosophy, and on how this dimension raises some new concerns and agenda. Among the topics discussed in this volume are: political online forums in Saudi Arabia, e-democracy and structural transformation of public sphere, the Buddhist informational person, a glance into the lives of computerized generation in Thailand, technology and journalism in the market, local approaches and global potential (?) of information ethics, computer-enhanced good life, computer teaching ethics, and many others. (shrink)

This volume brings together a collection of papers covering a wide range of topics in computer and cognitive science. Topics included are: the foundational relevance of logic to computer science, with particular reference to tense logic, constructive logic, and Horn clause logic; logic as the theoretical underpinnings of the engineering discipline of expert systems; a discussion of the evolution of computational linguistics into functionally distinct task levels; and current issues in the implementation of speech act theory.

Verification and validation of computer codes and models used in simulations are two aspects of the scientific practice of high importance that recently have been discussed widely by philosophers of science. While verification is predominantly associated with the correctness of the way a model is represented by a computer code or algorithm, validation more often refers to the model’s relation to the real world and its intended use. Because complex simulations are generally opaque to a practitioner, the Duhem problem can (...) arise with verification and validation due to their entanglement; such an entanglement makes it impossible to distinguish whether a coding error or the model’s general inadequacy to its target should be blamed in the case of a failure. I argue that a clear distinction between computer modeling and simulation has to be made to disentangle verification and validation. Drawing on that distinction, I suggest to associate modeling with verification and simulation, which shares common epistemic strategies with experimentation, with validation. To explain the reasons for their entanglement in practice, I propose a Weberian ideal–typical model of modeling and simulation as roles in practice. I examine an approach to mitigate the Duhem problem for verification and validation that is generally applicable in practice and is based on differences in epistemic strategies and scopes. Based on this analysis, I suggest two strategies to increase the reliability of simulation results, namely, avoiding alterations of verified models at the validation stage as well as performing simulations of the same target system using two or more different models. In response to Winsberg’s claim that verification and validation are entangled I argue that deploying the methodology proposed in this work it is possible to mitigate inseparability of V&V in many if not all domains where modeling and simulation are used. (shrink)

Recent discussions in the philosophy of psychology have examined the use and legitimacy of such notions as ‘representation’, ‘content’, ‘computation’, and ‘inference’ within a scientific psychology. While the resulting assessments have varied widely, ranging from outright rejection of some or all of these notions to full vindication of their use, there has been notable agreement on the considerations deemed relevant for making an assessment. The answer to the question of whether the notion of, say, representational content may be admitted (...) into a scientific psychology has often been made to hinge upon whether the notion can be squared with our ‘ordinary’ or ‘folk’ style of psychological explanation, with its alleged commitment to the idiom of beliefs and desires. The emphasis on ‘folk psychology’ in arguments concerning the status of various concepts within scientific psychology is unfortunate, because it runs afoul of the ideal that the philosophy of psychology, by analogy with the philosophy of biology and the philosophy of physics, should have at its core the discussion of ongoing psychological theories. For while it may be admitted that the status of appeals to ‘folk psychology’ in order to justify a role for the belief-desire idiom within psychology proper is a matter that is of interest in its own right, it is not at all clear that mainstream experimental psychology has adopted either the language or the conceptions of ‘belief-desire’ psychology. (shrink)

Fluid neural networks can be used as a theoretical framework for a wide range of complex systems as social insects. In this article we show that collective logical gates can be built in such a way that complex computation can be possible by means of the interplay between local interactions and the collective creation of a global field. This is exemplified by a NOR gate. Some general implications for ant societies are outlined. ©.

Advances in behavioral and brain sciences have engendered wide ranging efforts to help understand consciousness. The target article suggests that abstract computational models are ill-advised. This commentary broadens the discussion to include mysteries of subjective experience that are inconsistent with current neuroscience. It also discusses progress being made through demystifying specific cases and pursuing evolutionary considerations.

In 1982, when computers were just becoming widely available, I was a graduate student beginning my work with Clark Glymour on a PhD thesis entitled: “Causality in the Social Sciences.” Dazed and confused by the vast philosophical literature on causation, I found relative solace in the clarity of Structural Equation Models (SEMs), a form of statistical model used commonly by practicing sociologists, political scientists, etc., to model causal hypotheses with which associations among measured variables might be explained. The statistical literature (...) around SEMs was vast as well, but Clark had extracted from it a particular kind of evidential constraint first studied by Charles Spearman at the beginning of the 20th century, the “vanishing tetrad difference.”1 As it turned out, certain kinds of causal structures entailed these constraints, and others did not. Spearman used this lever to argue for the existence of a single, general intelligence factor, the infamous g (Spearman, 1904). (shrink)

Artificial Intelligence (AI) is a technology widely used to support human decision-making. Current areas of application include financial services, engineering, and management. A number of attempts to introduce AI decision support systems into areas which more obviously include moral judgement have been made. These include systems that give advice on patient care, on social benefit entitlement, and even ethical advice for medical professionals. Responding to these developments raises a complex set of moral questions. This paper proposes a clearer replacement question (...) to them. The replacement question asks under what circumstances, if any, people would accept a moral judgement made by some sort of machine. Since, it is argued, the answer to this replacement question is positive, urgent practical moral problems are raised. (shrink)

PurposeThe purpose of this paper is to argue that playing computer games for lengthy periods of time, even in a manner that will force the player to forgo certain other activities normally seen as more important, can be an integral part of human flourishing.Design/methodology/approachThe authors' claim is based on a modern reading of Aristotle's Nichomacean Ethics. It should be emphasized that the authors do not argue that computer gaming and other similar online activities are central to all people under all (...) circumstances; but only seek to show that the claim holds true for some people under some circumstances and the authors try to spell out the relevant circumstances in detail.FindingsThe authors provide a list of situations in which playing computer games for lengthy periods of time, in a manner that will force the player to forgo certain other activities normally seen as more important, is an integral part of human flourishing.Originality/valueThe paper puts some novel pressure on the widely‐held belief that playing computer games for lengthy periods of time, in a manner that will force the player to forgo certain other activities normally seen as more important. The paper claims that playing some computer games and partaking in some forms of online activities could be highly conducive to what it actually means in practice to take care of oneself and, to paraphrase Aristotle, to be eager for fine actions. (shrink)

The primary goal of this essay is to demonstrate how considerations from computational complexity theory can inform grammatical theorizing. To this end, generalized phrase structure grammar (GPSG) linguistic theory is revised so that its power more closely matches the limited ability of an ideal speaker-hearer: GPSG Recognition is EXP-POLY time hard, while Revised GPSG Recognition is NP-complete. A second goal is to provide a theoretical framework within which to better understand the wide range of existing GPSG models, embodied in (...) formal definitions as well as in implemented computer programs. (shrink)

Current empirical studies of moral behavior of healthcare professionals are almost entirely focused on self-reports, usually collected under the assumption that an ethical disposition characterizes individuals across various contexts. It is well known, however, that individuals adjust their behavior to what they see being done by those in their peer group. That presents a methodological challenge to traditional research within a community of peers because the behavior of each individual is both the result of norms and a contributor to the (...) norms of others. Computer simulations can be used to address this methodological challenge. A Markov replicator model that runs on an Excel spreadsheet was used to investigate a community with four agent types in the dental community: devious practitioners, ethical practitioners who avoid involvement in the poor ethics of others, ethical practitioners who accept it as part of their professional responsibility to challenge colleagues who act unprofessionally, and those who enforce ethical standards. A panel of leaders in the profession independently estimated parameters for the model and criteria for a possible distribution of agent types in the community. The simulation converged on distributions of the agent types that were very similar to the expectations of the panel. The simulation suggests the following characteristics of such moral communities: The structure of such communities is robust across a wide distribution. It appears that reduction in unethical behavior is more sensitive to the way ethical practitioners interact with each other than to sanctions the enforcement community imposes on unethical practitioners, and that large external interventions will be short lived. (shrink)

Some intriguing questions such as: What is reality for an agent? How does reality of a bacterium differ from a reality of a human brain? Do we need representation in order to understand reality? are still widely debated. Starting with the presentation of the computing nature as an info-computational framework, where information is defined as a structure, and computation as information processing, we address questions of evolution of increasingly complex living agents through interactions with the environment. In this context, (...) the concept of computation will be discussed and the sense in which computation is observer-relative. Using the results on morphological/ morphogenetic computation as information self-organization we argue that reality for an agent is a result of networked agent-based computation. Consciousness is a (computational) process of information integration that evolved in organisms with nervous system. We present an argument why pancomputationalism (computing nature) is a sound scientific strategy and why panpsychism is not. (shrink)

Is the mind/brain a kind of a computer? In cognitive science, it is widely believed that cognition is a form of computation--that some physical systems, such as minds/brains, compute appropriate functions, whereas other systems, such as video cameras, stomachs or the weather, do not compute. What makes a physical system a computing system? In my dissertation I first reject the orthodox, Turing-machine style answer to this question. I argue that the orthodox notion is rooted in a misunderstanding of our (...) pre-theoretic notion of computation and of Turing's characterization of it. I then offer an alternative--semantic --theory of computation for physical systems. I suggest that to view a system as a computing system is to identify its processes and states, as computational, with respect to their semantic relations to external objects. Lastly, I examine the ramifications of my theses about computation for cognitive science. I argue that the level at which we specify psychological processes/mechanisms is defined over semantic, rather than syntactic or algorithmic, types. As a result of this, I go on to claim that cognitive scientists take semantic properties as those which explain behavior, not those which are in need of explanation. (shrink)

Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby and herein conveys its respect and thanks to him for his pivotal role in creating and fostering the conceptual paradigm which is its raison d’Œtre. The diversity of interests covered here reflects the variety of (...) Bob’s concerns. Read on. It is an intellectual feast. Before you begin, permit me to send him a brief personal, but public, message: Bob, how right you were, and how wrong I was. I should explain. When Bob arrived in Edinburgh in 1967 resolution was as yet fairly new, having taken several years to become at all widely known. Research groups to investigate various aspects of resolution sprang up at several institutions, the one organized by Bernard Meltzer at Edinburgh University being among the first. For the half-dozen years that Bob was a leading member of Bernard’s group, I was a frequent visitor to it, and I saw a lot of him. We had many discussions about logic, computation, and language. (shrink)

In this paper I introduce a formalism for natural language understandingbased on a computational implementation of Discourse RepresentationTheory. The formalism covers a wide variety of semantic phenomena(including scope and lexical ambiguities, anaphora and presupposition),is computationally attractive, and has a genuine inference component. Itcombines a well-established linguistic formalism (DRT) with advancedtechniques to deal with ambiguity (underspecification), and isinnovative in the use of first-order theorem proving techniques.The architecture of the formalism for natural language understandingthat I advocate consists of three levels of (...) processing:underspecification, resolution, andinference. Each of these levels has a distinct function andtherefore employs a different kind of semantic representation. Themappings between these different representations define the interfacesbetween the levels. (shrink)

Alex has written an excellent thesis in the area of computable model theory. The latter is a subject that nicely combines model-theoretic ideas with delicate recursiontheoretic constructions. The results demand good knowledge of both fields. In his thesis, Alex begins by reviewing the essential model-theoretic facts, especially the Baldwin-Lachlan result about uncountably categorical theories. This he follows with a brief discussion of recursion theory, including mention of the priority method. The deepest part of the thesis concerns the study of the (...) recursive spectrum of an uncountably categorical theory, i.e. the set of n ≤ ! such that the n-th model of the theory (in the Baldwin-Lachlan sense) has a computable presentation. This is a deep and very active area of conteporary research in computable model theory which Alex discusses in considerable detail. The exposition is very good and therefore the thesis makes a nice introduction to the subject for a wide community of logicians. (Sy-David Friedman, Professor of Mathematical Logic, Director of the Kurt Godel Research Center for Mathematical Logic, University of Vienna). (shrink)

This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is (...) essential, and often stressing Johan van Benthem's pioneering work in establishing this program. However, this is not a Festschrift, but a rich tapestry for a field with a wealth of strands of its own. The reader will see the state of the art in such topics as information update, belief change, preference, learning over time, and strategic interaction in games. Moreover, no tight boundary has been enforced, and some chapters add more general mathematical or philosophical foundations or links to current trends in computer science. (shrink)

In many scientific fields, today’s practices of empirical enquiry rely heavily on the production of images that display the investigated phenomena. And while scientific images of phenomena have been important for a long time, what is striking now is that scientists have found ways to visualize such widely different types of phenomena. In the past twenty or thirty years, we have become accustomed to seeing images of galaxies, of cells, of the human brain but also of blood flow or of (...) turbulent fluids. This success in making images relies first on the set of imaging devices that have flourished in the twentieth century, instruments such as radio-telescopes, electronic microscopes, MRI and many more. Without these... (shrink)

This volume contains the proceedings of three special sessions: Algebra and Computer Science, held during the Joint AMS-EMS-SPM meeting in Porto, Portugal, June 10–13, 2015; Groups, Algorithms, and Cryptography, held during the Joint Mathematics Meeting in San Antonio, TX, January 10–13, 2015; and Applications of Algebra to Cryptography, held during the Joint AMS-Israel Mathematical Union meeting in Tel-Aviv, Israel, June 16–19, 2014. Papers contained in this volume address a wide range of topics, from theoretical aspects of algebra, namely group (...) theory, universal algebra and related areas, to applications in several different areas of computer science. From the computational side, the book aims to reflect the rapidly emerging area of algorithmic problems in algebra, their computational complexity and applications, including information security, constraint satisfaction problems, and decision theory. The book gives special attention to recent advances in quantum computing that highlight the need for a variety of new intractability assumptions and have resulted in a new area called group-based cryptography. (shrink)