(Citation/Reference) Williams, S. H. Lewis Carroll handbook.

"The Analysis of Matter" is one of the earliest and best philosophical studies of the new physics of relativity and quantum mechanics.

Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der fonnalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet fUr die Logik eine ahnliche Fonnel­ sprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebrauchlich ist. In der Mathematik wurde es heute als eine Utopie gelten, wollte man beim Aufbau einer mathematischen Disziplin sich nur der gewohnlichen Sprache bedienen. Die groBen Fortschritte, die in der Mathematik seit der Antike gemacht worden sind, sind zum (...) wesentlichen Teil mit dadurch bedingt, daB es gelang, einen brauchbaren und leistungsfahigen Fonnalismus zu finden. - Was durch die Formel­ sprache in der Mathematik erreicht wird, das solI auch in der theoretischen Logik durch diese erzielt werden, namlich eine exakte, wissenschaftliche Behandlung ihres Gegenstandes. Die logischen Sachverhalte, die zwischen Urteilen, Begriffen usw. bestehen, finden ihre Darstellung durch Formeln, deren Interpretation frei ist von den Unklarheiten, die beim sprachlichen Ausdruck leicht auftreten konnen. Der Dbergang zu logischen Folgerungen, wie er durch das SchlieBen geschieht, wird in seine letzten Elemente zerlegt und erscheint als fonnale Umgestaltung der Ausgangsfonneln nach gewissen Regeln, die den Rechenregeln in der Algebra analog sind; das logische Denken findet sein Abbild in einem LogikkalkUl. Dieser Kalkiil macht die erfolgreiche Inangriffnahme von Problemen moglich, bei denen das rein inhaltliche Denken prinzipiell versagt. Zu diesen gehort z. B. (shrink)

The new art of videogames -- What are videogames anyway? -- On definition -- Theories of gaming -- A definition of videogames -- Videogames and fiction -- From tennis for two to worlds of warcraft -- Imaginary worlds and works of fiction -- Fictional or virtual? -- Interactive fiction -- Stepping into fictional worlds -- Welcome to rapture -- Meet niko bellic -- Experiencing game worlds -- Acting in game worlds -- Games through fiction -- The nature of gaming -- (...) What are the rules of this game? -- Playing, cheating, fragging, and griefing -- Videogames and narrative -- The stories games tell -- Would you kindly put down that wrench? -- Reconciling games and narratives -- Emotion in videogaming -- How can we be moved by the fate of Niko Bellic? -- My fear of mutants -- The role of the emotions in gaming -- The morality of videogames -- The problem with crime simulators -- Are games bad for you? -- On being offensive -- Sticking up for videogames -- Videogames as art -- Are videogames art? -- A cluster theory of art -- The art in videogames -- New art from old bottles. (shrink)

Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Godel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of (...) philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gode1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Godel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.". (shrink)

Can thought arise out of matter? Can self, soul, consciousness, “I” arise out of mere matter? If it cannot, then how can you or I be here? I Am a Strange Loop argues that the key to understanding selves and consciousness is the “strange loop”—a special kind of abstract feedback loop inhabiting our brains. The most central and complex symbol in your brain is the one called “I.” The “I” is the nexus in our brain, one of many symbols seeming (...) to have free will and to have gained the paradoxical ability to push particles around, rather than the reverse. How can a mysterious abstraction be real—or is our “I” merely a convenient fiction? Does an “I” exert genuine power over the particles in our brain, or is it helplessly pushed around by the laws of physics? These are the mysteries tackled in I Am a Strange Loop, Douglas Hofstadter's first book-length journey into philosophy since Gödel, Escher, Bach. Compulsively readable and endlessly thought-provoking, this is a moving and profound inquiry into the nature of mind. (shrink)

Includes chapters on scientific language, mathematics, probability, credibility and induction, scientific explanations, life, and science and values.

