There are many branches of philosophy called “the philosophy of X,” where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there are many courses and texts with that title. Surprisingly, the philosophy of computer science is not nearly as well-developed. This article proposes topics that might constitute the philosophy of computer science and describes a course covering those topics, along with suggested readings and assignments.

What is computer art? Do the concepts we usually employ to talk about art, such as ‘meaning’, ‘form’ or ‘expression’ apply to computer art? _A Philosophy of Computer Art_ is the first book to explore these questions. Dominic Lopes argues that computer art challenges some of the basic tenets of traditional ways of thinking about and making art and that to understand computer art we need to place particular emphasis on terms such as ‘interactivity’ and ‘user’. Drawing on a (...) wealth of examples he also explains how the roles of the computer artist and computer art user distinguishes them from makers and spectators of traditional art forms and argues that computer art allows us to understand better the role of technology as an art medium. (shrink)

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 and information, and their philosophy in the broad sense, play a most important scientific, technological and conceptual role in our world. This book collects together, for the first time, the views and experiences of some of the visionary pioneers and most influential thinkers in such a fundamental area of our intellectual development.

The prelims comprise: Introduction: Two Semantic Projects History The Uses of Semantics Conclusions.

Immanuel Kant famously defined philosophy to be about three questions: “What can I know? What should I do? What can I hope for?” (KrV, B833). I want to suggest that the three questions of our course on the philosophy of computing are: What is computing? What should we do with computing? What could computing do?

Simulation modeling, the core thesis of Calculated Surprises, is transforming the established conception of mathematical modeling in fundamental ways. These transformations feed back into philosophy of science, opening up new perspectives on longstanding oppositions. The book integrates historical features with both practical case studies and broad reflections on science and technology.

In this paper I argue that whether or not a computer can be built that passes the Turing test is a central question in the philosophy of mind. Then I show that the possibility of building such a computer depends on open questions in the philosophy of computer science: the physical Church-Turing thesis and the extended Church-Turing thesis. I use the link between the issues identified in philosophy of mind and philosophy of computer science to respond (...) to a prominent argument against the possibility of building a machine that passes the Turing test. Finally, I respond to objections against the proposed link between questions in the philosophy of mind and philosophy of computer science. (shrink)

We present the methodological principles underlying the scientific activities of the DHST Commission on the History and Philosophy of Computing. This volume collects refereed selected papers from the First International Conference organized by the Commission.

From the philosopher’s perspective, the interest in quantum computation stems primarily from the way that it combines fundamental concepts from two distinct sciences: Physics, in particular Quantum Mechanics, and Computer Science, each long a subject of philosophical speculation and analysis in its own right. Quantum computing combines both of these more traditional areas of inquiry into one wholly new, if not quite independent, science. Over the course of this chapter we will be discussing some of the most important philosophical (...) questions that arise from this merger and philosophical lessons to be learned. (shrink)

By applying research in artificial intelligence to problems in the philosophy of science, Paul Thagard develops an exciting new approach to the study of scientific reasoning. This approach uses computational ideas to shed light on how scientific theories are discovered, evaluated, and used in explanations. Thagard describes a detailed computational model of problem solving and discovery that provides a conceptually rich yet rigorous alternative to accounts of scientific knowledge based on formal logic, and he uses it to illuminate such (...) topics as the nature of concepts, hypothesis formation, analogy, and theory justification. (shrink)

This Guide provides an ambitious state-of-the-art survey of the fundamental themes, problems, arguments and theories constituting the philosophy of computing.

This paper introduces the _Global Philosophy_ symposium on Giuseppe Primiero’s book _On the Foundations of Computing_ (2020). The collection gathers commentaries and responses of the author with the aim of engaging with some open questions in the philosophy of computer science. Firstly, this paper introduces the central themes addressed in Primiero’s book; secondly, it highlights some of the main critiques from commentators in order to, finally, pinpoint some conceptual challenges indicating future directions for the philosophy of computer science.

