Philosophical questions about minds and computation need to focus squarely on the mathematical theory of Turing machines (TM's). Surrogate TM's such as computers or formal systems lack abilities that make Turing machines promising candidates for possessors of minds. Computers are only universal Turing machines (UTM's)—a conspicuous but unrepresentative subclass of TM. Formal systems are only static TM's, which do not receive inputs from external sources. The theory of TM computation clearly exposes the failings of two prominent critiques, Searle's Chinese room (...) (1980) and arguments from Gödel's Incompleteness theorems (e.g., Lucas, 1961; Penrose, 1989), both of which fall short of addressing the complete TM model. Both UTM-computers and formal systems provide an unsound basis for debate. In particular, their special natures easily foster the misconception that computation entails intrinsically meaningless symbol manipulation. This common view is incorrect with respect to full-fledged TM's, which can process inputs non-formally, i.e., in a subjective and dynamically evolving fashion. To avoid a distorted understanding of the theory of computation, philosophical judgments and discussions should be grounded firmly upon the complete Turing machine model, the proper model for real computers. (shrink)

For an artificial agent to be morally praiseworthy, its rules for behaviour and the mechanisms for supplying those rules must not be supplied entirely by external humans. Such systems are a substantial departure from current technologies and theory, and are a low prospect. With foreseeable technologies, an artificial agent will carry zero responsibility for its behavior and humans will retain full responsibility.

This essay offers two novel thinking-modes, “body thinking” and “story thinking,” both intrinsically interrelated, as alternative reasoning to usual analytical logic, and claims that they facilitate understanding “religion” as our ultimate living in the Beyond. Thus body thinking, story thinking, and religion naturally gather into a threefold thinking synonymy. This essay adumbrates in story-thinking way this synonymy in four theme-stages, one, appreciating body thinking primal at our root, to, two, go through story-thinking that expresses body thinking to catalyze religion, to, (...) three, reach religious living in holistic nisus to the Beyond. But then, four, religion is surprisingly harder than expected; we require a strange adult detour to come back home to body thinking in story thinking. These four themes are body-thought through many stories, some of which are argumentative. Thus this essay itself body thinks in story thinking. (shrink)

The claim that similarity plays a role in representation has been philosophically discredited. Psychologists, however, routinely analyse the success of mental representations for guiding behaviour in terms of a similarity between representation and the world. I provide a foundation for this practice by developing a philosophically responsible account of the relationship between similarity and representation in natural systems. I analyse similarity in terms of the existence of a suitable homomorphism between two structures. The key insight is that by restricting attention (...) to only those homomorphisms induced by causal processes, we can solve two philosophical problems with a single assumption. First, causal structure provides an adequate source for the bias required to ensure the similarity relation is non-trivial; second, it provides an adequate source for the directionality required to move from similarity to representation. I defend this account against objections by Goodman and van Fraassen and demonstrate that it is indeed the account of similarity’s role in representation assumed by psychological practice. (shrink)

This is a bibliography of books and articles on consciousness in philosophy, cognitive science, and neuroscience over the last 30 years. There are three main sections, devoted to monographs, edited collections of papers, and articles. The first two of these sections are each divided into three subsections containing books in each of the main areas of research. The third section is divided into 12 subsections, with 10 subject headings for philosophical articles along with two additional subsections for articles in cognitive (...) science and neuroscience. Of course the division is somewhat arbitrary, but I hope that it makes the bibliography easier to use. This bibliography has first been compiled by Thomas Metzinger and David Chalmers to appear in print in two philosophical anthologies on conscious experience . From 1995 onwards it has been continuously updated by Thomas Metzinger, and now is freely available as a PDF-, RTF-, or HTML-file. This bibliography mainly attempts to cover the Anglo-Saxon and German debates, in a non-annotated, fully formatted way that makes it easy to "cut and paste" from the original file. To a certain degree this bibliography also contains items in other languages than English and German - all submissions in other languages are welcome. Last update of current version: July 13th, 2001. (shrink)

Drawing on philosophy, theology, comparative religion, spirituality, Holocaust studies, physics, biology, psychology, and personal experience, I argue that continued human existence depends on our willingness to reject nihilism–not as an expedient “noble lie” but because faith in a meaningful cosmos and the power of love is at least as validly grounded in human experience as insistence on cosmic indifference and ultimate futility. I maintain that hope will free us to develop nonimperialistic methods of bridging cultural differences by forming a mutually (...) intelligible vocabulary that celebrates diversity, enters the worlds of others in respectful dialogue, and fosters a postmechanistic, organic, ecological, holistic, dynamic, interactive, open‐ended model of reality. I lay the foundation for a “hermeneutics of love” to complement Paul Ricoeur's “hermeneutics of suspicion” and invite speculation on the ways science, technology, and society would be transformed if those “glasses of friendship” were widely applied. (shrink)

This paper argues for the possibility of 'artificial life' and computational evolution, first by discussing (via a highly simplified version) John von Neumann's self-reproducing automaton and then by presenting some recent work focusing on computational evolution, in which 'cellular automata', a form of parallel and decentralized computing system, are evolved via 'genetic algorithms'. It is argued that such in silico experiments can help to make sense of the question of whether we can eventually build computers that are intelligent and alive.

We examine the question of whether scientific theories can ever be complete. For two closely related reasons, we will argue that they cannot. The first reason is the inability to determine what are “valid empirical observations”, a result that is based on a self-reference Gödel/Tarski-like proof. The second reason is the existence of “meta-empirical” evidence of the inherent incompleteness of observations. These reasons, along with theoretical incompleteness, are intimately connected to the notion of belief and to theses within the philosophy (...) of science: the Quine-Duhem (and underdetermination) thesis and the observational/theoretical distinction failure. Some puzzling aspects of the philosophical theses will become clearer in light of these connections. Other results that follow are: no absolute measure of the informational content of empirical data, no absolute measure of the entropy of physical systems, and no complete computer simulation of the natural world are possible. The connections with the mathematical theorems of Gödel and Tarski reveal the existence of other connections between scientific and mathematical incompleteness: computational irreducibility, complexity, infinity, arbitrariness and self-reference. Finally, suggestions will be offered of where a more rigorous (or formal) “proof” of scientific incompleteness can be found. (shrink)

What psychological and philosophical significance should we attach to recent efforts at computer simulations of human cognitive capacities? In answering this question, I find it useful to distinguish what I will call "strong" AI from "weak" or "cautious" AI. According to weak AI, the principal value of the computer in the study of the mind is that it gives us a very powerful tool. For example, it enables us to formulate and test hypotheses in a more rigorous and precise fashion. (...) But according to strong AI, the computer is not merely a tool in the study of the mind; rather, the appropriately programmed computer really is a mind, in the sense that computers given the right programs can be literally said to. (shrink)

We are responsible for some things but not for others. In this thesis, I investigate what it takes for an entity to be responsible for something. This question has two components: agents and actions. I argue for a permissive view about agents. Entities such as groups or artificially intelligent systems may be agents in the sense required for responsibility. With respect to actions, I argue for a causal view. The relation in virtue of which agents are responsible for actions is (...) a causal one. I claim that responsibility requires causation and I develop a causal account of agency. This account is particularly apt for addressing the relationship between agency and moral responsibility and sheds light on the causal foundations of moral responsibility. (shrink)

Although artificial intelligence techniques have been successfully applied to reproduce many rational features of human behaviour, a great barrier has been encountered in simulating human activities where intuition and emotion are involved. Art making and viewing are processes where typically rational and mechanical aspects interact with aesthetic and cognitive criteria. Can you make a computer understand and autonomously produce art?The main purpose of this paper is to present the most relevant approaches in the study of art perception and creation via (...) computer, focusing on the results achieved in artistic computer graphics. (shrink)

Jim Mackenzie; Evers & Walker and Forms of Knowledge, Journal of Philosophy of Education, Volume 19, Issue 2, 30 May 2006, Pages 199–209, https://doi.org/10.

Toulmin’s scheme for the layout of arguments (1958, The Uses of Argument, Cambridge University Press, Cambridge) represents an influential tool for the analysis of arguments. The scheme enriches the traditional premises-conclusion model of arguments by distinguishing additional elements, like warrant, backing and rebuttal. The present paper contains a formal elaboration of Toulmin’s scheme, and extends it with a treatment of the formal evaluation of Toulmin-style arguments, which Toulmin did not discuss at all. Arguments are evaluated in terms of a so-called (...) dialectical interpretation of their assumptions. In such an interpretation, an argument’s assumptions can be evaluated as defeated, e.g., when there is a defeating reason against the assumption. The present work builds on recent research on defeasible argumentation (cf. e.g. the work of Pollock, Reiter, Loui, Vreeswijk, Prakken, Hage and Dung). More specifically, the author’s work on the dialectical logic DEFLOG and the argumentation tool ARGUMED serve as starting points. (shrink)

Reading through Mechanica1 Intelligence, volume III of Alan Turing's Collected Works, one begins to appreciate just how propitious Turing's timing was. If Turing's major accomplishment in ‘On Computable Numbers’ was to expose the epistemological premises built into formalism, his main achievement in the 1940s was to recognize the extent to which this outlook both harmonized with and extended contemporary psychological thought. Turing sought to synthesize these diverse mathematical and psychological elements so as to forge a union between ‘embodied rules’ and (...) ‘learning programs’. Through their joint service in the Mechanist Thesis each would validate the other: and the frameworks from whence each derived. In this paper I will try to show how Turing's psychological thesis forces us to reassess the consequences of establishing AI on the epistemological foundation that underlies behaviourism. (shrink)

The emperor's new mind (hereafter Emperor) is an attempt to put forward a scientific alternative to the viewpoint of according to which mental activity is merely the acting out of some algorithmic procedure. John Searle and other thinkers have likewise argued that mere calculation does not, of itself, evoke conscious mental attributes, such as understanding or intentionality, but they are still prepared to accept the action the brain, like that of any other physical object, could in principle be simulated by (...) a computer. In Emperor I go further than this and suggest that the outward manifestations ofconscious mental activity cannot even be properly simulated by calculation. To support this view, I use various arguments to show that the results of mathematical insight, in particular, do not seem to be obtained algorithmically. The main thrust ofthis work, however, is to present an overview ofthe present state of physical understanding and to show that an important gap exists at the point where, quantum and classical physics meet, as well as to speculate on how the conscious brain might be taking advantage ofwhatever new physics is needed to fill this gap to achieve its nonalgorithmic effects. (shrink)

In this paper I want to propose an argument to support Jerry Fodor’s thesis (Fodor 1983) that input systems are modular and thus informationally encapsulated. The argument starts with the suggestion that there is a “grounding problem” in perception, i. e. that there is a problem in explaining how perception that can yield a visual experience is possible, how sensation can become meaningful perception of something for the subject. Given that visual experience is actually possible, this invites a transcendental argument (...) that explains the conditions of its possibility. I propose that one of these conditions is the existence of a visual module in Fodor’s sense that allows the step from sensation to object-identifying perception, thus enabling visual experience. It seems to follow that there is informationally encapsulated nonconceptual content in visual perception. (shrink)