Abstract
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.
Similar content being viewed by others
Notes
Vol. 21, Issue no. 2.
E.g., Google’s PageRank.
(Lehman 1996).
References
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.
Abramson, D. (2011). Philosophy of mind is (in part) philosophy of computer science. Minds and Machines, 21(2).
Angius, N., Tamburrini, G. (2011). Scientific theories of computational systems in model checking. Minds and Machines, 21(2).
Clark, A., & Chalmers, D. J. (1998). The extended mind. Analysis, 58, 10–23.
Colburn, T., Shute, G. (2011). Decoupling as a fundamental value of computer science. Minds and Machines, 21(2).
Copeland, B. J., Shagrir, O. (2011). Do accelerating Turing machines compute the uncomputable? Minds and Machines, 21(2).
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.
Dodig-Crnkovic, G. (2011). Significance of models of computation, from Turing model to natural computation. Minds and Machines, 21(2).
Eden, A. H. (2007). Three paradigms of computer science. Minds and Machines, 17(2), 135–167.
Fetzer, J. H. (1988). Program verification: The very idea. Communications of the ACM, 31(9), 1048–1063.
Gibbs, W. W. (1994). Software’s Chronic Crisis. Scientific American, 271(3), 72–81.
Gruner, S. (2011). Problems for a philosophy of software engineering. Minds and Machines, 21(2).
Halpin, H. (2011). Sense and reference on the web. Minds and Machines, 21(2).
Hoare, C. A. R. (1981, February). The emperor’s old clothes (ACM Turing award lecture). Communications of the ACM, 24(2), 75–83.
Lehman, M. M. (1996). Laws of software evolution revisited. In Proceedings of 5th European Workshop Software Process Technology—EWSPT’96. Nancy, France, October 9.
Lockhorst, G. -J. (2011). Computational meta-ethics. Minds and Machines, 21(2).
Naur, P., Randell, B. (Eds.). (1968). Software engineering, Report of a conference sponsored by the NATO Science Committee. Garmisch, Germany, October 7.
NYTimes. (2011). On ‘Jeopardy!’ Watson win is all but trivial. The New York Times, February 16.
Pincas, U. (2011). Program verification and functioning of operative computing revisited: How about mathematics engineering? Minds and Machines, 21(2).
Suppe, F. (1989). The semantic conception of theories and scientific realism. Urbana: University of Illinois Press.
Suppes, P. (1960). A comparison of the meaning and uses of models in mathematics and the empirical sciences. Synthese, 12, 287–301.
Turner, R. (2011). Specification. Minds and Machines, 21(2).
Van Fraassen, B. C. (1980). The scientific image. Oxford: Oxford University Press.
White, G. (2011). Descartes among the robots: Computer science and the inner/outer distinction. Minds and Machines, 21(2).
Acknowledgments
I wish to thank Ray Turner for co-editing this special issue, for his invaluable help in its inception, production and co-editing, and providing advice and guidance. I also wish to thank the authors of papers in this issue for writing, submitting and revising their contributions, and apologize to those whose contributions have remained outside its scope. Our editorial work would have been impossible if not for the generous assistance of Bill Rapaport and the numerous and very diligent expert anonymous reviewers. Thanks also go to the Royal Academy of Engineering for their support in this enterprise, Nicola Angius for commenting on this paper, and Mary Louisa for her editorial assistance. Finally, thanks go to Jim Moor, Minds and Machines’ editor in chief until end of 2010, who has encouraged and promoted the discussion in the subjects examined in this issue, and hope it reflects well on a lifetime of dedication to the journal.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Eden, A.H. Some Philosophical Issues in Computer Science. Minds & Machines 21, 123–133 (2011). https://doi.org/10.1007/s11023-011-9248-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11023-011-9248-9