Singularity Hypotheses: A Scientific and Philosophical Assessment offers authoritative, jargon-free essays and critical commentaries on accelerating technological progress and the notion of technological singularity. It focuses on conjectures about the intelligence explosion, transhumanism, and whole brain emulation. Recent years have seen a plethora of forecasts about the profound, disruptive impact that is likely to result from further progress in these areas. Many commentators however doubt the scientific rigor of these forecasts, rejecting them as speculative and unfounded. We therefore invited prominent (...) computer scientists, physicists, philosophers, biologists, economists and other thinkers to assess the singularity hypotheses. Their contributions go beyond speculation, providing deep insights into the main issues and a balanced picture of the debate. (shrink)

A scientific community cannot practice its trade without some set of received beliefs. These beliefs form the foundation of the "educational initiation that prepares and licenses the student for professional practice". The nature of the "rigorous and rigid" preparation helps ensure that the received beliefs are firmly fixed in the student's mind. Scientists take great pains to defend the assumption that scientists know what the world is like...To this end, "normal science" will often suppress novelties which undermine its foundations. Research (...) is therefore not about discovering the unknown, but rather "a strenuous and devoted attempt to force nature into the conceptual boxes supplied by professional education". (shrink)

Thomas S. Kuhn's classic book is now available with a new index.

The philosophy of computer science is concerned with issues that arise from reflection upon the nature and practice of the discipline of computer science. This book presents an approach to the subject that is centered upon the notion of computational artefact. It provides an analysis of the things of computer science as technical artefacts. Seeing them in this way enables the application of the analytical tools and concepts from the philosophy of technology to the technical artefacts of computer science. With (...) this conceptual framework the author examines some of the central philosophical concerns of computer science including the foundations of semantics, the logical role of specification, the nature of correctness, computational ontology and abstraction, formal methods, computational epistemology and explanation, the methodology of computer science, and the nature of computation. The book will be of value to philosophers and computer scientists. (shrink)

Computing, today more than ever before, is a multi-faceted discipline which collates several methodologies, areas of interest, and approaches: mathematics, engineering, programming, and applications. Given its enormous impact on everyday life, it is essential that its debated origins are understood, and that its different foundations are explained. On the Foundations of Computing offers a comprehensive and critical overview of the birth and evolution of computing, and it presents some of the most important technical results and philosophical problems of the discipline, (...) combining both historical and systematic analyses. -/- The debates this text surveys are among the latest and most urgent ones: the crisis of foundations in mathematics and the birth of the decision problem, the nature of algorithms, the debates on computational artefacts and malfunctioning, and the analysis of computational experiments. By covering these topics, On the Foundations of Computing provides a much-needed resource to contextualize these foundational issues. -/- For practitioners, researchers, and students alike, a historical and philosophical approach such as what this volume offers becomes essential to understand the past of the discipline and to figure out the challenges of its future. (shrink)

A history of western philosophy from Descartes to the French Revolution.

First published in 1974. Despite the tendency of contemporary analytic philosophy to put logic and mathematics at a central position, the author argues it failed to appreciate or account for their rich content. Through discussions of such mathematical concepts as number, the continuum, set, proof and mechanical procedure, the author provides an introduction to the philosophy of mathematics and an internal criticism of the then current academic philosophy. The material presented is also an illustration of a new, more general method (...) of approach called substantial factualism which the author asserts allows for the development of a more comprehensive philosophical position by not trivialising or distorting substantial facts of human knowledge. (shrink)

The aim of this paper is to evaluate etiological accounts of functions for the domain of technical artefacts. Etiological theories ascribe functions to items on the basis of the causal histories of those items; they apply relatively straightforwardly to the biological domain, in which neo-Darwinian evolutionary theory provides a well-developed and generally accepted background for describing the causal histories of biological items. Yet there is no well-developed and generally accepted theory for describing the causal history of artefacts, so the application (...) of etiological theories to the technical domain is hardly straightforward. In this paper we consider the transposition of etiological theories in general from the biological to the technical domain. We argue that a number of etiological theories that appear defensible for biology become untenable for technology. We illustrate our argument by showing that the standard etiological accounts of Neander and Millikan, and some recent attempts to improve on them, provide examples of such untenable theories. 1 Introduction 2 Desiderata for theories of functions 3 Etiological theories in general 3.1 Common core and divergent aims 3.2 Reproduction versus non-reproduction etiological theories 3.3 Intentionalist versus non-intentionalist etiological theories 4 Problems for etiological theories in the technical domain 5 The failure of existing reproduction theories 6 The failure of existing non-reproduction theories 7 Improving reproduction by hybridisation 8 Conclusions. (shrink)

