计算机科学的哲学.docxVIP

 PAGE \* MERGEFORMAT 34 窗体顶端 窗体底端 The Philosophy of Computer Science First published Tue Aug 20, 2013 For nearly every field of study, there is a branch of philosophy, called the philosophy of that field. …Since the main purpose of a given field of study is to contribute to knowledge, the philosophy ofX?is, at least in part, a branch of epistemology. Its purpose is to provide an account of the goals, methodology, and subject matter of?X. (Shapiro 1983: 525) The philosophy of computer science is concerned with those philosophical issues that arise from within the academic discipline of computer science. It is intended to be the philosophical endeavor that stands to computer science as? HYPERLINK /entries/philosophy-mathematics/ philosophy of mathematics?does to mathematics and HYPERLINK /entries/technology/ philosophy of technology?does to technology. Indeed, the abstract nature of computer science, coupled with its technological ambitions, ensures that many of the conceptual questions that arise in the philosophies of mathematics and technology have computational analogues. In addition, the subject will draw in variants of some of the central questions in the philosophies of mind, language and science. We shall concentrate on a tightly related group of topics which form the spine of the subject. These include specification, implementation, semantics, programs, programming, correctness, abstraction and computation.  HYPERLINK /entries/computer-science/ \l ComArt 1. Computational Artifacts  HYPERLINK /entries/computer-science/ \l Dua 1.1 Duality  HYPERLINK /entries/computer-science/ \l TecArt 1.2 Technical Artifacts  HYPERLINK /entries/computer-science/ \l SpeFun 2. Specification and Function  HYPERLINK /entries/computer-science/ \l Def 2.1 Definition  HYPERLINK /entries/computer-science/ \l DefSpe 2.2 Definitions as Specifications  HYPERLINK /entries/computer-science/ \l AbsArt 2.3 Abstract Artifacts  HYPERLINK /entries/computer-scien