The Philosophy of Computer Science

Raymond Turner

The Philosophy of Computer Science is concerned with philosophical issues that arise from reflection upon the nature and practice of the academic discipline of computer science. In this sense, it parallels the philosophies of mathematics and physics in being a parasitic philosophical discipline. But while physics and mathematics are well established disciplines, with broad agreement concerning their subject matter, computer science is new, its very nature unfixed and unclear. So part of the task will be to provide a somewhat clearer view of the content and personality of the subject.

General

         The Philosophy of Computer Science Stanford Encyclopedia of Philosophy

The Semantics of Programming Languages

         Understanding Programming Languages Journal Minds and Machines

         The Meaning of Programming Languages

         Programming Languages as Mathematical Theories

         Semantics and Ontology

         Syntax and Semantics: the Languages of Computer Science Ecap09.

Specification and Correctness

         Specification. Journal Minds and Machines.

         Specification and Artefact

         Theory and Specification

         The Logic of Specification

         Specification and Computation IACAP 2011