•  92
    Specification
    Minds 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
  •  68
    Understanding programming languages
    Minds 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.
  •  37
    In Defence of Axiomatic Semantics
    with Chris Fox
    In Piotr Stalmaszcyzk (ed.), Philosophical and Formal Approaches to Linguistic Analysis, Ontos Verlag. pp. 145. 2012.
    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
  •  26
    Three theories of nominalized predicates
    Studia 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.
  •  23
    Problems in the ontology of computer programs
    Applied Ontology 2 (1): 13-36. 2007.
  •  20
    A theory of properties
    Journal of Symbolic Logic 52 (2): 455-472. 1987.
  •  15
    Logics of Truth
    Notre Dame Journal of Formal Logic 31 (2): 308-329. 1990.
  •  12
    Computable Models
    Springer. 2009.
    Raymond Turner first provides a logical framework for specification and the design of specification languages, then uses this framework to introduce and study ...
  •  11
    The Philosophy of Computer Science
    Journal of Applied Logic 6 (4): 459. 2008.
  •  2
    Counterfactuals Without Possible Worlds
    Journal of Symbolic Logic 50 (2): 556-557. 1985.