We document the influence on programming language semantics of the Platonism/formalism divide in the philosophy of mathematics.

The specification and implementation of computational artefacts occurs throughout the discipline of computer science. Consequently, unpacking its nature should constitute one of the core areas of the philosophy of computer science. This paper presents a conceptual analysis of the central role of specification in the discipline.

Since the birth of computing as an academic discipline, the disciplinary identity of computing has been debated fiercely. The most heated question has concerned the scientific status of computing. Some consider computing to be a natural science and some consider it to be an experimental science. Others argue that computing is bad science, whereas some say that computing is not a science at all. This survey article presents viewpoints for and against computing as a science. Those viewpoints are analyzed against (...) basic positions in the philosophy of science. The article aims at giving the reader an overview, background, and a historical and theoretical frame of reference for understanding and interpreting some central questions in the debates about the disciplinary identity of computer science. The article argues that much of the discussion about the scientific nature of computing is misguided due to a deep conceptual uncertainty about science in general as well as computing in particular. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Videogames and Interactive FictionGrant TavinorIIn the third-person crime simulator Grand Theft Auto 3, the fictional performing of all sorts of criminal nuisance is a possibility. (Squeamish readers, or those that are adamant videogames are playing a decisive role in the moral degeneration of modern society might want to turn away now!) Here is one possibility for players of the game: while driving around in the rundown red-light district of (...) Portland Island, try stopping beside one of the women dressed in leather dresses and knee-high stockings who say things like "Have you ever been down south?" The fictional woman will bend down to the car window and eventually hop in. Now drive to a secluded area, stop the car, and wait. What happens? The car begins to rock up and down, slowly at first, and then more quickly, squeaking all the while. As it does, your health meter increases and the cash meter decreases. Eventually, after the car has stopped rocking, the prostitute exits and walks away. This is all obviously of questionable taste. But the really horrible part is that it is possible to mug the prostitute and take back your money!Though I am reluctant to tell you this, the first time I discovered the trick, I felt a sort of sadistic joy at my reprehensible behavior. Friends in the room at the time thought the whole incident hilarious; except for one who thought it extremely revolting. Perhaps now though, I feel guilty for what I did to the prostitute. (Hence my reluctance to let you know of my sinister fictional activities!) Of course, this episode raises a host of ethical questions; I will not attempt to answer them here. What I am interested in is the possibility of fictional interaction itself. The important point is that this fictive episode seems to show that it is possible in the case of videogames to feel guilty or ashamed for what one [End Page 24] does in a fictional world. But how is this possible? What does interacting with a videogame amount to that it allows for this intimate (and dubious) emotional connection?There is a wide and impressive literature in the analytic philosophy of the arts concerning the nature of fiction and the practice that surrounds it; this literature gives us an ideal theoretical basis from which to explore the topic of videogames. But also, videogames will allow us to return our attention to the theory, perhaps perceiving areas in which it can be improved, so as to become more generally applicable. I begin this paper by setting out some initial descriptive examples of the ways in which videogames are interactive fictions. After discussing an ambiguity in the notion of what it is to interact with a fiction, I deal with two prominent aspects of that interaction; that focused on fictive props, and the apparent interaction players have with fictional worlds. Next, I argue that the interactive nature of videogames alters the character of our interest in them. Rather than a focus on interpretive and sympathetic engagement with narratives, videogames involve their appreciators in an active engagement with the problem spaces or kinetic narratives of gameplay. Finally, I argue that because action and emotion are close cognitive bedfellows, and because emotion plays an important role in the psychology of fictive practice, that the emotions experienced by videogame players will be distinctive to that fictive form.IIVideogames provide their players with a variety of opportunities for interactive engagement. The last ten years have seen significant development in the extent of the fictive interactivity of videogames, especially with the advent of the "next generation" consoles such as Playstation 2 and X-Box, and the burgeoning genre of PC gaming. With the intention of providing some descriptive substance for the following theoretical discussions, in this section I present some examples of the ways in which modern videogames are interactive fictions, and how they differ to more traditional fictive forms in this respect.Many videogames involve exploring an environment. In Grand Theft Auto 3, the player, in the guise of a criminal protagonist, is able to explore the streets of Liberty City. Completing the objectives of the... (shrink)

