Skip to main content
SpringerLink
Log in

Some Philosophical Issues in Computer Science

  • Published:
Minds and Machines Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Notes

  1. http://pcs.essex.ac.uk/minds-machines10/cfp.html.

  2. Vol. 21, Issue no. 2.

  3. E.g., Google’s PageRank.

  4. (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.

    Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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.

    Article  Google Scholar 

  • Fetzer, J. H. (1988). Program verification: The very idea. Communications of the ACM, 31(9), 1048–1063.

    Article  Google Scholar 

  • Gibbs, W. W. (1994). Software’s Chronic Crisis. Scientific American, 271(3), 72–81.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Suppes, P. (1960). A comparison of the meaning and uses of models in mathematics and the empirical sciences. Synthese, 12, 287–301.

    Article  MathSciNet  MATH  Google Scholar 

  • 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).

Download references

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

  1. School of Computer Science and Electronic Engineering, University of Essex, and Centre for Inquiry, Amherst, NY, USA

    Amnon H. Eden

Authors
  1. Amnon H. Eden
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Amnon H. Eden.

Rights and permissions

Reprints 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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11023-011-9248-9

Keywords

Search

Navigation