Some Philosophical Issues in Computer Science
- Amnon H. Eden
- … show all 1 hide
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
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.
- 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. CrossRef
- 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. CrossRef
- 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. CrossRef
- Fetzer, J. H. (1988). Program verification: The very idea. Communications of the ACM, 31(9), 1048–1063. CrossRef
- 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. CrossRef
- 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).
- Some Philosophical Issues in Computer Science
Minds and Machines
Volume 21, Issue 2 , pp 123-133
- Cover Date
- Print ISSN
- Online ISSN
- Springer Netherlands
- Additional Links
- Philosophy of computer science
- Industry Sectors
- Amnon H. Eden (1)
- Author Affiliations
- 1. School of Computer Science and Electronic Engineering, University of Essex, and Centre for Inquiry, Amherst, NY, USA