-
26Logics for Artificial IntelligenceEllis Horwood. 1984.In Logics for Artificial Intelligence, Raymond Turner leads us on a whirl-wind tour of nonstandard logics and their general applications to Al and computer science.
-
22Computational Artifacts: the Things of Computer SciencePhilosophy and Technology 10 (2): 47-69. 2019.The reviewers Rapaport, Stephanou, Angius, Primiero, and Bringsjord of Turner cover a broad range of topics in the philosophy of computer science. They either challenge the positions outlined in Turner or offer a more refined analysis. This article is a response to their challenges.
-
26Computable modelsSpringer. 2009.Raymond Turner first provides a logical framework for specification and the design of specification languages, then uses this framework to introduce and study ...
-
34Three theories of nominalized predicatesStudia Logica 44 (2). 1985.By the term nominalization I mean any process which transforms a predicate or predicate phrase into a noun or noun phrase, e.g. feminine is transformed into feminity. I call these derivative nouns abstract singular terms. Our aim is to provide a model-theoretic interpretation for a formal language which admits the occurrence of such abstract singular terms.
-
161SpecificationMinds and Machines 21 (2): 135-152. 2011.The specification and implementation of computational artefacts occurs throughout the discipline of computer science. Consequently, unpacking its nature should constitute one of the core areas of the philosophy of computer science. This paper presents a conceptual analysis of the central role of specification in the discipline
-
101Understanding programming languagesMinds and Machines 17 (2): 203-216. 2007.We document the influence on programming language semantics of the Platonism/formalism divide in the philosophy of mathematics.
-
52In Defence of Axiomatic SemanticsIn Piotr Stalmaszczyk (ed.), Philosophical and Formal Approaches to Linguistic Analysis, Ontos. pp. 145-160. 2011.We may wonder about the status of logical accounts of the meaning of language. When does a particular proposal count as a theory? How do we judge a theory to be correct? What criteria can we use to decide whether one theory is âbetterâ than another? Implicitly, many accounts attribute a foundational status to set theory, and set-theoretic characterisations of possible worlds in particular. The goal of a semantic theory is then to find a translation of the phenomena of interest into a set-the…Read more
-
62The philosophy of computer science: Introduction to the special issue (review)Minds and Machines 17 (2): 129-133. 2007.
Colchester, Essex, United Kingdom of Great Britain and Northern Ireland