The purpose of this article is to examine aspects of the development of the concept and theory of computability through the theory of recursive functions. Following a brief introduction, Section 2 is devoted to the presuppositions of computability. It focuses on certain concepts, beliefs and theorems necessary for a general property of computability to be formulated and developed into a mathematical theory. The following two sections concern situations in which the presuppositions were realized and the theory of computability was developed. (...) It is suggested in Section 3 that a central item was the problem of generalizing Gödel's incompleteness theorem. It is shown that this involved both the characterization of recursiveness and the attempt to clarify and formulate the notion of an effective process as it relates to the syntax of deductive systems. Section 4 concerns the decision problems which grew from the Hilbert program. Section 5 is devoted to the development of an informal' technique in the theory of computability often called ?argument by Church's thesis? (shrink)

I use modal logic and transfinite set-theory to define metaphysical foundations for a general theory of computation. A possible universe is a certain kind of situation; a situation is a set of facts. An algorithm is a certain kind of inductively defined property. A machine is a series of situations that instantiates an algorithm in a certain way. There are finite as well as transfinite algorithms and machines of any degree of complexity (e.g., Turing and super-Turing machines and more). There (...) are physically and metaphysically possible machines. There is an iterative hierarchy of logically possible machines in the iterative hierarchy of sets. Some algorithms are such that machines that instantiate them are minds. So there is an iterative hierarchy of finitely and transfinitely complex minds. (shrink)

Engineering is often said to be ‘scientific’, but the nature of knowledge in engineering is different to science. Engineering has a different ontological basis—its theories address different entities and are judged by different criteria. In this paper I use Popper’s three worlds ontological framework to propose a model of engineering theories, and provide an abstract logical view of engineering theories analogous to the deductive-nomological view of scientific theories. These models frame three key elements from definitions of engineering: requirements, designs of (...) artefacts, and theories for reasoning about how artefacts will meet requirements. In a subsequent paper I use this ontological basis to explore methodological issues in the growth of engineering knowledge from the perspective of critical rationalism. (shrink)

Engineering deals with different problem situations than science, and theories in engineering are different to theories in science. So, the growth of knowledge in engineering is also different to that in science. Nonetheless, methodological issues in engineering epistemology can be explored by adapting frameworks already established in the philosophy of science. In this paper I use critical rationalism and Popper’s three worlds framework to investigate error elimination and the growth of knowledge in engineering. I discuss engineering failure arising from the (...) falsification of engineering theories, and present taxonomies of the sources of falsification and responses to falsification in engineering. From this I discuss contexts of research and design in engineering, ad hoc rescue of engineering theories, and engineering assurance. (shrink)

The ‘received view’ about computation is that all computations must involve representational content. Egan and Piccinini argue against the received view. In this paper, I focus on Egan’s arguments, claiming that they fall short of establishing that computations do not involve representational content. I provide positive arguments explaining why computation has to involve representational content, and how that representational content may be of any type. I also argue that there is no need for computational psychology to be individualistic. Finally, I (...) draw out a number of consequences for computational individuation, proposing necessary conditions on computational identity and necessary and sufficient conditions on computational I/O equivalence of physical systems.Keywords: Computation; Representation; Computational identity; Explanation; Narrow content; Physical computation. (shrink)