The seven articles that constitute this special issue illustrate scholarly interactions between philosophy and game studies. The wide range of game types/genres and the multiple philosophical issues concerning them are rich and productive. They indicate well the significant contribution that philosophical approaches can make to further development of scholarly understandings of computer games and gaming. Each article breaks new conceptual ground in ways likely to resonate within the new discipline of computer game studies but also, beyond this, in other (...) disciplinary fields wherein video games and digital entertainment cannot be ignored. All are either original works submitted in response to an open call for contributions, or reworked versions of papers presented at earlier Philosophy of Computer Games conferences, and not previously published elsewhere. (shrink)

We present a review of Raymond Turner’s Book Computational Artifacts – Towards a Philosophy of Computer Science, focusing on three main topics: Design, Malfunction, and Validity.

This book features papers from CEPE-IACAP 2015, a joint international conference focused on the philosophy of computing. Inside, readers will discover essays that explore current issues in epistemology, philosophy of mind, logic, and philosophy of science from the lens of computation. Coverage also examines applied issues related to ethical, social, and political interest. -/- The contributors first explore how computation has changed philosophical inquiry. Computers are now capable of joining humans in exploring foundational issues. Thus, we (...) can ponder machine-generated explanation, thought, agency, and other quite fascinating concepts. The papers are also concerned with normative aspects of the computer and information technology revolution. They examine technology-specific analyses of key challenges, from Big Data to autonomous robots to expert systems for infrastructure control and financial services. -/- The virtue of a collection that ranges over philosophical questions, such as this one does, lies in the prospects for a more integrated understanding of issues. These are early days in the partnership between philosophy and information technology. Philosophers and researchers are still sorting out many foundational issues. They will need to deploy all of the tools of philosophy to establish this foundation. This volume admirably showcases those tools in the hands of some excellent scholars. -/- . (shrink)

The birth, growth, stabilization and subsequent understanding of a new field of practical and theoretical enquiry is always a conceptual process including several typologies of events, phenomena an...

Colburn (computer science, U. of Minnesota-Duluth) has a doctorate in philosophy and an advanced degree in computer science; he's worked as a philosophy professor, a computer programmer, and a research scientist in artificial intelligence. Here he discusses the philosophical foundations of artificial intelligence; the new encounter of science and philosophy (logic, models of the mind and of reasoning, epistemology); and the philosophy of computer science (touching on math, abstraction, software, and ontology).

What is a game? What are we doing when we play a game? What is the value of playing games? Several different philosophical subdisciplines have attempted to answer these questions using very distinctive frameworks. Some have approached games as something like a text, deploying theoretical frameworks from the study of narrative, fiction, and rhetoric to interrogate games for their representational content. Others have approached games as artworks and asked questions about the authorship of games, about the ontology of the work (...) and its performance. Yet others, from the philosophy of sport, have focused on normative issues of fairness, rule application, and competition. The primary purpose of this article is to provide an overview of several different philosophical approaches to games and, hopefully, demonstrate the relevance and value of the different approaches to each other. Early academic attempts to cope with games tried to treat games as a subtype of narrative and to interpret games exactly as one might interpret a static, linear narrative. A faction of game studies, self-described as “ludologists,” argued that games were a substantially novel form and could not be treated with traditional tools for narrative analysis. In traditional narrative, an audience is told and interprets the story, where in a game, the player enacts and creates the story. Since that early debate, theorists have attempted to offer more nuanced accounts of how games might achieve similar ends to more traditional texts. For example, games might be seen as a novel type of fiction, which uses interactive techniques to achieve immersion in a fictional world. Alternately, games might be seen as a new way to represent causal systems, and so a new way to criticize social and political entities. Work from contemporary analytic philosophy of art has, on the other hand, asked questions whether games could be artworks and, if so, what kind. Much of this debate has concerned the precise nature of the artwork, and the relationship between the artist and the audience. Some have claimed that the audience is a cocreator of the artwork, and so games are a uniquely unfinished and cooperative art form. Others have claimed that, instead, the audience does not help create the artwork; rather, interacting with the artwork is how an audience member appreciates the artist's finished production. Other streams of work have focused less on the game as a text or work, and more on game play as a kind of activity. One common view is that game play occurs in a “magic circle.” Inside the magic circle, players take on new roles, follow different rules, and actions have different meanings. Actions inside the magic circle do not have their usual consequences for the rest of life. Enemies of the magic circle view have claimed that the view ignores the deep integration of game life from ordinary life and point to gambling, gold farming, and the status effects of sports. Philosophers of sport, on the other hand, have approached games with an entirely different framework. This has lead into investigations about the normative nature of games—what guides the applications of rules and how those rules might be applied, interpreted, or even changed. Furthermore, they have investigated games as social practices and as forms of life. (shrink)

