20 found
Order:
See also:
Profile: Raymond Turner (University of Essex)
  1.  22
    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)  
     
    Export citation  
     
    My bibliography   8 citations  
  2.  76
    Gennaro Chierchia & Raymond Turner (1988). Semantics and Property Theory. Linguistics and Philosophy 11 (3):261 - 302.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   17 citations  
  3.  14
    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)  
     
    Export citation  
     
    My bibliography   2 citations  
  4.  3
    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  
     
    Export citation  
     
    My bibliography   3 citations  
  5.  29
    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)  
     
    Export citation  
     
    My bibliography   3 citations  
  6. Raymond Turner (1990). Truth and Modality for Knowledge Representation. Monograph Collection (Matt - Pseudo).
    No categories
     
    Export citation  
     
    My bibliography   4 citations  
  7.  8
    Amnon H. Eden & Raymond Turner (2007). Problems in the Ontology of Computer Programs. Applied Ontology 2 (1):13-36.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  8. Raymond Turner (1984). Logics for Artificial Intelligence.
     
    Export citation  
     
    My bibliography   2 citations  
  9.  16
    Raymond Turner (1983). Montague Semantics, Nominalization and Scott's Domains. Linguistics and Philosophy 6 (2):259 - 288.
  10.  9
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11. Gennaro Chierchia, Barbara Hall Partee & Raymond Turner (1989). Properties, Types and Meaning. Monograph Collection (Matt - Pseudo).
     
    Export citation  
     
    My bibliography   1 citation  
  12.  6
    Raymond Turner (1990). Logics of Truth. Notre Dame Journal of Formal Logic 31 (2):308-329.
  13.  24
    Raymond Turner, The Philosophy of Computer Science. Stanford Encyclopedia of Philosophy.
  14.  16
    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)  
     
    Export citation  
     
    My bibliography  
  15.  3
    Raymond Turner (1985). Nominalization and Scott's Domains. II. Notre Dame Journal of Formal Logic 26 (4):463-478.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  15
    Raymond Turner (1981). Counterfactuals Without Possible Worlds. Journal of Philosophical Logic 10 (4):453 - 493.
  17.  15
    Raymond Turner (2007). The Philosophy of Computer Science: Introduction to the Special Issue. [REVIEW] Minds and Machines 17 (2):129-133.
  18. Gennero Chierchia, Barbara H. Partee & Raymond Turner (eds.) (1989). Properties, Types, and Meaning, Volume 1. Kluwer Academic Publishers.
    No categories
     
    Export citation  
     
    My bibliography  
  19. Raymond Turner (1981). Property Theory. Journal of Symbolic Logic.
    Translate
     
     
    Export citation  
     
    My bibliography  
  20. Raymond Turner (1990). Truth and Modality. Pitman.
    Translate
     
     
    Export citation  
     
    My bibliography