Switch to: Citations

References in:

The philosophy of computer science

Stanford Encyclopedia of Philosophy (2013)

Add references

You must login to add references.
  1. Wittgenstein on rules and private language: an elementary exposition.Saul A. Kripke - 1982 - Cambridge: Harvard University Press.
    In this book Saul Kripke brings his powerful philosophical intelligence to bear on Wittgenstein's analysis of the notion of following a rule.
    Download  
     
    Export citation  
     
    Bookmark   758 citations  
  • The Problems of Philosophy.Bertrand Russell - 1912 - Portland, OR: Home University Library.
    Bertrand Russell was one of the greatest logicians since Aristotle, and one of the most important philosophers of the past two hundred years. As we approach the 125th anniversary of the Nobel laureate's birth, his works continue to spark debate, resounding with unmatched timeliness and power. The Problems of Philosophy, one of the most popular works in Russell's prolific collection of writings, has become core reading in philosophy. Clear and accessible, this little book is an intelligible and stimulating guide to (...)
    Download  
     
    Export citation  
     
    Bookmark   421 citations  
  • A Symbolic Analysis of Relay and Switching Circuits.Claude E. Shannon - 1939 - Journal of Symbolic Logic 4 (2):103-103.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Computers and Automata.Claude E. Shannon - 1954 - Journal of Symbolic Logic 19 (2):140-141.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Mathematical Logic.Mariko Yasugi - 1967 - Journal of Symbolic Logic 35 (3):438-440.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.
    Download  
     
    Export citation  
     
    Bookmark   170 citations  
  • Principles of Mathematical Logic.G. Zubieta R. - 1951 - Journal of Symbolic Logic 16 (1):52-53.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Computability by Probabilistic Machines.K. de Leeuw, E. F. Moore, C. E. Shannon & N. Shapiro - 1970 - Journal of Symbolic Logic 35 (3):481-482.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Computability & Unsolvability.Clifford Spector - 1958 - Journal of Symbolic Logic 23 (4):432-433.
    Download  
     
    Export citation  
     
    Bookmark   105 citations  
  • Intentional Systems Theory.Daniel Dennett - 2007 - In Brian P. McLaughlin, Ansgar Beckermann & Sven Walter (eds.), The Oxford handbook of philosophy of mind. New York: Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  • Plato and a platypus walk into a bar--: understanding philosophy through jokes.Thomas Cathcart - 2006 - New York: Penguin Books. Edited by Daniel M. Klein.
    Philogagging: an introduction -- Metaphysics -- Logic -- Epistemology -- Ethics -- Philosophy of religion -- Existentialism -- Philosophy of language -- Social and political philosophy -- Relativity -- Meta-philosophy -- Summa time : a conclusion -- Final exam -- Great moments in the history of philosophy.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Second treatise on government.John Locke - 2007 - In Elizabeth Schmidt Radcliffe, Richard McCarty, Fritz Allhoff & Anand Vaidya (eds.), Late modern philosophy: essential readings with commentary. Oxford: Wiley-Blackwell.
    Download  
     
    Export citation  
     
    Bookmark   163 citations  
  • The singularity: A philosophical analysis.David J. Chalmers - 2010 - Journal of Consciousness Studies 17 (9-10):9 - 10.
    What happens when machines become more intelligent than humans? One view is that this event will be followed by an explosion to ever-greater levels of intelligence, as each generation of machines creates more intelligent machines in turn. This intelligence explosion is now often known as the “singularity”. The basic argument here was set out by the statistician I.J. Good in his 1965 article “Speculations Concerning the First Ultraintelligent Machine”: Let an ultraintelligent machine be defined as a machine that can far (...)
    Download  
     
    Export citation  
     
    Bookmark   118 citations  
  • Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge: MIT Press.
    Download  
     
    Export citation  
     
    Bookmark   482 citations  
  • Republic. Plato - 1993 - Princeton: Hackett Publishing. Edited by Robin Waterfield.
    The edition includes a select bibliography, a synopsis of each book, a glossary of terms, a glossary and index of names, and a general index.
    Download  
     
    Export citation  
     
    Bookmark   174 citations  
  • Republic.Robin Waterfield (ed.) - 1993 - New York: Oxford University Press.
    A model for the ideal state includes discussion of the nature and application of justice, the role of the philosopher in society, the goals of education, and the effects of art upon character.
    Download  
     
    Export citation  
     
    Bookmark   221 citations  
  • Godel, Escher, Bach: An Eternal Golden Braid.Douglas Richard Hofstadter - 1979 - Hassocks, England: Basic Books.
    A young scientist and mathematician explores the mystery and complexity of human thought processes from an interdisciplinary point of view.
    Download  
     
    Export citation  
     
    Bookmark   509 citations  
  • Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.
    Classic text considersgeneral theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more.
    Download  
     
    Export citation  
     
    Bookmark   120 citations  
  • Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
    8.3 The consistency proof -- 8.4 Applications of the consistency proof -- 8.5 Second-order arithmetic -- Problems -- Chapter 9: Set Theory -- 9.1 Axioms for sets -- 9.2 Development of set theory -- 9.3 Ordinals -- 9.4 Cardinals -- 9.5 Interpretations of set theory -- 9.6 Constructible sets -- 9.7 The axiom of constructibility -- 9.8 Forcing -- 9.9 The independence proofs -- 9.10 Large cardinals -- Problems -- Appendix The Word Problem -- Index.
    Download  
     
    Export citation  
     
    Bookmark   222 citations  
  • The aim and structure of physical theory.Pierre Maurice Marie Duhem - 1954 - Princeton,: Princeton University Press.
    This classic work in the philosophy of physical science is an incisive and readable account of the scientific method. Pierre Duhem was one of the great figures in French science, a devoted teacher, and a distinguished scholar of the history and philosophy of science. This book represents his most mature thought on a wide range of topics.
    Download  
     
    Export citation  
     
    Bookmark   562 citations  
  • Is the brain a digital computer?John R. Searle - 1990 - Proceedings and Addresses of the American Philosophical Association 64 (3):21-37.
    There are different ways to present a Presidential Address to the APA; the one I have chosen is simply to report on work that I am doing right now, on work in progress. I am going to present some of my further explorations into the computational model of the mind.\**.
    Download  
     
    Export citation  
     
    Bookmark   112 citations  
  • What is computer ethics?James H. Moor - 1985 - Metaphilosophy 16 (4):266-275.
    Download  
     
    Export citation  
     
    Bookmark   147 citations  
  • The Construction of Social Reality.John Searle - 1995 - Free Press.
    In The Construction of Social Reality, John Searle argues that there are two kinds of facts--some that are independent of human observers, and some that require..
    Download  
     
    Export citation  
     
    Bookmark   575 citations  
  • Judgment under Uncertainty: Heuristics and Biases.Amos Tversky & Daniel Kahneman - 1974 - Science 185 (4157):1124-1131.
    This article described three heuristics that are employed in making judgements under uncertainty: representativeness, which is usually employed when people are asked to judge the probability that an object or event A belongs to class or process B; availability of instances or scenarios, which is often employed when people are asked to assess the frequency of a class or the plausibility of a particular development; and adjustment from an anchor, which is usually employed in numerical prediction when a relevant value (...)
    Download  
     
    Export citation  
     
    Bookmark   1677 citations  
  • The problems of philosophy.Bertrand Russell - 1912 - New York: Barnes & Noble.
    Immensely intelligible, thought-provoking guide by Nobel prize-winner considers such topics as the distinction between appearance and reality, the existence and nature of matter, idealism, inductive logic, intuitive knowledge, many other subjects. For students and general readers, there is no finer introduction to philosophy than this informative, affordable and highly readable edition that is "concise, free from technical terms, and perfectly clear to the general reader with no prior knowledge of the subject."—The Booklist of the American Library Association.
    Download  
     
    Export citation  
     
    Bookmark   560 citations  
  • Mathematical logic.Stephen Cole Kleene - 1967 - Mineola, N.Y.: Dover Publications.
    Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part II supplements (...)
    Download  
     
    Export citation  
     
    Bookmark   85 citations  
  • Philosophy of science: a very short introduction.Samir Okasha - 2002 - New York: Oxford University Press.
    What is science? Is there a real difference between science and myth? Is science objective? Can science explain everything? This Very Short Introduction provides a concise overview of the main themes of contemporary philosophy of science. Beginning with a short history of science to set the scene, Samir Okasha goes on to investigate the nature of scientific reasoning, scientific explanation, revolutions in science, and theories such as realism and anti-realism. He also looks at philosophical issues in particular sciences, including the (...)
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • Thinking like an engineer: studies in the ethics of a profession.Michael Davis - 1998 - New York: Oxford University Press.
    Michael Davis, a leading figure in the study of professional ethics, offers here both a compelling exploration of engineering ethics and a philosophical analysis of engineering as a profession. After putting engineering in historical perspective, Davis turns to the Challenger space shuttle disaster to consider the complex relationship between engineering ideals and contemporary engineering practice. Here, Davis examines how social organization and technical requirements define how engineers should (and presumably do) think. Later chapters test his analysis of engineering judgement and (...)
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  • Realism in mathematics.Penelope Maddy - 1990 - New York: Oxford University Prress.
    Mathematicians tend to think of themselves as scientists investigating the features of real mathematical things, and the wildly successful application of mathematics in the physical sciences reinforces this picture of mathematics as an objective study. For philosophers, however, this realism about mathematics raises serious questions: What are mathematical things? Where are they? How do we know about them? Offering a scrupulously fair treatment of both mathematical and philosophical concerns, Penelope Maddy here delineates and defends a novel version of mathematical realism. (...)
    Download  
     
    Export citation  
     
    Bookmark   266 citations  
  • The Philosophy of Philosophy.Timothy Williamson - 2007 - Malden, MA: Wiley-Blackwell.
    The second volume in the _Blackwell Brown Lectures in Philosophy_, this volume offers an original and provocative take on the nature and methodology of philosophy. Based on public lectures at Brown University, given by the pre-eminent philosopher, Timothy Williamson Rejects the ideology of the 'linguistic turn', the most distinctive trend of 20th century philosophy Explains the method of philosophy as a development from non-philosophical ways of thinking Suggests new ways of understanding what contemporary and past philosophers are doing.
    Download  
     
    Export citation  
     
    Bookmark   733 citations  
  • Actions, Reasons, and Causes.Donald Davidson - 1963 - Journal of Philosophy 60 (23):685.
    What is the relation between a reason and an action when the reason explains the action by giving the agent's reason for doing what he did? We may call such explanations rationalizations, and say that the reason rationalizes the action. In this paper I want to defend the ancient - and common-sense - position that rationalization is a species of ordinary causal explanation. The defense no doubt requires some redeployment, but not more or less complete abandonment of the position, as (...)
    Download  
     
    Export citation  
     
    Bookmark   1267 citations  
  • Sequence [Laetabundi jubilemus].[author unknown] - 1967 - Mediaeval Studies 29:344-350.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Thinking, Fast and Slow.Daniel Kahneman - 2011 - New York: New York: Farrar, Straus and Giroux.
    In the international bestseller, Thinking, Fast and Slow, Daniel Kahneman, the renowned psychologist and winner of the Nobel Prize in Economics, takes us on a groundbreaking tour of the mind and explains the two systems that drive the way we think. System 1 is fast, intuitive, and emotional; System 2 is slower, more deliberative, and more logical. The impact of overconfidence on corporate strategies, the difficulties of predicting what will make us happy in the future, the profound effect of cognitive (...)
    Download  
     
    Export citation  
     
    Bookmark   1119 citations  
  • Problems in philosophy: the limits of inquiry.Colin McGinn - 1993 - Cambridge, USA: Blackwell.
    This advanced introductory text offers a synoptic view of philosophical inquiry, discussing such topics as consciousness, the self, meaning, free will, the a ..
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • Phaedrus. Plato - 1956 - Philosophy and Rhetoric 1 (3):182-183.
    Download  
     
    Export citation  
     
    Bookmark   192 citations  
  • Preamble.[author unknown] - 1999 - Augustinian Studies 30 (1):19-20.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Counterpossibles in Science: The Case of Relative Computability.Matthias Jenny - 2018 - Noûs 52 (3):530-560.
    I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...)
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • The mathematical experience.Philip J. Davis - 1982 - Boston: Birkhäuser. Edited by Reuben Hersh & Elena Marchisotto.
    Presents general information about meteorology, weather, and climate and includes more than thirty activities to help study these topics, including making a ...
    Download  
     
    Export citation  
     
    Bookmark   145 citations  
  • Towards a Reference Terminology for Ontology Research and Development in the Biomedical Domain.Barry Smith, Waclaw Kusnierczyk, Daniel Schober, & Werner Ceusters - 2006 - In Barry Smith, Waclaw Kusnierczyk, Schober & Werner Ceusters (eds.), Proceedings of KR-MED, CEUR, vol. 222. pp. 57-65.
    Ontology is a burgeoning field, involving researchers from the computer science, philosophy, data and software engineering, logic, linguistics, and terminology domains. Many ontology-related terms with precise meanings in one of these domains have different meanings in others. Our purpose here is to initiate a path towards disambiguation of such terms. We draw primarily on the literature of biomedical informatics, not least because the problems caused by unclear or ambiguous use of terms have been there most thoroughly addressed. We advance a (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • The ethics of robot servitude.Stephen Petersen - 2007 - Journal of Experimental and Theoretical Artificial Intelligence 19 (1):43-54.
    Assume we could someday create artificial creatures with intelligence comparable to our own. Could it be ethical use them as unpaid labor? There is very little philosophical literature on this topic, but the consensus so far has been that such robot servitude would merely be a new form of slavery. Against this consensus I defend the permissibility of robot servitude, and in particular the controversial case of designing robots so that they want to serve human ends. A typical objection to (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Semiotic Systems, Computers, and the Mind: How Cognition Could Be Computing.William J. Rapaport - 2012 - International Journal of Signs and Semiotic Systems 2 (1):32-71.
    In this reply to James H. Fetzer’s “Minds and Machines: Limits to Simulations of Thought and Action”, I argue that computationalism should not be the view that (human) cognition is computation, but that it should be the view that cognition (simpliciter) is computable. It follows that computationalism can be true even if (human) cognition is not the result of computations in the brain. I also argue that, if semiotic systems are systems that interpret signs, then both humans and computers are (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Contrastive phenomenology: A thoroughly empirical approach to consciousness.B. Baars - 1997 - In Ned Block, Owen Flanagan & Güven Güzeldere (eds.), The Nature of Consciousness: Philosophical Debates. MIT Press. pp. 187--202.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • CASTANEDA, Hector-Neri (1924–1991).William J. Rapaport - 2005 - In John R. Shook (ed.), The Dictionary of Modern American Philosophers, 1860-1960. Thoemmes Press.
    H´ector-Neri Casta˜neda-Calder´on (December 13, 1924–September 7, 1991) was born in San Vicente Zacapa, Guatemala. He attended the Normal School for Boys in Guatemala City, later called the Military Normal School for Boys, from which he was expelled for refusing to fight a bully; the dramatic story, worthy of being filmed, is told in the “De Re” section of his autobiography, “Self-Profile” (1986). He then attended a normal school in Costa Rica, followed by studies in philosophy at the University of San (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Two Dogmas of Empiricism.W. V. O. Quine - 2011 - In Robert B. Talisse & Scott F. Aikin (eds.), The Pragmatism Reader: From Peirce Through the Present. Princeton University Press. pp. 202-220.
    Download  
     
    Export citation  
     
    Bookmark   922 citations  
  • Intentionality: An Essay in the Philosophy of Mind.John R. Searle - 1983 - New York: Oxford University Press.
    John Searle's Speech Acts (1969) and Expression and Meaning (1979) developed a highly original and influential approach to the study of language. But behind both works lay the assumption that the philosophy of language is in the end a branch of the philosophy of the mind: speech acts are forms of human action and represent just one example of the mind's capacity to relate the human organism to the world. The present book is concerned with these biologically fundamental capacities, and, (...)
    Download  
     
    Export citation  
     
    Bookmark   1013 citations  
  • Intentionality: An Essay in the Philosophy of Mind.John R. Searle - 1983 - New York: Cambridge University Press.
    John Searle's Speech Acts (1969) and Expression and Meaning (1979) developed a highly original and influential approach to the study of language. But behind both works lay the assumption that the philosophy of language is in the end a branch of the philosophy of the mind: speech acts are forms of human action and represent just one example of the mind's capacity to relate the human organism to the world. The present book is concerned with these biologically fundamental capacities, and, (...)
    Download  
     
    Export citation  
     
    Bookmark   1405 citations  
  • Philosophy bites.David Edmonds - 2010 - New York: Oxford University Press. Edited by Nigel Warburton.
    Philosophy Bites brings together the twenty-five best interviews from this hugely successful website.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Brave new world. Huxley - 2006 - In Thomas L. Cooksey (ed.), Masterpieces of Philosophical Literature. Greenwood Press.
    Download  
     
    Export citation  
     
    Bookmark   134 citations  
  • The philosophy of science: a contemporary introduction.Alexander Rosenberg - 2000 - New York, NY: Routledge, Taylor & Francis Group. Edited by Lee C. McIntyre.
    Any serious student attempting to better understand the nature, methods, and justification of science will value Alex Rosenberg's and Lee McIntyre's updated and substantially revised Fourth Edition of Philosophy of Science: A Contemporary Introduction. Weaving lucid explanations with clear analyses, the volume is as a much-used, thematically-oriented introduction to the field.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The origin of species.Charles Darwin - 1859 - New York: Norton. Edited by Philip Appleman.
    In The Origin of Species (1859) Darwin challenged many of the most deeply-held beliefs of the Western world. Arguing for a material, not divine, origin of species, he showed that new species are achieved by "natural selection." The Origin communicates the enthusiasm of original thinking in an open, descriptive style, and Darwin's emphasis on the value of diversity speaks more strongly now than ever. As well as a stimulating introduction and detailed notes, this edition offers a register of the many (...)
    Download  
     
    Export citation  
     
    Bookmark   481 citations