The quality of doctoral-level chemistry (N=145), computer science (N=58), geoscience (N=91), mathematics (N=115), physics (N=123), and statistics/biostatistics (N=64) programs at United States universities was assessed, using 16 measures. These measures focused on variables related to: program size; characteristics of graduates; reputational factors (scholarly quality of faculty, effectiveness of programs in educating research scholars/scientists, improvement in program quality during the last 5 years); university library size; research support; and publication records. Chapter I discusses prior attempts to assess quality in graduate education, (...) development of the study plans, and the selection of disciplines and programs to be evaluated. Chapter II discusses the methodology used, focusing on each of the assessment measures. Chapters III to VIII present, respectively, findings from the analyses of the chemistry, computer science, geoscience, mathematics, physics, and statistics/biostatistics programs. Chapter IX includes a summary of results, correlations among measures, several additional analyses, and suggestions for future studies. Among the findings reported are those indicating that mathematics programs had, on the average, the largest number of faculty (N=33) in December 1980 followed closely by physics (N=28) and chemistry (N=23), and that 80 percent of computer science students had job commitments by graduation. (Survey instruments and supporting documentation are included in appendices.) (JN). (shrink)

This thesis explores the foundations of cognition. I present, analyze, and defend the claim of Computationalism, which states that cognition reduces to computations. I show how various objections, in particular Searle's Chinese Room argument, are flawed due to a deep confusion regarding the nature of computation. In my defense of Computationalism, I appeal to the notion of emergence, which is a notion that I analyze in detail, since it has been suggested that emergence can solve the problem of consciousness. I (...) argue against this latter suggestion, proposing an alternative view on consciousness instead. (shrink)

This dissertation is a contribution to formal and computational philosophy. -/- In the first part, we show that by exploiting the parallels between large, yet finite lotteries on the one hand and countably infinite lotteries on the other, we gain insights in the foundations of probability theory as well as in epistemology. Case 1: Infinite lotteries. We discuss how the concept of a fair finite lottery can best be extended to denumerably infinite lotteries. The solution boils down to the (...) introduction of infinitesimal probability values, which can be achieved using non-standard analysis. Our solution can be generalized to uncountable sample spaces, giving rise to a Non-Archimedean Probability (NAP) theory. Case 2: Large but finite lotteries. We propose application of the language of relative analysis (a type of non-standard analysis) to formulate a new model for rational belief, called Stratified Belief. This contextualist model seems well-suited to deal with a concept of beliefs based on probabilities ‘sufficiently close to unity’. -/- The second part presents a case study in social epistemology. We model a group of agents who update their opinions by averaging the opinions of other agents. Our main goal is to calculate the probability for an agent to end up in an inconsistent belief state due to updating. To that end, an analytical expression is given and evaluated numerically, both exactly and using statistical sampling. The probability of ending up in an inconsistent belief state turns out to be always smaller than 2%. (shrink)

