Minds and Machines

, Volume 21, Issue 2, pp 123–133

Some Philosophical Issues in Computer Science



The essays included in the special issue dedicated to the philosophy of computer science examine new philosophical questions that arise from reflection upon conceptual issues in computer science and the insights such an enquiry provides into ongoing philosophical debates.


Philosophy of computer science 


  1. Abelson, H. H., Sussman, G. J., & Sussman, J. (1986). Structure and interpretation of computer programs. The MIT electrical engineering and computer science series. Cambridge, MA: MIT Press.Google Scholar
  2. Abramson, D. (2011). Philosophy of mind is (in part) philosophy of computer science. Minds and Machines, 21(2).Google Scholar
  3. Angius, N., Tamburrini, G. (2011). Scientific theories of computational systems in model checking. Minds and Machines, 21(2).Google Scholar
  4. Clark, A., & Chalmers, D. J. (1998). The extended mind. Analysis, 58, 10–23.CrossRefGoogle Scholar
  5. Colburn, T., Shute, G. (2011). Decoupling as a fundamental value of computer science. Minds and Machines, 21(2).Google Scholar
  6. Copeland, B. J., Shagrir, O. (2011). Do accelerating Turing machines compute the uncomputable? Minds and Machines, 21(2).Google Scholar
  7. DeMillo, R. A., Lipton, R. J., & Perlis, A. J. (1979). Social processes and proofs of theorems and programs. Communications of the ACM, 22(5), 271–280.CrossRefGoogle Scholar
  8. Dodig-Crnkovic, G. (2011). Significance of models of computation, from Turing model to natural computation. Minds and Machines, 21(2).Google Scholar
  9. Eden, A. H. (2007). Three paradigms of computer science. Minds and Machines, 17(2), 135–167.CrossRefGoogle Scholar
  10. Fetzer, J. H. (1988). Program verification: The very idea. Communications of the ACM, 31(9), 1048–1063.CrossRefGoogle Scholar
  11. Gibbs, W. W. (1994). Software’s Chronic Crisis. Scientific American, 271(3), 72–81.Google Scholar
  12. Gruner, S. (2011). Problems for a philosophy of software engineering. Minds and Machines, 21(2).Google Scholar
  13. Halpin, H. (2011). Sense and reference on the web. Minds and Machines, 21(2).Google Scholar
  14. Hoare, C. A. R. (1981, February). The emperor’s old clothes (ACM Turing award lecture). Communications of the ACM, 24(2), 75–83.Google Scholar
  15. Lehman, M. M. (1996). Laws of software evolution revisited. In Proceedings of 5th European Workshop Software Process TechnologyEWSPT’96. Nancy, France, October 9.Google Scholar
  16. Lockhorst, G. -J. (2011). Computational meta-ethics. Minds and Machines, 21(2).Google Scholar
  17. Naur, P., Randell, B. (Eds.). (1968). Software engineering, Report of a conference sponsored by the NATO Science Committee. Garmisch, Germany, October 7.Google Scholar
  18. NYTimes. (2011). On ‘Jeopardy!’ Watson win is all but trivial. The New York Times, February 16.Google Scholar
  19. Pincas, U. (2011). Program verification and functioning of operative computing revisited: How about mathematics engineering? Minds and Machines, 21(2).Google Scholar
  20. Suppe, F. (1989). The semantic conception of theories and scientific realism. Urbana: University of Illinois Press.Google Scholar
  21. Suppes, P. (1960). A comparison of the meaning and uses of models in mathematics and the empirical sciences. Synthese, 12, 287–301.MathSciNetMATHCrossRefGoogle Scholar
  22. Turner, R. (2011). Specification. Minds and Machines, 21(2).Google Scholar
  23. Van Fraassen, B. C. (1980). The scientific image. Oxford: Oxford University Press.Google Scholar
  24. White, G. (2011). Descartes among the robots: Computer science and the inner/outer distinction. Minds and Machines, 21(2).Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.School of Computer Science and Electronic EngineeringUniversity of Essex, and Centre for InquiryAmherstUSA

Personalised recommendations