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