-
464The Philosophy of Computer LanguagesIn Luciano Floridi (ed.), The Blackwell Guide to the Philosophy of Computing and Information, Wiley-blackwell. 2008.The prelims comprise: Introduction: Two Semantic Projects History The Uses of Semantics Conclusions.
-
J. Hopkins, "Nicholas of Cusa's dialectical mysticism: Text, Translation and interpretative study of" De visione deiInternational Journal for Philosophy of Religion 23 (1): 54. 1988.
-
So that the sun should shine on free men" : Henry Williamson, Lawrence of Arabia, and the performance of vanguard visionsIn Kimberly Jannarone (ed.), Vanguard performance beyond left and right, Univ of Michigan Press. 2015.
-
Part introduction : Something's happening here : encountering vanguard performance in contextIn Kimberly Jannarone (ed.), Vanguard performance beyond left and right, Univ of Michigan Press. 2015.
-
166Bootstrapping 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
-
1The Philosophy of Programming LanguagesIn Luciano Floridi (ed.), The Blackwell guide to the philosophy of computing and information, Blackwell. pp. 237--247. 2003.
-
Actions, Ramification and Linear ModalitiesLinköping Electronic Articles in Computer and Information Science 3 (11). 1998.
-
Simulation, Ramification, and Linear LogicLinköping Electronic Articles in Computer and Information Science 3 (12). 1998.
-
18On Scholarship: A Response to Stefik, Foster, and D'Iorio and BerberaIn Thomas Bartscherer & Roderick Coover (eds.), Switching Codes: Thinking Through Digital Technology in the Humanities and the Arts, University of Chicago Press. pp. 95. 2011.
-
20Luther on the Limits of Human Activity: Dinner-Parties and SuicideNeue Zeitschrift für Systematicsche Theologie Und Religionsphilosophie 26 54--70. 1984.
-
63Essay Review of D.M. Gabbay and F. Guenther (eds), H andbook of Philosophical Logic , 2nd edn, vol 9, Dordrecht, Boston, London: Kluwer 2002 (review)History and Philosophy of Logic 25 (2): 147--152. 2004.D. M. GABBAY and F. GUENTHER, Handbook of philosophical logic, 2nd edn, vol. 9. Dordrecht, Boston, London: Kluwer, 2002. xiv + 368 pp. €129.00, US$112.00, £79.00. ISBN1 402 00699 3. The philo...
-
Category Theory and the Representation of Geometrical InformationIn F. D. Anger & R. V. Rodriguez (eds.), Spatial and Temporal Reasoning, Aaai. 1994.
-
153Simulation, 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.
-
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 |