-
Actions, Ramification and Linear ModalitiesLinköping Electronic Articles in Computer and Information Science 3 (11). 1998.
-
16Theology and Logic: The Case of EbelingModern Theology 3 (1): 211--225. 1987.We examine Gerhard Ebeling's arguments against the use of logic in theology and find them unconvincing, mainly because Ebeling knows very little about logic as practiced.
-
Ockham and WittgensteinIn W. Vossenkuhl & R. Schönberger (eds.), Die Gegenwart Ockhams, . pp. 165--188. 1990.
-
110Lewis, causality, and possible worldsDialectica 54 (2). 2000.We show that, given standard assumptions about classical dynamical systems, Lewis' conception of possible worlds is incompatible with classical physics in that it would imply that all dynamical systems were integrable.
-
11Essay 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.
-
Reflections on the Present ConflictIn Jenny Teichman & G. Graham White (eds.), Modern European Philosophy, Macmillan. 1994.
-
88Descartes Among the Robots: Computer Science and the Inner/outer DistinctionMinds and Machines 21 (2): 179-202. 2011.We consider the symbol grounding problem, and apply to it philosophical arguments against Cartesianism developed by Sellars and McDowell: the problematic issue is the dichotomy between inside and outside which the definition of a physical symbol system presupposes. Surprisingly, one can question this dichotomy and still do symbolic computation: a detailed examination of the hardware and software of serial ports shows this
-
1The Philosophy of Programming LanguagesIn L. Floridi (ed.), The Blackwell Guide to the Philosophy of Computing and Information, Blackwell. pp. 237--247. 2004.
-
Contexts for Human ActionIn Erol Gelenbe, Samson Abramsky & Vladimiro Sassone (eds.), Visions of Computer Science, British Computer Society. pp. 51--60. 2008.
-
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 |