Philosophy of Computer Science
- LAST REVIEWED: 29 May 2019
- LAST MODIFIED: 29 May 2019
- DOI: 10.1093/obo/9780195396577-0224
- LAST REVIEWED: 29 May 2019
- LAST MODIFIED: 29 May 2019
- DOI: 10.1093/obo/9780195396577-0224
Introduction
The subject matter of computer science encompasses a large number of different activities that range from abstract mathematical topics through core engineering practices and scientific investigations. Subsequently, the philosophy of computer science overlaps with the philosophies of mathematics, science, and technology, and the central philosophical concerns of these disciplines all have computational analogues. The ontological status of programs, the nature of computational abstraction, and the kind of knowledge delivered by correctness proofs are central instances. In addition, because of the focus of computer science on formal languages and their semantic interpretation, the philosophy of computer science draws in topics and inspiration from the philosophies of language and mind.
General Overviews
The majority of general overviews cover a broad range of applications and concerns connecting philosophy and computing. However, Turner and Angius 2017, Colburn 2000, and Brey and Søraker 2009 are more focused on computer science and jointly provide a balanced introduction to the subject. Floridi 1999 also includes much relevant material.
Brey, Philip, and Johnny H. Søraker. “Philosophy of Computing and Information Technology.” In Philosophy of Technology and Engineering Sciences. Edited by Antonie Meijers, 1341–1407. Amsterdam: Elsevier, 2009.
DOI: 10.1016/B978-0-444-51667-1.50051-3
This introduction addresses many of the same issues and questions. What kind of things are programs: are they concrete or abstract? What are the main methodologies used in programming and software development? How are they to be evaluated? Is computer science a science, a branch of mathematics, or an engineering discipline? How do the methodologies of computer science compare to the methods used in natural science or in other scientific fields?
Colburn, Timothy R. Philosophy and Computer Science. Armonk, NY: Sharpe, 2000.
The first two parts are devoted to the philosophical concerns of artificial intelligence. The author explores the relationship between artificial intelligence, logic, and its connections with issues in the philosophy of mind. The final section is more narrowly focused on the philosophy of computer science, and, in particular, on the nature of computer science, the ontological status of programs, the role of abstraction in computer science, the methodology of computer science, and the nature of software correctness.
Floridi, Luciano. Philosophy and Computing. New York: Routledge, 1999.
Provides a conceptual analysis of Turing machines and the importance of Turing for the development of computer science. The author introduces computers, programming languages, the internet. He explores databases and their connections with epistemology, and provide an insightful introduction to artificial intelligence via its philosophical implications.
Turner, Raymond, and Nicola Angius. “The Philosophy of Computer Science.” In The Stanford Encyclopedia of Philosophy. Edited by Edward N. Zalta. Stanford, CA: Stanford University, 2017.
The Stanford Encyclopedia article introduces the central concerns of the subject: the ontology of programs, the correctness debate, physical computation, semantics of programming languages, specification, computational explanation and abstraction, methodological and ethical issues associated with programming and software development, and the nature of computer science as a discipline.
Users without a subscription are not able to see the full content on this page. Please subscribe or login.
How to Subscribe
Oxford Bibliographies Online is available by subscription and perpetual access to institutions. For more information or to contact an Oxford Sales Representative click here.
Article
- A Priori Knowledge
- Abduction and Explanatory Reasoning
- Ability
- Abortion
- Abstract Objects
- Action
- Addams, Jane
- Adorno, Theodor
- Aesthetic Hedonism
- Aesthetics, Analytic Approaches to
- Aesthetics, Continental
- Aesthetics, Environmental
- Aesthetics, History of
- African Philosophy, Contemporary
- Alexander, Samuel
- Analytic/Synthetic Distinction
- Anarchism, Philosophical
- Animal Rights
- Anscombe, G. E. M.
- Anthropic Principle, The
- Anti-Natalism
- Applied Ethics
- Aquinas, Thomas
- Argument Mapping
- Art and Emotion
- Art and Knowledge
- Art and Morality
- Artifacts
- Assertion
- Astell, Mary
- Atheism
- Augustine
- Aurelius, Marcus
- Austin, J. L.
- Autonomy
- Bacon, Francis
- Bayesianism
- Beauty
- Belief
- Bergson, Henri
- Berkeley, George
- Biology, Philosophy of
- Bolzano, Bernard
- Boredom, Philosophy of
- British Idealism
- Buber, Martin
- Buddhist Philosophy
- Burge, Tyler
- Business Ethics
- Camus, Albert
- Canterbury, Anselm of
- Carnap, Rudolf
- Causation
- Cavendish, Margaret
- Certainty
- Chemistry, Philosophy of
- Childhood, Philosophy of
- Chinese Philosophy
- Cognitive Ability
- Cognitive Phenomenology
- Cognitive Science, Philosophy of
- Coherentism
- Color
- Communitarianism
- Computational Science
- Computer Science, Philosophy of
- Computer Simulations
- Comte, Auguste
- Concepts
- Conceptual Role Semantics
- Conditionals
- Confirmation
- Confucius
- Connectionism
- Consciousness
- Constructive Empiricism
- Contemporary Hylomorphism
- Contextualism
- Contrastivism
- Cook Wilson, John
- Cosmology, Philosophy of
- Critical Theory
- Culture and Cognition
- Daoism and Philosophy
- Davidson, Donald
- de Beauvoir, Simone
- de Montaigne, Michel
- Death
- Decision Theory
- Deleuze, Gilles
- Democracy
- Depiction
- Derrida, Jacques
- Descartes, René
- Descartes, René: Sensory Representations
- Descriptions
- Dewey, John
- Dialetheism
- Disability
- Disagreement, Epistemology of
- Disjunctivism
- Dispositions
- Divine Command Theory
- Doing and Allowing
- du Châtelet, Emilie
- Dummett, Michael
- Dutch Book Arguments
- Early Modern Philosophy, 1600-1750
- Eastern Orthodox Philosophical Thought
- Education, Philosophy of
- Emotion
- Engineering, Philosophy and Ethics of
- Environmental Philosophy
- Epicurus
- Epistemic Basing Relation
- Epistemic Defeat
- Epistemic Injustice
- Epistemic Justification
- Epistemic Philosophy of Logic
- Epistemology
- Epistemology and Active Externalism
- Epistemology, Bayesian
- Epistemology, Feminist
- Epistemology, Internalism and Externalism in
- Epistemology, Moral
- Epistemology of Education
- Ethical Consequentialism
- Ethical Deontology
- Ethical Intuitionism
- Eugenics and Philosophy
- Events, The Philosophy of
- Evidence
- Evidence-Based Medicine, Philosophy of
- Evidential Support Relation In Epistemology, The
- Evil
- Evolutionary Debunking Arguments in Ethics
- Evolutionary Epistemology
- Experimental Philosophy
- Explanations of Religion
- Extended Mind Thesis, The
- Externalism and Internalism in the Philosophy of Mind
- Faith, Conceptions of
- Fatalism
- Feminist Aesthetics and Feminist Philosophy of Art
- Feminist Philosophy
- Feyerabend, Paul
- Fichte, Johann Gottlieb
- Fiction
- Fictionalism
- Fictionalism in the Philosophy of Mathematics
- Film, Philosophy of
- Foot, Philippa
- Foreknowledge
- Forgiveness
- Formal Epistemology
- Foucault, Michel
- Free Will
- Frege, Gottlob
- Gadamer, Hans-Georg
- Generics
- Geometry, Epistemology of
- God and Possible Worlds
- God, Arguments for the Existence of
- God, The Existence and Attributes of
- Grice, Paul
- Habermas, Jürgen
- Hart, H. L. A.
- Heaven and Hell
- Hegel, Georg Wilhelm Friedrich: Aesthetics
- Hegel, Georg Wilhelm Friedrich: Metaphysics
- Hegel, Georg Wilhelm Friedrich: Philosophy of History
- Hegel, Georg Wilhelm Friedrich: Philosophy of Politics
- Heidegger, Martin: Early Works
- Hermeneutics
- Higher Education, Philosophy of
- History, Philosophy of
- Hobbes, Thomas
- Horkheimer, Max
- Human Rights
- Hume, David: Aesthetics
- Hume, David: Moral and Political Philosophy
- Husserl, Edmund
- Idealizations in Science
- Identity in Physics
- Images
- Imagination
- Imagination and Belief
- Immanuel Kant: Political and Legal Philosophy
- Impossible Worlds
- Incommensurability in Science
- Indian Philosophy
- Indispensability of Mathematics
- Inductive Reasoning
- Infinitism
- Instruments in Science
- Intellectual Humility
- Intentionality, Collective
- Intuitions
- James, William
- Japanese Philosophy
- Kant and the Laws of Nature
- Kant, Immanuel: Aesthetics and Teleology
- Kant, Immanuel: Ethics
- Kant, Immanuel: Theoretical Philosophy
- Kierkegaard, Søren
- Knowledge
- Knowledge-first Epistemology
- Knowledge-How
- Kristeva, Julia
- Kuhn, Thomas S.
- Lacan, Jacques
- Lakatos, Imre
- Langer, Susanne
- Language of Thought
- Language, Philosophy of
- Latin American Philosophy
- Laws of Nature
- Legal Epistemology
- Legal Philosophy
- Legal Positivism
- Leibniz, Gottfried Wilhelm
- Levinas, Emmanuel
- Lewis, C. I.
- Liberty
- Literature, Philosophy of
- Locke, John
- Locke, John: Identity, Persons, and Personal Identity
- Logic
- Lottery and Preface Paradoxes, The
- Lucretius
- Machiavelli, Niccolò
- Martin Heidegger: Later Works
- Martin Heidegger: Middle Works
- Marx, Karl
- Material Constitution
- Mathematical Explanation
- Mathematical Pluralism
- Mathematical Structuralism
- Mathematics, Ontology of
- Mathematics, Philosophy of
- Mathematics, Visual Thinking in
- McDowell, John
- McTaggart, John
- Meaning of Life, The
- Mechanisms in Science
- Medically Assisted Dying
- Medicine, Contemporary Philosophy of
- Medieval Logic
- Medieval Philosophy
- Memory
- Mental Causation
- Mereology
- Merleau-Ponty, Maurice
- Meta-epistemological Skepticism
- Metaepistemology
- Metaethics
- Metametaphysics
- Metaphilosophy
- Metaphor
- Metaphysical Grounding
- Metaphysics, Contemporary
- Metaphysics, Feminist
- Midgley, Mary
- Mill, John Stuart
- Mind, Metaphysics of
- Modal Epistemology
- Modality
- Models and Theories in Science
- Modularity
- Montesquieu
- Moore, G. E.
- Moral Contractualism
- Moral Naturalism and Nonnaturalism
- Moral Responsibility
- Multiculturalism
- Murdoch, Iris
- Music, Analytic Philosophy of
- Nationalism
- Natural Kinds
- Naturalism in the Philosophy of Mathematics
- Naïve Realism
- Neo-Confucianism
- Neuroscience, Philosophy of
- Nietzsche, Friedrich
- Nonexistent Objects
- Normative Ethics
- Normative Foundations, Philosophy of Law:
- Normativity and Social Explanation
- Objectivity
- Occasionalism
- Olfaction
- Ontological Dependence
- Ontology of Art
- Ordinary Objects
- Other Minds
- Pacifism
- Pain
- Panpsychism
- Paradoxes
- Particularism in Ethics
- Pascal, Blaise
- Paternalism
- Patriotism
- Peirce, Charles Sanders
- Perception, Cognition, Action
- Perception, The Problem of
- Perfectionism
- Persistence
- Personal Identity
- Phenomenal Concepts
- Phenomenal Conservatism
- Phenomenology
- Philosophy for Children
- Photography, Analytic Philosophy of
- Physicalism
- Physicalism and Metaphysical Naturalism
- Physics, Experiments in
- Plato
- Plotinus
- Political Epistemology
- Political Obligation
- Political Philosophy
- Popper, Karl
- Pornography and Objectification, Analytic Approaches to
- Practical Knowledge
- Practical Moral Skepticism
- Practical Reason
- Pragmatics
- Pragmatism
- Probabilistic Representations of Belief
- Probability, Interpretations of
- Problem of Divine Hiddenness, The
- Problem of Evil, The
- Propositions
- Psychology, Philosophy of
- Punishment
- Pyrrhonism
- Qualia
- Quietism
- Quine, W. V. O.
- Race
- Racist Jokes
- Rationalism
- Rationality
- Rawls, John: Moral and Political Philosophy
- Realism and Anti-Realism
- Realism, Pictorial
- Realization
- Reasons in Epistemology
- Reductionism in Biology
- Reference, Theory of
- Reid, Thomas
- Relativism
- Reliabilism
- Religion, Philosophy of
- Religious Belief, Epistemology of
- Religious Experience
- Religious Pluralism
- Ricoeur, Paul
- Rights
- Risk, Philosophy of
- Rorty, Richard
- Rousseau, Jean-Jacques
- Rule-Following
- Russell, Bertrand
- Ryle, Gilbert
- Sartre, Jean-Paul
- Schopenhauer, Arthur
- Science and Religion
- Science, Theoretical Virtues in
- Scientific Explanation
- Scientific Progress
- Scientific Realism
- Scientific Representation
- Scientific Revolutions
- Scotus, Duns
- Self-Knowledge
- Sellars, Wilfrid
- Semantic Externalism
- Semantic Minimalism
- Semiotics
- Seneca
- Senses, The
- Sensitivity Principle in Epistemology
- Shepherd, Mary
- Singular Thought
- Situated Cognition
- Situationism and Virtue Theory
- Skepticism, Contemporary
- Skepticism, History of
- Slurs, Pejoratives, and Hate Speech
- Smith, Adam: Moral and Political Philosophy
- Social Aspects of Scientific Knowledge
- Social Epistemology
- Social Identity
- Sounds and Auditory Perception
- Space and Time
- Speech Acts
- Spinoza, Baruch
- Stebbing, Susan
- Strawson, P. F.
- Structural Realism
- Suicide
- Supererogation
- Supervenience
- Tarski, Alfred
- Technology, Philosophy of
- Testimony, Epistemology of
- Theoretical Terms in Science
- Thomas Aquinas' Philosophy of Religion
- Thought Experiments
- Time and Tense
- Time Travel
- Toleration
- Torture
- Transcendental Arguments
- Tropes
- Trust
- Truth
- Truth and the Aim of Belief
- Truthmaking
- Turing Test
- Two-Dimensional Semantics
- Understanding
- Uniqueness and Permissiveness in Epistemology
- Utilitarianism
- Vagueness
- Value of Knowledge
- Vienna Circle
- Virtue Epistemology
- Virtue Ethics
- Virtues, Epistemic
- Virtues, Intellectual
- Voluntarism, Doxastic
- War
- Weakness of Will
- Weil, Simone
- Well-Being
- William of Ockham
- Williams, Bernard
- Wisdom
- Wittgenstein, Ludwig: Early Works
- Wittgenstein, Ludwig: Later Works
- Wittgenstein, Ludwig: Middle Works
- Wollstonecraft, Mary