26 found
Order:
See also
Raymond Turner
University of Essex
  1.  6
    Computational Artifacts: Towards a Philosophy of Computer Science.Raymond Turner - 2018 - Springer Berlin Heidelberg.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  2. Semantics and Property Theory.Gennaro Chierchia & Raymond Turner - 1988 - Linguistics and Philosophy 11 (3):261 - 302.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   62 citations  
  3. 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 (8 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  4.  15
    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  
     
    Bookmark   8 citations  
  5.  63
    The Philosophy of Computer Science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.
  6.  21
    The Philosophy of Computer Science.Raymond Turner & Amnon H. Eden - 2008 - Journal of Applied Logic 6 (4):459.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  7.  84
    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 (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  8.  68
    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 (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9. Properties, Types and Meaning.Gennaro Chierchia, Barbara Hall Partee & Raymond Turner - 1989
     
    Export citation  
     
    Bookmark   6 citations  
  10. Logics for Artificial Intelligence.Raymond Turner - 1984
  11.  26
    Problems in the Ontology of Computer Programs.Amnon H. Eden & Raymond Turner - 2007 - Applied Ontology 2 (1):13-36.
  12.  44
    Montague Semantics, Nominalization and Scott's Domains.Raymond Turner - 1983 - Linguistics and Philosophy 6 (2):259 - 288.
  13.  54
    The Philosophy of Computer Science: Introduction to the Special Issue. [REVIEW]Raymond Turner - 2007 - Minds and Machines 17 (2):129-133.
  14.  57
    Counterfactuals Without Possible Worlds.Raymond Turner - 1981 - Journal of Philosophical Logic 10 (4):453 - 493.
  15.  24
    Logics of Truth.Raymond Turner - 1990 - Notre Dame Journal of Formal Logic 31 (2):308-329.
  16.  22
    Nominalization and Scott's Domains. II.Raymond Turner - 1985 - Notre Dame Journal of Formal Logic 26 (4):463-478.
  17. Properties, Types, and Meaning, Volume 1.Gennero Chierchia, Barbara H. Partee & Raymond Turner (eds.) - 1989 - Kluwer Academic Publishers.
    No categories
     
    Export citation  
     
    Bookmark  
  18.  48
    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 (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  9
    Computational Artifacts: The Things of Computer Science.Raymond Turner - 2019 - Philosophy and Technology 10:47-69.
    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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  7
    Computational Artifacts: The Things of Computer Science.Raymond Turner - 2020 - Philosophy and Technology 33 (2):357-367.
    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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  2
    Computational Intention.Raymond Turner - 2020 - Studies in Logic, Grammar and Rhetoric 63 (1):19-30.
    The core entities of computer science include formal languages, spec-ifications, models, programs, implementations, semantic theories, type inference systems, abstract and physical machines. While there are conceptual questions concerning their nature, and in particular ontological ones, our main focus here will be on the relationships between them. These relationships have an extensional aspect that articulates the propositional connection between the two entities, and an intentional one that fixes the direction of governance. An analysis of these two aspects will drive our investigation; (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  7
    Counterfactuals Without Possible Worlds.Raymond Turner - 1985 - Journal of Symbolic Logic 50 (2):556-557.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Property Theory.Raymond Turner - 1981 - Journal of Symbolic Logic.
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Truth and Modality.Raymond Turner - 1990 - Pitman.
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  25. Truth and Modality for Knowledge Representation.Raymond Turner - 1990
     
    Export citation  
     
    Bookmark   8 citations  
  26.  32
    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 (4 more)  
     
    Export citation  
     
    Bookmark