Luciano Floridi presents a book that will set the agenda for the philosophy of information. PI is the philosophical field concerned with the critical investigation of the conceptual nature and basic principles of information, including its dynamics, utilisation, and sciences, and the elaboration and application of information-theoretic and computational methodologies to philosophical problems. This book lays down, for the first time, the conceptual foundations for this new area of research. It does so systematically, by pursuing three goals. Its metatheoretical (...) goal is to describe what the philosophy of information is, its problems, approaches, and methods. Its introductory goal is to help the reader to gain a better grasp of the complex and multifarious nature of the various concepts and phenomena related to information. Its analytic goal is to answer several key theoretical questions of great philosophical interest, arising from the investigation of semantic information. (shrink)

This cutting edge volume provides an overview of the dynamic new field of cyberphilosophy – the intersection of philosophy and computing.

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)

The philosophy of mind has always been a staple of the philosophy curriculum. But it has never held a more important place than it does today, with both traditional problems and new topics often sparked by the developments in the psychological, cognitive, and computer sciences. Jaegwon Kim’s Philosophy of Mind is the classic, comprehensive survey of the subject. Now in its second edition, Kim explores, maps, and interprets this complex and exciting terrain. Designed as an introduction to (...) the field for upper-level undergraduates and graduate students, Philosophy of Mind focuses on the mind/body problem and related issues, some touching on the status of psychology and cognitive science. The second edition features a new chapter on Cartesian substance dualism-a perspective that has been little discussed in the mainstream philosophy of mind and almost entirely ignored in most introductory books in philosophy of mind. In addition, all the chapters have been revised and updated to reflect the trends and developments of the last decade. Throughout the text, Kim allows readers to come to their own terms with the central problems of the mind. At the same time, the author’s own emerging views are on display and serve to move the discussion forward. Comprehensive, clear, and fair, Philosophy of Mind is a model of philosophical exposition. It is a major contribution to the study and teaching of the philosophy of mind. (shrink)

There are a variety of topics in the philosophy of science that need to be rethought, in varying degrees, after one pays careful attention to the ways in which computer simulations are used in the sciences. There are a number of conceptual issues internal to the practice of computer simulation that can benefit from the attention of philosophers. This essay surveys some of the recent literature on simulation from the perspective of the philosophy of science and argues that (...) philosophers have a lot to learn by paying closer attention to the practice of simulation. (shrink)

The prelims comprise: Introduction Cognitive Modeling Engineering AI Theory of Computation What Computing Adds to Philosophy of Science.

How might philosophy of religion be impacted by developments in computational modeling and social simulation? After briefly describing some of the content and context biases that have shaped traditional philosophy of religion, this article provides examples of computational models that illustrate the explanatory power of conceptually clear and empirically validated causal architectures informed by the bio-cultural sciences. It also outlines some of the material implications of these developments for broader metaphysical and metaethical discussions in philosophy. Computer modeling (...) and simulation can contribute to the reformation of the philosophy of religion in at least three ways: by facilitating conceptual clarity about the role of biases in the emergence and maintenance of phenomena commonly deemed “religious,” by supplying tools that enhance our capacity to link philosophical analysis and synthesis to empirical data in the psychological and social sciences, and by providing material insights for metaphysical hypotheses and metaethical proposals that rely solely on immanent resources. (shrink)

I survey in this article the practical uses of computers in philosophy: except for logic, computers have not yet noticeably improved the quality of philosophizing, research, or pedagogy. They have made work easier. My main interest, however, is in the “substantive” impact that computers may have on philosophical problems, especially in metaphysics. I argue that logic, the notion of decidability, and the theory of computation all predated and did not require modern digital computers. In the philosophy of mind, (...) there has been a persistent conflation of computationalism and physicalism. The two theses can and should be separated. Finally, I suggest that we see glimpses of a new metaphysics based on information and information transformations that goes far beyond the well‐trodden mind‐brain debates. (shrink)