16 found
Sort by:
See also:
Profile: Raymond Turner (University of Essex)
  1. Raymond Turner (2014). Programming Languages as Technical Artifacts. Philosophy and Technology 27 (3):377-397.
    Taken at face value, a programming language is defined by a formal grammar. But, clearly, there is more to it. By themselves, the naked strings of the language do not determine when a program is correct relative to some specification. For this, the constructs of the language must be given some semantic content. Moreover, to be employed to generate physical computations, a programming language must have a physical implementation. How are we to conceptualize this complex package? Ontologically, what kind of (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Raymond Turner, The Philosophy of Computer Science. Stanford Encyclopedia of Philosophy.
  3. Chris Fox & Raymond Turner (2012). In Defence of Axiomatic Semantics. In Piotr Stalmaszcyzk (ed.), Philosophical and Formal Approaches to Linguistic Analysis. Ontos Verlag. 145.
    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 (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Raymond Turner (2011). Specification. Minds and Machines 21 (2):135-152.
    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.
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  5. Raymond Turner (2009). Computable Models. Springer.
    Raymond Turner first provides a logical framework for specification and the design of specification languages, then uses this framework to introduce and study ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Amnon H. Eden & Raymond Turner (2007). Problems in the Ontology of Computer Programs. Applied Ontology 2 (1):13-36.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. Raymond Turner (2007). The Philosophy of Computer Science: Introduction to the Special Issue. [REVIEW] Minds and Machines 17 (2):129-133.
  8. Raymond Turner (2007). Understanding Programming Languages. Minds and Machines 17 (2):203-216.
    We document the influence on programming language semantics of the Platonism/formalism divide in the philosophy of mathematics.
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  9. Raymond Turner (1990). Logics of Truth. Notre Dame Journal of Formal Logic 31 (2):308-329.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Raymond Turner (1990). Truth and Modality. Pitman.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  11. Gennaro Chierchia & Raymond Turner (1988). Semantics and Property Theory. Linguistics and Philosophy 11 (3):261 - 302.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. Raymond Turner (1985). Nominalization and Scott's Domains. II. Notre Dame Journal of Formal Logic 26 (4):463-478.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  13. Raymond Turner (1985). Three Theories of Nominalized Predicates. Studia Logica 44 (2):165 - 186.
    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.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. Raymond Turner (1983). Montague Semantics, Nominalization and Scott's Domains. Linguistics and Philosophy 6 (2):259 - 288.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  15. Raymond Turner (1981). Counterfactuals Without Possible Worlds. Journal of Philosophical Logic 10 (4):453 - 493.
  16. Raymond Turner (1981). Property Theory. Journal of Symbolic Logic.
    Translate to English
    |
     
    My bibliography  
     
    Export citation