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)

I discuss the philosophical implications that the rising new science of quantum computing may have on the philosophy of computer science. While quantum algorithms leave the notion of Turing-Computability intact, they may re-describe the abstract space of computational complexity theory hence militate against the autonomous character of some of the concepts and categories of computer science.

This study is a philosophical critique of the foundations of Sigmund Freud's psychoanalysis. As such, it also takes cognizance of his claim that psychoanalysis has the credentials of a natural science. It shows that the reasoning on which Freud rested the major hypotheses of his edifice was fundamentally flawed, even if the probity of the clinical observations he adduced were not in question. Moreover, far from deserving to be taken at face value, clinical data from the psychoanalytic treatment setting are (...) themselves epistemically quite suspect. (shrink)

On the basis of an earlier contribution to the philosophy of computer science by Amnon Eden, this essay discusses to what extent Eden’s ‘paradigms’ of computer science can be transferred or applied to software engineering. This discussion implies an analysis of how software engineering and computer science are related to each other. The essay concludes that software engineering can neither be fully subsumed by computer science, nor vice versa. Consequently, also the philosophies of computer science and software engineering—though related to (...) each other—are not identical branches of a general philosophy of science. This also implies that not all of Eden’s earlier arguments can be directly mapped from the domain of computer science into the domain of software science. After the discussion of this main topic, the essay also points to some further problems and open issues for future studies in the philosophy of software science and engineering. (shrink)

This book is available either individually, or as part of the specially-priced Arguments of the Philosphers Collection.

Many problems in software development can be traced to a narrow understanding of professional responsibility. The author examines ways in which software developers have tried to avoid accepting responsibility for their work. After cataloguing various types of responsibility avoidance, the author introduces an expanded concept of positive responsibility. It is argued that the adoption of this sense of positive responsibility will reduce many problems in software development.

A class of problems is called decidable if there is an algorithm which will give the answer to any problem of the class after a finite length of time. The purpose of this paper is to discuss the classes of problems that can be solved by infinitely long decision procedures in the following sense: An algorithm is given which, for any problem of the class, generates an infinitely long sequence of guesses. The problem will be said to be solved in (...) the limit if, after some finite point in the sequence, all the guesses are correct and the same. Functions, sets, and functionals which are decidable by such infinite algorithms will be calledlimiting recursive. These, together with classes of objects which can beidentified in the limit, are the subjects of this report.Without qualification,setwill mean set of numbers;functionwill mean number-theoretic function of 1 variable, possibly partial;functionalswill take numerical values and have any number of numerical and/or function variables, the latter ranging solely over total functions of 1 variable. Thus a function is a special case of a functional,xwill invariably stand for a numerical variable;φfor a function variable;gfor a guess ;nfor the numerical variable which indexes the guesses, referred to as thetime. (shrink)

In this paper I offer an analysis of causation based upon a theory of mechanisms-complex systems whose internal parts interact to produce a system's external behavior. I argue that all but the fundamental laws of physics can be explained by reference to mechanisms. Mechanisms provide an epistemologically unproblematic way to explain the necessity which is often taken to distinguish laws from other generalizations. This account of necessity leads to a theory of causation according to which events are causally related when (...) there is a mechanism that connects them. I present reasons why the lack of an account of fundamental physical causation does not undermine the mechanical account. (shrink)

Most recent philosophical thought about the scientific representation of the world has focused on dyadic relationships between language-like entities and the world, particularly the semantic relationships of reference and truth. Drawing inspiration from diverse sources, I argue that we should focus on the pragmatic activity of representing, so that the basic representational relationship has the form: Scientists use models to represent aspects of the world for specific purposes. Leaving aside the terms "law" and "theory," I distinguish principles, specific conditions, models, (...) hypotheses, and generalizations. I argue that scientists use designated similarities between models and aspects of the world to form both hypotheses and generalizations. (shrink)

Russian translation of Gettier E. L. Is Justified True Belief Knowledge? // Analysis, vol. 23, 1963. Translated by Lev Lamberov with kind permission of the author.

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

