21 found
Order:
See also
Profile: Raymond Turner (University of Essex)
  1.  31
    Specification.Raymond Turner - 2011 - 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   10 citations  
  2.  31
    Programming Languages as Technical Artifacts.Raymond Turner - 2014 - 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   3 citations  
  3.  91
    Semantics and Property Theory.Gennaro Chierchia & Raymond Turner - 1988 - Linguistics and Philosophy 11 (3):261 - 302.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   19 citations  
  4.  8
    Computable Models.Raymond Turner - 2009 - 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.  49
    Understanding Programming Languages.Raymond Turner - 2007 - 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   5 citations  
  6. Truth and Modality for Knowledge Representation.Raymond Turner - 1990
     
    Export citation  
     
    My bibliography   4 citations  
  7.  7
    The Philosophy of Computer Science.Raymond Turner & Amnon H. Eden - 2008 - Journal of Applied Logic 6 (4):459.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  14
    Problems in the Ontology of Computer Programs.Amnon H. Eden & Raymond Turner - 2007 - Applied Ontology 2 (1):13-36.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  9. Logics for Artificial Intelligence.Raymond Turner - 1984
     
    Export citation  
     
    My bibliography   2 citations  
  10.  25
    Montague Semantics, Nominalization and Scott's Domains.Raymond Turner - 1983 - Linguistics and Philosophy 6 (2):259 - 288.
  11.  26
    In Defence of Axiomatic Semantics.Chris Fox & Raymond Turner - 2012 - In Piotr Stalmaszcyzk (ed.), Philosophical and Formal Approaches to Linguistic Analysis. Ontos Verlag. pp. 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  
  12. Properties, Types and Meaning.Gennaro Chierchia, Barbara Hall Partee & Raymond Turner - 1989
     
    Export citation  
     
    My bibliography   1 citation  
  13.  12
    Logics of Truth.Raymond Turner - 1990 - Notre Dame Journal of Formal Logic 31 (2):308-329.
  14.  33
    The Philosophy of Computer Science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.
  15.  6
    Nominalization and Scott's Domains. II.Raymond Turner - 1985 - Notre Dame Journal of Formal Logic 26 (4):463-478.
  16.  28
    Counterfactuals Without Possible Worlds.Raymond Turner - 1981 - Journal of Philosophical Logic 10 (4):453 - 493.
  17.  24
    The Philosophy of Computer Science: Introduction to the Special Issue. [REVIEW]Raymond Turner - 2007 - Minds and Machines 17 (2):129-133.
  18.  22
    Three Theories of Nominalized Predicates.Raymond Turner - 1985 - 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  
  19. Properties, Types, and Meaning, Volume 1.Gennero Chierchia, Barbara H. Partee & Raymond Turner (eds.) - 1989 - Kluwer Academic Publishers.
    No categories
     
    Export citation  
     
    My bibliography  
  20. Property Theory.Raymond Turner - 1981 - Journal of Symbolic Logic.
    Translate
     
     
    Export citation  
     
    My bibliography  
  21. Truth and Modality.Raymond Turner - 1990 - Pitman.
    Translate
     
     
    Export citation  
     
    My bibliography