If, as a number of writers have predicted, the computers of the future will possess intelligence and capacities that exceed our own then it seems as though they will be worthy of a moral respect at least equal to, and perhaps greater than, human beings. In this paper I propose a test to determine when we have reached that point. Inspired by Alan Turing’s (1950) original “Turing test”, which argued that we would be justified in conceding that machines could think (...) if they could fill the role of a person in a conversation, I propose a test for when computers have achieved moral standing by asking when a computer might take the place of a human being in a moral dilemma, such as a “triage” situation in which a choice must be made as to which of two human lives to save. We will know that machines have achieved moral standing comparable to a human when the replacement of one of these people with an artificial intelligence leaves the character of the dilemma intact. That is, when we might sometimes judge that it is reasonable to preserve the continuing existence of a machine over the life of a human being. This is the “Turing Triage Test”. I argue that if personhood is understood as a matter of possessing a set of important cognitive capacities then it seems likely that future AIs will be able to pass this test. However this conclusion serves as a reductio of this account of the nature of persons. I set out an alternative account of the nature of persons, which places the concept of a person at the centre of an interdependent network of moral and affective responses, such as remorse, grief and sympathy. I argue that according to this second, superior, account of the nature of persons, machines will be unable to pass the Turing Triage Test until they possess bodies and faces with expressive capacities akin to those of the human form. (shrink)

The United States Army’s Future Combat Systems Project, which aims to manufacture a “robot army” to be ready for deployment by 2012, is only the latest and most dramatic example of military interest in the use of artificially intelligent systems in modern warfare. This paper considers the ethics of a decision to send artificially intelligent robots into war, by asking who we should hold responsible when an autonomous weapon system is involved in an atrocity of the sort that would normally (...) be described as a war crime. A number of possible loci of responsibility for robot war crimes are canvassed; the persons who designed or programmed the system, the commanding officer who ordered its use, the machine itself. I argue that in fact none of these are ultimately satisfactory. Yet it is a necessary condition for fighting a just war, under the principle of jus in bellum, that someone can be justly held responsible for deaths that occur in the course of the war. As this condition cannot be met in relation to deaths caused by an autonomous weapon system it would therefore be unethical to deploy such systems in warfare. (shrink)

We begin with the history of the discovery of computability in the 1930’s, the roles of Gödel, Church, and Turing, and the formalisms of recursive functions and Turing automatic machines . To whom did Gödel credit the definition of a computable function? We present Turing’s notion [1939, §4] of an oracle machine and Post’s development of it in [1944, §11], [1948], and finally Kleene-Post [1954] into its present form. A number of topics arose from Turing functionals including continuous functionals on (...) Cantor space and online computations. Almost all the results in theoretical computability use relative reducibility and o-machines rather than a-machines and most computing processes in the real world are potentially online or interactive. Therefore, we argue that Turing o-machines, relative computability, and online computing are the most important concepts in the subject, more so than Turing a-machines and standard computable functions since they are special cases of the former and are presented first only for pedagogical clarity to beginning students. At the end in §10–§13 we consider three displacements in computability theory, and the historical reasons they occurred. Several brief conclusions are drawn in §14. (shrink)

We consider the informal concept of "computability" or "effective calculability" and two of the formalisms commonly used to define it, "(Turing) computability" and "(general) recursiveness". We consider their origin, exact technical definition, concepts, history, general English meanings, how they became fixed in their present roles, how they were first and are now used, their impact on nonspecialists, how their use will affect the future content of the subject of computability theory, and its connection to other related areas. After a careful (...) historical and conceptual analysis of computability and recursion we make several recommendations in section §7 about preserving the intensional differences between the concepts of "computability" and "recursion." Specifically we recommend that: the term "recursive" should no longer carry the additional meaning of "computable" or "decidable;" functions defined using Turing machines, register machines, or their variants should be called "computable" rather than "recursive;" we should distinguish the intensional difference between Church's Thesis and Turing's Thesis, and use the latter particularly in dealing with mechanistic questions; the name of the subject should be "Computability Theory" or simply Computability rather than "Recursive Function Theory.". (shrink)