The phenomenon of digital computation is explained (often differently) in computer science, computer engineering and more broadly in cognitive science. Although the semantics and implications of malfunctions have received attention in the philosophy of biology and philosophy of technology, errors in computational systems remain of interest only to computer science. Miscomputation has not gotten the philosophical attention it deserves. Our paper fills this gap by offering a taxonomy of miscomputations. This taxonomy is underpinned by a conceptual analysis of the design (...) and implementation of conventional computational systems at various levels of abstraction. It shows that ‘malfunction’ as it is typically used in the philosophy of artefacts only represents one type of miscomputation. (shrink)

What does it mean to embed the phenomena in an abstract structure? Or to represent them by doing so? The semantic view of theories runs into a severe problem if these notions are construed either naively, in a metaphysical way, or too closely on the pattern of the earlier syntactic view. Constructive empiricism and structural realism will then share those difficulties. The problem will be posed as in Reichenbach's The Theory of Relativity and A Priori Knowledge, and realist reactions will (...) be examined, but they will be argued to dissolve upon scrutiny. (shrink)

There are many ways of understanding the nature of philosophical questions. One may consider their morphology, semantics, relevance, or scope. This article introduces a different approach, based on the kind of informational resources required to answer them. The result is a definition of philosophical questions as questions whose answers are in principle open to informed, rational, and honest disagreement, ultimate but not absolute, closed under further questioning, possibly constrained by empirical and logico-mathematical resources, but requiring noetic resources to be answered. (...) The article concludes with a discussion of some of the consequences of this definition for a conception of philosophy as the study (or “science”) of open questions, which uses conceptual design to analyse and answer them. (shrink)

The use of “levels of abstraction” in philosophical analysis (levelism) has recently come under attack. In this paper, I argue that a refined version of epistemological levelism should be retained as a fundamental method, called the method of levels of abstraction. After a brief introduction, in section “Some Definitions and Preliminary Examples” the nature and applicability of the epistemological method of levels of abstraction is clarified. In section “A Classic Application of the Method ofion”, the philosophical fruitfulness of the new (...) method is shown by using Kant’s classic discussion of the “antinomies of pure reason” as an example. In section “The Philosophy of the Method of Abstraction”, the method is further specified and supported by distinguishing it from three other forms of “levelism”: (i) levels of organisation; (ii) levels of explanation and (iii) conceptual schemes. In that context, the problems of relativism and antirealism are also briefly addressed. The conclusion discusses some of the work that lies ahead, two potential limitations of the method and some results that have already been obtained by applying the method to some long-standing philosophical problems. (shrink)

In recent years, “Information Ethics” (IE) has come to mean different things to different researchers working in a variety of disciplines, including computer ethics, business ethics, medical ethics, computer science, the philosophy of information, social epistemology and library and information science. Using an ontocentric approach, this paper seeks to define the parameters of IE and thereby increase our understanding of the moral challenges associated with Information Communication Technologies.

One question of the bounds of cognition is that of which things have it. A scientifically relevant debate on this question must explain the persistent and selective use of psychological predicates to report findings throughout biology: for example, that neurons prefer, fruit flies and plants decide, and bacteria communicate linguistically. This paper argues that these claims should enjoy default literal interpretation. An epistemic consequence is that these findings can contribute directly to understanding the nature of psychological capacities.

Paul Feyerabend's globally acclaimed work, which sparked and continues to stimulate fierce debate, examines the deficiencies of many widespread ideas about scientific progress and the nature of knowledge. Feyerabend argues that scientific advances can only be understood in a historical context. He looks at the way the philosophy of science has consistently overemphasized practice over method, and considers the possibility that anarchism could replace rationalism in the theory of knowledge. -- Amazon.com.

Taking Brian Cantwell Smith’s study, “Limits of Correctness in Computers,” as its point of departure, this article explores the role of models in computer science. Smith identifies two kinds of models that play an important role, where specifications are models of problems and programs are models of possible solutions. Both presuppose the existence of conceptualizations as ways of conceiving the world “in certain delimited ways.” But high-level programming languages also function as models of virtual (or abstract) machines, while low-level programming (...) languages function as models of causal (or physical) machines. The resulting account suggests that sets of models embedded within models are indispensable for computer programming. (shrink)

