•  10
    The prelims comprise: Introduction: Two Semantic Projects History The Uses of Semantics Conclusions.
  •  77
    Book reviews (review)
    with Jack S. Boozer, Gerhard Böwering, Stephen N. Dunning, Richard E. Palmer, Haim Gordon, J. Kellenberger, Jerald Wallulis, Thomas O. Buford, C. Stephan Evans, and M. Jamie Ferreira
    International Journal for Philosophy of Religion 23 (1): 43-63. 1988.
  •  236
    Mathematics, isomorphism, and the identity of objects
    Journal of Knowledge Structures and Systems 2 (2): 56-58. 2021.
    We compare the medieval projects of commentaries and disputations with the modern projects of formal ontology and of mathematics.
  •  26
    We examine a series of disputations which Luther participated in towards the end of his career: we argue that these disputations show that Luther was very familiar with the tools of medieval formal logic, and continued to make positive theological use of them until the end of his life.
  •  1024
    We start with the ambition -- dating back to the early days of the semantic web -- of assembling a significant portion human knowledge into a contradiction-free form using semantic web technology. We argue that this would not be desirable, because there are concepts, known as essentially contested concepts, whose definitions are contentious due to deep-seated ethical disagreements. Further, we argue that the ninetenth century hermeneutical tradition has a great deal to say, both about the ambiti…Read more
  •  24
    Notions of Information: Remarks on Fresco’s Paper
    Philosophy and Technology 26 (1): 61-65. 2013.
    We compare Fresco’s analysis of the Turing machine-based notion of computation with that of others, in particular with functional programming and with the reversible computing paradigm of Toffoli and others. We conclude that, although much useful philosophical work can be done by the sort of analysis that Fresco proposes, there is, nevertheless, always likely to be a number of individually viable but different accounts of computation
  • Notices
    Ratio. 1988.
  •  23
    Luther on Ecclesiastes and the limits of human ability
    Neue Zeitschrift für Systematicsche Theologie Und Religionsphilosophie 29 (1-3): 180-194. 1987.
    We analyse Luther's commentary on the biblical book of Ecclesiastes, and describe the rather elaborate theory of causality and power which he uses.
  •  39
    Medieval Theories of Causation
    Stanford Encyclopedia of Philosophy. 2018.
    Causality plays an important role in medieval philosophical writing: even before the rediscovery of Aristotle's major works, the created universe was seen as a rational manifestation of God's action. In the later Middle Ages, the dominant genre of medieval academic writing was the commentary on an authoritative work: Aristotle's Physics and Metaphysics were frequently commented on, and both contain a great deal of material on causation. So the nature of the philosophical and theological themes…Read more
  •  22
    Hardware, Software, Humans: Truth, Fiction and Abstraction
    History and Philosophy of Logic 36 (3): 278-301. 2015.
    We start with a example of assembler programming, and show how even at this low level the structure of the programming language does not directly mirror the structure of the hardware, but that it is also decisively influenced by the human practices surrounding computer use, and that assembly language gives a view of the hardware which is accommodated to human interests and capabilities. We give several historical examples and illustrate the changing pattern of mutual accommodation between human …Read more
  • Books Received (review)
    Ratio 95. 1988.
  •  12
    An introduction to modern European philosophy (edited book)
    with Jenny Teichman
    St. Martin's Press. 1995.
    An Introduction to Modern European Philosophy , contains scholarly but accessible essays by nine British academics on Hegel, Schopenhauer, Kierkegaard, Marx, Nietzsche, Husserl, Heidegger, Sartre, Simone de Beauvoir, Maritain, Hannah Arendt, Habermas, Foucault, and the 'Events' of 1968. Written for English-speaking readers, it describes the varied traditions within 19th- and 20th-century European philosophy, reflecting the dynamism and plurality within the European tradition and presenting oppos…Read more
  •  20
    Handbook of philosophical logic (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...
  • Papers of the 16th International Wittgenstein Symposium, vol. I (edited book)
    The Austrian Ludwig Wittgenstein Society. 1993.
  •  1749
    Online collection of papers by Devitt, Dretske, Guarino, Hochberg, Jackson, Petitot, Searle, Tye, Varzi and other leading thinkers on philosophy and the foundations of cognitive Science. Topics dealt with include: Wittgenstein and Cognitive Science, Content and Object, Logic and Foundations, Language and Linguistics, and Ontology and Mereology.