-
10The Philosophy of Computer LanguagesIn Luciano Floridi (ed.), The Blackwell Guide to the Philosophy of Computing and Information, Blackwell. 2004.The prelims comprise: Introduction: Two Semantic Projects History The Uses of Semantics Conclusions.
-
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
-
24Lewis, Causality, and Possible WorldsDialectica 54 (2): 133-137. 2000.David Lewis' account of counterfactuals is based on a relation of comparative similarity between possible worlds. We investigate what this relation might amount to in the case where the possible worlds are trajectories of dynamic systems: for most dynamic systems, there are unexpected difficulties in defining the sort of relation that Lewis requires. The difficulties are related to a pervasive, but counter-intuitive, feature of dynamic systems called non-integrability.
-
Queen Mary University of LondonSchool of Electronic Engineering and Computer ScienceSenior Lecturer
London, London, City of, United Kingdom of Great Britain and Northern Ireland
Areas of Specialization
Medieval Logic |
Proof Theory |
Mathematical Logic |
Areas of Interest
7 more