A debate over the theoretical capabilities of formal methods in computer science has raged for more than two years now. The function of this paper is to summarize the key elements of this debate and to respond to important criticisms others have advanced by placing these issues within a broader context of philosophical considerations about the nature of hardware and of software and about the kinds of knowledge that we have the capacity to acquire concerning their performance.

I argue that intending and acting belong to the same genus: intending is a kind of doing continuous in structure with intentional acting. Future-directed intending is not a truly separate phenomenon from either the intending in action or the acting itself. Ultimately, all intentions are in action, or better still, in extended courses of action. I show how the intuitive distinction between intending and acting is based on modeling the two phenomena on the extreme and limiting cases of an otherwise (...) continuous spectrum of the ways in which agents exercise rational active intelligent guidance in the pursuit of goals. I argue that diachronic intentional agency is better understood in terms of continuity and unity of courses of active and intelligent guidance, and that the distinction between intending to do something and doing it is only a derivative and context-dependent segmentation of these continuous courses of rational active intelligent guidance. (shrink)

From the acclaimed writer and thinker--whose award-winning books include both fiction and non-fiction--a dazzlingly original plunge into the drama of philosophy, revealing its hidden but essential role in today's debates on love, religion, politics, and science. Imagine that Plato came to life in the 21st century and set out on a multi-city speaking tour: How would he handle a host on Fox News who challenges him on religion and morality? How would he mediate a debate on the best way to (...) raise a child between a Freudian psychoanalyst and a Tiger Mom? How would he answer a neuroscientist who, about to scan Plato's brain, argues that all his philosophical problems can be solved by our new technologies? What would he make of Google, and the idea that knowledge can be crowdsourced rather than reasoned out by experts? With a philosopher's depth and a novelist's imagination, Rebecca Newberger Goldstein probes the deepest issues confronting us--from sexuality and child-rearing to morality and the meaning of life--by allowing us to eavesdrop on Plato as he encounters the modern world. By reviving the Platonic art of the dialogue for the 21st century, she demonstrates that the questions he first posed continue to confound and enlarge us. (shrink)

The determinism-free will debate is perhaps as old as philosophy itself and has been engaged in from a great variety of points of view including those of scientific, theological, and logical character. This chapter focuses on two arguments from logic. First, there is an argument in support of determinism that dates back to Aristotle, if not farther. It rests on acceptance of the Law of Excluded Middle, according to which every proposition is either true or false, no matter whether the (...) proposition is about the past, present or future. In particular, the argument goes, whatever one does or does not do in the future is determined in the present by the truth or falsity of the corresponding proposition. The second argument coming from logic is much more modern and appeals to Gödel's incompleteness theorems to make the case against determinism and in favour of free will, insofar as that applies to the mathematical potentialities of human beings. The claim more precisely is that as a consequence of the incompleteness theorems, those potentialities cannot be exactly circumscribed by the output of any computing machine even allowing unlimited time and space for its work. The chapter concludes with some new considerations that may be in favour of a partial mechanist account of the mathematical mind. (shrink)

Dual-process and dual-system theories in both cognitive and social psychology have been subjected to a number of recently published criticisms. However, they have been attacked as a category, incorrectly assuming there is a generic version that applies to all. We identify and respond to 5 main lines of argument made by such critics. We agree that some of these arguments have force against some of the theories in the literature but believe them to be overstated. We argue that the dual-processing (...) distinction is supported by much recent evidence in cognitive science. Our preferred theoretical approach is one in which rapid autonomous processes are assumed to yield default responses unless intervened on by distinctive higher order reasoning processes. What defines the difference is that Type 2 processing supports hypothetical thinking and load heavily on working memory. (shrink)

