•  1
    High-resolution 7t fMRI of human hippocampal subfields during associative learning
    with N. A. Suthana, M. Donix, D. R. Wozny, A. Bazih, M. Jones, R. M. Heidemann, R. Trampel, A. D. Ekstrom, M. Scharf, B. Knowlton, and S. Y. Bookheimer
    © 2015 Massachusetts Institute of Technology.Examining the function of individual human hippocampal subfields remains challenging because of their small sizes and convoluted structures. Previous human fMRI studies at 3 T have successfully detected differences in activation between hippo-campal cornu ammonis field CA1, combined CA2, CA3, and dentate gyrus region, and the subiculum during associative memory tasks. In this study, we investigated hippocampal subfield activity in healthy participants…Read more
  •  1
  •  1
    Properties, Types and Meaning
    with Gennaro Chierchia and Barbara Hall Partee
    . 1989.
  •  19
    Counterfactuals Without Possible Worlds
    Journal of Symbolic Logic 50 (2): 556-557. 1985.
  •  169
    Semantics and property theory
    with Gennaro Chierchia
    Linguistics and Philosophy 11 (3). 1988.
  •  61
    Remediation of Anomia in lvPPA and svPPA
    with Meyer Aaron, Newhart Melissa, and Friedman Rhonda
    Frontiers in Psychology 6. 2015.
  •  31
    Logics for Artificial Intelligence
    Ellis Horwood. 1984.
    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.
  •  28
    Computational Artifacts: the Things of Computer Science
    Philosophy and Technology 10 (2): 47-69. 2019.
    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.
  •  173
    Specification
    Minds and Machines 21 (2): 135-152. 2011.
    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
  •  109
    Understanding programming languages
    Minds and Machines 17 (2): 203-216. 2007.
    We document the influence on programming language semantics of the Platonism/formalism divide in the philosophy of mathematics.
  •  61
    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 into a set-the…Read more
  •  46
    Logics of Truth
    Notre Dame Journal of Formal Logic 31 (2): 308-329. 1990.
  •  44
    The Philosophy of Computer Science
    Journal of Applied Logic 6 (4): 459. 2008.
  •  43
    A theory of properties
    Journal of Symbolic Logic 52 (2): 455-472. 1987.
  •  34
    Computable models
    Springer. 2009.
    Raymond Turner first provides a logical framework for specification and the design of specification languages, then uses this framework to introduce and study ...
  •  45
    Three theories of nominalized predicates
    Studia Logica 44 (2). 1985.
    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.
  •  49
    Problems in the ontology of computer programs
    Applied ontology 2 (1): 13-36. 2007.