Professor Raymond Turner (born 28 April 1947) is an English logician and theoretical computer scientist

Computer scientist

A computer scientist is a scientist who has acquired knowledge of computer science, the study of the theoretical foundations of information and computation and their application in computer systems....

 based at the University of Essex

University of Essex

The University of Essex is a British campus university whose original and largest campus is near the town of Colchester, England. Established in 1963 and receiving its Royal Charter in 1965...

. He is best known for his work on logic in computer science and for his pioneering work in the philosophy of computer science

Philosophy of computer science

The philosophy of computer science is concerned with the philosophical questions that arise with the study of computer science, which is understood to mean not just programming but the whole study of concepts and methodologies that assist in the development and maintenance of computer systems...

. He is on the editorial boards for the "Journal of Logic and Computation" and the "Stanford Encyclopaedia of Philosophy: Editor Logic, Computation, and Agency."

Books

• Logics for Artificial Intelligence, 121 pages, E. Horwood, 1984, ISBN 0470201231
• Truth and Modality for Knowledge Representation, 119 pages, Pitman, 1990, ISBN 0273031864
• Constructive Foundations for Functional Languages, 288 pages, McGraw-Hill Publishing Co, 1 May 1991, ISBN 0077074114
• Computable Models, 240 pages, Springer, 2009, ISBN 1848820518