We examine the philosophical disputes among computer scientists concerning methodological, ontological, and epistemological questions: Is computer science a branch of mathematics, an engineering discipline, or a natural science? Should knowledge about the behaviour of programs proceed deductively or empirically? Are computer programs on a par with mathematical objects, with mere data, or with mental processes? We conclude that distinct positions taken in regard to these questions emanate from distinct sets of received beliefs or paradigms within the discipline: – The rationalist (...) paradigm, which was common among theoretical computer scientists, defines computer science as a branch of mathematics, treats programs on a par with mathematical objects, and seeks certain, a priori knowledge about their ‘correctness’ by means of deductive reasoning. – The technocratic paradigm, promulgated mainly by software engineers and has come to dominate much of the discipline, defines computer science as an engineering discipline, treats programs as mere data, and seeks probable, a posteriori knowledge about their reliability empirically using testing suites. – The scientific paradigm, prevalent in the branches of artificial intelligence, defines computer science as a natural (empirical) science, takes programs to be entities on a par with mental processes, and seeks a priori and a posteriori knowledge about them by combining formal deduction and scientific experimentation. We demonstrate evidence corroborating the tenets of the scientific paradigm, in particular the claim that program-processes are on a par with mental processes. We conclude with a discussion in the influence that the technocratic paradigm has been having over computer science. (shrink)

In the first section of the paper I present Alan Turing’s notion of effective memory, as it appears in his 1936 paper ‘On Computable Numbers, With an Application to The Entscheidungsproblem’. This notion stands in surprising contrast with the way memory is usually thought of in the context of contemporary computer science. Turing’s view (in 1936) is that for a computing machine to remember a previously scanned string of symbols is not to store an internal symbolic image of this string. (...) Rather, memory consists in the fact that the past scanning of the string affects the behavior of the computer in the face of potential future inputs. In the second, central section of the paper I begin exploring how this view of Turing’s bears upon contemporary discussions in the philosophy of mind. In particular, I argue that Turing’s approach can be used to lend support to dispositional conceptions of the propositional attitudes, like the one recently presented by Matthews (2007), and that his effective memory manifests some of the characteristics of Millikan’s (1996) pushmepullyou mental states. (shrink)

In recent years it has been convincingly argued that the Church-Turing thesis concerns the bounds of human computability: The thesis was presented and justified as formally delineating the class of functions that can be computed by a human carrying out an algorithm. Thus the Thesis needs to be distinguished from the so-called Physical Church-Turing thesis, according to which all physically computable functions are Turing computable. The latter is often claimed to be false, or, if true, contingently so. On all accounts, (...) though, thesis M is not easy to give counterexamples to, but it is never asked why—how come that a thesis that transfers a notion from the strictly human domain to the general physical domain just happens to be so difficult to falsify. In this paper I articulate this question and consider several tentative answers to it. (shrink)

This book presents an attempt to develop a theory of knowledge and a philosophy of mind using ideas derived from the mathematical theory of communication developed by Claude Shannon. Information is seen as an objective commodity defined by the dependency relations between distinct events. Knowledge is then analyzed as information caused belief. Perception is the delivery of information in analog form for conceptual utilization by cognitive mechanisms. The final chapters attempt to develop a theory of meaning by viewing meaning as (...) a certain kind of information-carrying role. (shrink)

This is the first philosophical study of artifacts that is book length. In it Randall Dipert develops a theory of what artifacts are and applies it extensively to one of the most complex and intriguing kind of artifacts, art works. He presents his own account of what agents, intentions, and actions are, then uses these notions to clarify what it is for an agent to "make" something. From this starting point, he develops a full theory of artifacts and other artificial (...) things - and, especially, a theory of art works and performances of art works as artifacts. He proposes a theory of nature and of the value of nature as what is essentially nonartificial. Two chapters are devoted to value considerations: merit in artifacts generally, and the evaluation of art works and performance art as artifacts or intentional gestures. Believing that a developed theory of action and philosophy of mind is necessary for a developed aesthetics and philosophy of art, Dipert relies on classical and contemporary research on agency, actions, and intentions, and on the intentionalist theory of mental objects of Brentano and Meinong. Dipert considers artifacts to be physical entities, but he also includes in the definition thoughts, utterances, and performances. This vast category encompasses everyday household objects and tools, streets and edifices, as well as communicative and artistic artifacts. Especially with regard to artistic artifacts, Dipert proposes a theory of expression and communication as actions and extensively discusses the problems of interpreting and recognizing actions, artifacts, and art works. (shrink)