Richard Grandy

MEDIEVAL LOGICNORMAN KRETZMANN, Infinity and continuity in ancient and medieval thought. Ithaca and London: Cornell University Press, 1982. 367 pp. $36.lO/£20.75.A. MAIERÙ, English logic in Italy in the 14th and 15th centuries. Acts of the 5th European Symposium on Medieval Logic and Semantics. Rome 10-14 November 1980. Napoli: Bibliopolis, 1982. 388 pp. 60,000 lire.PHENOMENOLOGY AND LOGICBARRY SMITH, Parts and moments. Studies in logic and formal ontology.Miinchen, Wien: Philosophia Verlag, 1982. 564 pp. 198 DM.R. SCHMIT, Husserls Philosophie der Mathematik. Platonistische und konstruktivistische Momente in Husserls Mathematikbegriff. Bonn: Bouvier Verlag Herbert Grundmann, 1981. 159 pp. No price stated.K. LEWIN, Werkausgabe, vol. I, Wissenschaftstheorie I. Edited by Alexandre Metraux. Bern: Huber; Stuttgart: Klett-Cotta; 1981. 400 pp. $32.50.A. SCHUTZ, Life forms and meaning structure. Translated, introduced and annotated by H.R.Wagner. London, Boston, Melbourne and Henley: Routledge & Kegan Paul, 1982. v + 217 pp. £11.95.INTUITIONISTIC LOGIC>L.E.J. BROUWER, Brouwer's Cambridge lectures on intuitionism. Edited by D. van Dalen. Cambridge, New York and Melbourne: Cambridge University Press, 1981. xii + 109 pp. £9.95.A.S. TROELSTRA, Choice sequences. A chapter of intuitionistic mathematics. Oxford: Clarendon Press, 1977. vi + 170 pp. £6.00.LOGIC AND LANGUAGEH. BURKHARDT, Logik und Semiotik in der Philosophie von Leibniz. Munchen: Philosophia Verlag, 1980. 487 S. 178 DM.HANS AARSLEFF, From Locke to Saussure. Essays on the study of language and intellectual history. London: Athlone Press, 1982. ix + 422 pp. £18.00.JAMES D. MCCAWLEY, Everything that linguists have always wanted to know about logic* *but were ashamed to ask. Oxford: Basil Blackwell, 1981. xv + 508 pp. £15.00.PHILOSOPHY OF SCIENCEJACK W. MEILAND and MICHAEL KRAUSZ, Relativism-cognitive and moral.Notre Dame and London: University of Notre Dame Press, 1982. x + 260 pp. £14.00 /£6.95.KARL R. POPPER, Die beiden Grundproblem der Erkenntnistheorie. Edited by Troels Eggers Hansen. Tübingen: J.C.B. Mohr, 1979. xxxv + 476 pp. 49 DM.KARL R. POPPER, Quantum theory and the schism in physics. Edited by W.W.Bartley, 111. London: Hutchinson, 1982. xviii + 229 pp. £15.00.KARL R. POPPER, The open universe. An argument for indeterminism. Edited by W.W. Bartley, 111. London: Hutchinson, 1982. xxii + 185 pp. £15.00.E. MORSCHER, 0. NEUMAIER and G. ZECHA, Philosophie als Wissenschaft/Essays in scientific philosophy. Dedicated to Paul Weingartner. Bad Reichenhall: Comes Verlag, 1981. 470 pp. ASch 495/DM 68/$32.00.MISCELLANEOUSPAUL THOM, The syllogism. Munich: Philosophia Verlag, 1981. 312 pp.,128 DM.BERNARD BOLZANO, Philosophische Tagebiicher. Edited by Jan Berg. Stuttgart–Bad Cannstadt: F. Frommann, 1979-1981. 246, 172, 182 pp. No price stated.

This book is intended to be a survey of the most important results in mathematical logic for philosophers. It is a survey of results which have philosophical significance and it is intended to be accessible to philosophers. I have assumed the mathematical sophistication acquired· in an introductory logic course or in reading a basic logic text. In addition to proving the most philosophically significant results in mathematical logic, I have attempted to illustrate various methods of proof. For example, the completeness of quantification theory is proved both constructively and non-constructively and relative ad vantages of each type of proof are discussed. Similarly, constructive and non-constructive versions of Godel's first incompleteness theorem are given. I hope that the reader· will develop facility with the methods of proof and also be caused by reflect on their differences. I assume familiarity with quantification theory both in under standing the notations and in finding object language proofs. Strictly speaking the presentation is self-contained, but it would be very difficult for someone without background in the subject to follow the material from the beginning. This is necessary if the notes are to be accessible to readers who have had diverse backgrounds at a more elementary level. However, to make them accessible to readers with no background would require writing yet another introductory logic text. Numerous exercises have been included and many of these are integral parts of the proofs.

H.P. Grice is a distinguished philosopher predominantly known for his influential contributions to the philosophy of language, but that is only one strand in a rich tapestry of ideas bearing on the philosophy of mind, ethics, and metaphysics as well. Some of the essays in this collection of original papers by leading philosophers edited by Grandy and Warner develop Grice's earlier work in the philosophy of language, but most of them discuss or present his newer and less-known work. Together they demonstrate the unified and powerful character of his thoughts on being, mind, meaning, and morals. An introductory essay provides some of the first overview of Grice's thought, and makes explicit some of the relations among the essays. Grice's substantial response is followed by nineteen contributed papers whose authors include Donald Davidson, Stephen Schiffer, John Searle, and P.F. Strawson. The Times Literary Supplement writes of Grice: 'the only leader of whom it is true that the level of the discipline would be raised if most philosophers took him as a model of how to think and write.' This paperback edition replaces the hardback, published March 1986.