Stephen Read

The correspondence theory of truth has experienced something of a revival recently in the form of the Truthmaker Axiom: whatever is true, something makes it true. We consider various postulates which have been proposed to characterize truthmaking, in particular, the Disjunction Thesis (DT), that whatever makes a disjunction true must make one or other disjunct true. In conjunction with certain other assumptions, DT leads to triviality. We show that there are elaborations of truthmaking on which DT holds (which must therefore take steps to avoid the triviality); but that there are more plausible accounts of truthmaking on which DT fails.

MEDIEVAL LOGICCARLOS A. DUFOUR, Die Lehre der Proprietates Terminorum. Sinn und Referenz in mittelalterlicher Logik. München, Hamden, Wien: Philosophia, 1989. 312 pp. 148 DM.NORMAN KRETZMANN and BARBARA ENSIGN KRETZMANN The Sophismata of Richard Kilvington. Oxford: Published for the British Academy by Oxford University Press, 1990. xx + 156 pp. £27.50.LOGIC AND MATHEMATICSSOULEYMANE BACHIR DIAGNE, Boole. Paris: Editions Belin, 1989. 262pp. 75 Ffr.M.-M. TOEPELL, Über die Entstehung von David Hilberts “Grundlagen der Geometrie”. Göttingen: Vandenhoeck und Ruprecht, 1986. vii + 293 pp. 82 DM.VOLKER PECKHAUS, Hilbertprogramm und Kritische Philosophie. Das Göttinger Model1 interdisziplinarer Zusammenärbeit zwischen Mathematik und Philosophie. Gottingen: Vandenhoeck und Ruprecht, 1990. vi + 291 pp. 78 DM.E. WELTI, Die Philosophie des Strikten Finitismus, Entwicklungstheoretische und mathematische Untersuchungen iiber Unendlichkeitsbegriffe in Ideengeschichte und Mathematik, Bern, Frankfurt am Main und New York: Peter Lang, 1986. xxix + 652pp. $79.90.Philosophy of logicMARK A. NOTTURNO, Perspectives on psychlogism. Leiden, New York, Copenhagen and Cologne: E. J. Brill, 1989. viii + 504 pp. 225 Dfl/$112.50.ROBERT N. MCLAUGHLIN, On the logic of ordinary conditionals. Albany: State University of New York Press, 1990. xvii + 202 pp. $54.50 /$17.95.JAAKKO HINTIKKA and MERRILL HINTIKKA, The logic of epistemology and the epistemology of logic: selected essays. Dordrecht, Boston and London: Kluwer Academic Publishers, 1989.J. NORMAN and R. SYLVAN, Directions in relevant logic. Foreword by N. D. Belnap. Dordrecht, Boston and London: Kluwer Academic Publishers, 1989. xii + 453 pp. £72.00.LOGIC AND LANGUAGEC. J. F. WILLIAMS, What is identity? Oxford: Clarendon Press, 1989. xx + 207 pp. £25.00.GREGORY MCCULLOCH, The game of the name. Oxford: Oxford University Press, 1989. xvi + 320pp. £30.00, £9.95.GRAEME FORBES, Languages of possibility. Oxford: Basil Blackwell, 1989. x + 181 pp. £27.50.

