-
1© 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
-
31Logics for Artificial IntelligenceEllis 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.
-
29Computational Artifacts: the Things of Computer SciencePhilosophy 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.
-
109Understanding programming languagesMinds 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.
-
62In Defence of Axiomatic SemanticsIn Piotr Stalmaszczyk (ed.), Philosophical and Formal Approaches to Linguistic Analysis, Ontos. pp. 145-160. 2011.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
-
136The philosophy of computer science: Introduction to the special issue (review)Minds and Machines 17 (2): 129-133. 2007.
-
34Computable modelsSpringer. 2009.Raymond Turner first provides a logical framework for specification and the design of specification languages, then uses this framework to introduce and study ...
-
45Three theories of nominalized predicatesStudia 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.
-
173SpecificationMinds 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
Colchester, Essex, United Kingdom of Great Britain and Northern Ireland