Professor Raymond Turner (born 28 April 1947) is an English logician, philosopher, and theoretical

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus ( ...

based at the

University of Essex The University of Essex is a public research university in Essex, England. Established by royal charter in 1965, Essex is one of the original plate glass universities. Essex's shield consists of the ancient arms attributed to the Kingdom of Es ...

. He is best known for his work on

logic in computer science Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas: * Theoretical foundations and analysis * Use of computer technology to aid logician ...

and for his pioneering work in the philosophy of computer science. He is on the editorial boards for the

Journal of Logic and Computation The ''Journal of Logic and Computation'' is a peer-reviewed academic journal focused on logic and computing. It was established in 1990 and is published by Oxford University Press under licence from Professor Dov Gabbay Dov M. Gabbay (; born Oc ...

and the

Stanford Encyclopedia of Philosophy The ''Stanford Encyclopedia of Philosophy'' (''SEP'') combines an online encyclopedia of philosophy with peer-reviewed publication of original papers in philosophy, freely accessible to Internet users. It is maintained by Stanford University. E ...

, for Logic, Computation, and Agency.Plato at Stanford University
/ref>

Books

* ''Logics for Artificial Intelligence'', 121 pages, E. Horwood, 1984, * ''Truth and Modality for Knowledge Representation'', 141 pages, The MIT Press, 1991, * ''Constructive Foundations for Functional Languages'', 288 pages, McGraw-Hill Publishing Co, 1 May 1991, * ''Computable Models'', 240 pages, Springer, 2009, * ''Computational Artefacts: Towards a Philosophy of Computer Science'', 285 pages, Springer, 2018,

Selected Papers

* ''A theory of properties'', The Journal of Symbolic Logic. 52 (02), 455–472. * ''Counterfactuals without possible worlds'', Journal of Philosophical Logic. 10 (4), 453–493. * ''Logics of truth'', Notre Dame Journal of Formal Logic. 31 (2), 308–329. * ''Understanding programming languages'', Minds and Machines. 17 (2), 203–216. * ''The Foundations of Specification'' Journal of Logic and Computation. 15 (5), 623–662. * ''Semantics and stratification'', Journal of Logic and Computation. 15 (2), 145–158. * ''Type inference for set theory'', Theoretical Computer Science. 266 (1–2), 951–974. * ''Reading between the lines in constructive type theory'', Journal of Logic and Computation. 7 (2), 229–250. * ''Weak theories of operations and types'', Journal of Logic and Computation. 6 (1), 5–31. * ''Lazy theories of operations and types'', Journal of Logic and Computation. 3 (1), 77–102. * ''Philosophy of computer science'', Stanford Encyclopedia of Philosophy, /plato.stanford.edu/entries/computer-science/ * ''Specification'', Minds and Machines, 21 (2):135–152. * ''Types'', in Handbook of Logic and Language. 1st Edition. Editors: J. van Benthem A. ter Meulen. .

Awards

Covey award 201

External links

* Essex Home

* Academia

* Mathematics Genealogy

* Philpapers

* Compsci

References

{{DEFAULTSORT:Turner, Ray 1947 births Living people Academics of the University of Essex English computer scientists English logicians English philosophers