Graham White

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...

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.

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

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.

We argue that the unexpected examination paradox can be regarded as showing that the logic of temporally indexed epistemic states, although it is intuitively appealing, cannot be recursively axiomatised.