26 found
Order:
See also
Raymond Turner
University of Essex
  1.  11
    Computational Artifacts: Towards a Philosophy of Computer Science.Raymond Turner - 2018 - Springer Berlin Heidelberg.
    The philosophy of computer science is concerned with issues that arise from reflection upon the nature and practice of the discipline of computer science. This book presents an approach to the subject that is centered upon the notion of computational artefact. It provides an analysis of the things of computer science as technical artefacts. Seeing them in this way enables the application of the analytical tools and concepts from the philosophy of technology to the technical artefacts of computer science. With (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 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   70 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 (9 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  4.  92
    The Philosophy of Computer Science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.
  5.  20
    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   9 citations  
  6.  26
    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   16 citations  
  7. Truth and Modality for Knowledge Representation.Raymond Turner - 1990 - MIT Press.
    Turner introduces various logics of truth and modality as part of a foundation for the construction of theories of knowledge representation.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  8.  91
    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   10 citations  
  9.  80
    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  
     
    Bookmark   5 citations  
  10. Properties, Types and Meaning.Gennaro Chierchia, Barbara Hall Partee & Raymond Turner - 1989
     
    Export citation  
     
    Bookmark   7 citations  
  11.  18
    Logics for Artificial Intelligence.Raymond Turner - 1984 - New York, NY, USA: Ellis Horwood.
    In Logics for Artificial Intelligence, Raymond Turner leads us on a whirl-wind tour of nonstandard logics and their general applications to Al and computer science.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  12.  29
    Problems in the Ontology of Computer Programs.Amnon H. Eden & Raymond Turner - 2007 - Applied Ontology 2 (1):13-36.
  13.  57
    The Philosophy of Computer Science: Introduction to the Special Issue. [REVIEW]Raymond Turner - 2007 - Minds and Machines 17 (2):129-133.
  14.  45
    Montague Semantics, Nominalization and Scott's Domains.Raymond Turner - 1983 - Linguistics and Philosophy 6 (2):259 - 288.
  15.  57
    Counterfactuals Without Possible Worlds.Raymond Turner - 1981 - Journal of Philosophical Logic 10 (4):453 - 493.
  16. Truth and Modality.Raymond Turner - 1990 - Pitman.
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  17.  25
    Logics of Truth.Raymond Turner - 1990 - Notre Dame Journal of Formal Logic 31 (2):308-329.
  18.  9
    Counterfactuals Without Possible Worlds.Raymond Turner - 1985 - Journal of Symbolic Logic 50 (2):556-557.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  13
    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  
  20.  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  
     
    Export citation  
     
    Bookmark  
  21.  15
    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  
  22. Properties, Types, and Meaning, Volume 1.Gennero Chierchia, Barbara H. Partee & Raymond Turner (eds.) - 1989 - Kluwer Academic Publishers.
    No categories
     
    Export citation  
     
    Bookmark  
  23. Property Theory.Raymond Turner - 1981 - Journal of Symbolic Logic.
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  7
    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 (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  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  
  26.  22
    Nominalization and Scott's Domains. II.Raymond Turner - 1985 - Notre Dame Journal of Formal Logic 26 (4):463-478.