-
10Karl Barth’s Theological RealismNeue Zeitschrift für Systematicsche Theologie Und Religionsphilosophie 26 (1): 54--70. 1984.
-
S. Abramsky, dm Gabbay and Tse maibaum handbook of logic in computer scienceHistory and Philosophy of Logic 23 (2): 135-136. 2002.This is a handbook, written by a number of authors from different research communities. Even though the subject matter of the book is reasonably unified, the divergence between their communities – firstly category theory and type theory, secondly universal algebra, and thirdly classical logic and complexity theory -- makes it difficult to get an overview; these communities are notorious for their poor relations with each other. Thus, even though it would be tempting to envisage a world in w…Read more
-
80Causality, Modality, and ExplanationNotre Dame Journal of Formal Logic 49 (3): 313-343. 2008.We start with Fodor's critique of cognitive science in "The mind doesn't work that way: The scope and limits of computational psychology": he argues that much mental activity cannot be handled by the current methods of cognitive science because it is nonmonotonic and, therefore, is global in nature, is not context-free, and is thus not capable of being formalized by a Turing-like mental architecture. We look at the use of nonmonotonic logic in the artificial intelligence community, particularly …Read more
-
5On Scholarship: A Response to Stefik, Foster, and D'Iorio and BerberaIn Thomas Bartscherer (ed.), Switching Codes, Chicago University Press. pp. 95. 2011.
-
9A Linear Meta-Interpreter for Reasoning about States and ActionsLogic Journal of the IGPL 9 (5): 669--715. 2001.This paper describes an application of linear logic programming to the frame problem. This treatment has both practical and conceptual advantages over standard treatments: it is computationally efficient, and this efficiency arises because linear logic respects the identity, or otherwise, of situations
-
Luther on the Limits of Human Activity: Dinner-Parties and SuicideNeue Zeitschrift für Systematicsche Theologie Und Religionsphilosophie 26 54--70. 1984.
-
88Simulation, Theory, and Cut EliminationThe Monist 82 (1): 165-184. 1999.This paper is concerned. with the contrast between simulation- and deduction-based approaches to reasoning about physical objects. We show that linear logic can give a unified account of both simulation and deduction concerning physical objects; it also allows us to draw a principled distinction between simulation and deduction, since simulations correspond to cut-free proofs, whereas deductions correspond to proofs in general.
-
98Bootstrapping NormativityPhilosophy and Technology 24 (1): 35-53. 2011.We compare the role of Cartesian assumptions in the symbol grounding problem and in the Myth of the Given: We argue that the Sellars–McDowell critique of the Myth of the Given and, in particular, its use of the concept of normativity can provide useful resources for responding to the symbol grounding problem. We also describe the concepts of normativity at work in computer science and cognitive science: We argue that normative concepts are pervasive in the sciences and that, in particular, McDow…Read more
-
Nicholas of AutrecourtIn Thomas Mautner (ed.), The Penguin dictionary of philosophy, Penguin Books. 1997.
-
Actions, Ramification and Linear ModalitiesLinköping Electronic Articles in Computer and Information Science 3 (11). 1998.
-
Queen Mary University of LondonRegular Faculty
Areas of Specialization
Metaphysics |
Philosophy of Action |
Logic and Philosophy of Logic |
Medieval and Renaissance Philosophy |
Areas of Interest
Metaphysics |
Philosophy of Mind |
Logic and Philosophy of Logic |