MEDIEVAL AND RENAISSANCE LOGICSIMON OF FAVERSHAM, Quaestiones super Libro Elenchorum. Text in Latin with introduction and notes in English, edited by Sten Ebbesen, Thomas Izbicki, John Longeway, Francesco del Punta, Eileen Serene and Eleonore Stump. Toronto: Pontifical Institute of Mediaeval Studies, 1984. xiv + 270 pp. $3 1.OO.JACOPO ZABARELLA, De methodis libri quatuor; Liber de regressu. Edited by Cesare Vasoli. Bologna: Editrice CLUEB, 1985. xxxviii+ 193 pp. Lire 57,000.EDITIONSG. W. F. HEGEL, Wissenschafl der Logik. Erster Teil. Die objektive Logik, Erster Band. Die Lehre von Sein. Herausgegeben von F. Hogemann und W. Jaeschke. Hamburg: Felix Meiner Verlag, 1985. x + 448 S. DM 140.BERNARD BOLZANO, Wissenschaftslehre, Sects. 1-45. Edited and introduction Jan Berg. Stuttgart-Bad Cannstatt: Friedrich Fromman, 1985. 269 pp. No price stated.MAX H. FISCH, C. J. W. KLOESEL, E. C. MOORE and DON D.ROBERTS, LYNN A. ZIEGLER, Writings of Charles S. Peirce: a chronological edition. Bloomington, Indiana: Indiana University Press. Vol. I 1857-1866. 1982. xxxv + 698 pp. $32.50. Vo l. I1 1867-1871. 1984. xlviii + 649 pp. with introductory essays by Max H. Fisch, C. F. Delaney and Daniel D. -Merrill. $35.00.ALFRED TARSKI, Logic, semantics, metamathematics. Translated by J. H. Woodger. Second edition, edited and introduced by John Corcoran. Philadelphia: Hackett, 1983, xxx+ 506 pp. $50.00/£37.50 ; $29.50/&27.50.J. MITTELSTRASS, Enzyklopadie Philosophie und Wissenschaftstheorie, Bd.2: H-0. Mannheim, Wien, Zurich: Bibliographisches Institut, 1984. 1105 pp. DM 156.LOGIC AND MATHEMATICSA. GROTE, Anzahl, Zahl und Menge. Die phanomenologische Grundlagen der Arithmetik. Hamburg: Meiner, 1983. vii + 143 pp. DM 36.VICTOR LOWE, Alfred North Whitehead: the man and his work. Volume 1: 1861-1910. Baltimore and London: The Johns Hopkins University Press, 1985. xi+ 351 pp. $27.50/£26.40.MURIEL SELTMAN and PETER SELTMAN, Piaget's logic: a critique of genetic epistemology. London, Boston and Sydney: George Allen and Unwin, 1985. ix+ 353 pp. £30.00.MORRIS KLINE, Mathemafics: the loss of certainty. New York: Oxford University Press, 1980. vi + 366 pp. $19.95.RACHEL WALLACE GARDEN, Modern logic and quantum mechanics. Bristol: Adam Hilger, 1983. xii+ 178 pp. £18.00.LOGIC AND LANGUAGEH. LEBLANC, E. MENDELSON and A. ORESTEIN, Logic, language, and mathematics. Dordrecht and Boston: D. Reidel Publishing Company, 1984, 282 pp. Dfl.90/$34.50.R. M. MARTIN, Mind, modality, meaning and method. Albany, New York: State University of New York Press, 1983. xiv+ 225 pp. $44.50 /$16.95.HERBERT HOCHBERG, Logic, ontology, and language-essays on truth and reality. Miinchen and Wein: Philosophia Verlag, 1984. 448 pp., $74.00.

Frege’s project has been characterized as an attempt to formulate a complete system of logic adequate to characterize mathematical theories such as arithmetic and set theory. As such, it was seen to fail by Gödel’s incompleteness theorem of 1931. It is argued, however, that this is to impose a later interpretation on the word ‘complete’ it is clear from Dedekind’s writings that at least as good as interpretation of completeness is categoricity. Whereas few interesting first-order mathematical theories are categorical or complete, there are logical extensions of these theories into second-order and by the addition of generalized quantifiers which are categorical. Frege’s project really found success through Gödel’s completeness theorem of 1930 and the subsequent development of first- and higher-order model theory

What binds the constituents of a state of affairs together and provides unity to the fact they constitute? I argue that the fact that they are related is basic and fundamental. This is the thesis of Factualism: the world is a world of facts. I draw three corollaries: first, that the Identity of truth is mistaken, in conflating what represents (the proposition) with what is represented (the fact). Secondly, a popular interpretation of Wittgenstein's Tractatus, due to Steinus, whereby false propositions are taken to picture non-existent state of affairs, cannot be right. For Wittgenstein, propositions had two poles, and a proposition and its negation picture the same fact. Finally, the metaphysics of modal realism must be wrong, for there are no non-actual states of affairs to constitute any world other than the actual world. (Published Online October 13 2005).