Stephen Read

Thomas Reid was one of the greatest philosophers of the eighteenth century and a contemporary of Kant's. This volume is part of a new wave of international interest in Reid from a new generation of scholars. The volume opens with an introduction to Reid's life and work, including biographical material previously little known. A classic essay by Reid himself - 'Of Power' - is then reproduced, in which he sets out his distinctive account of causality and agency. This is followed by ten original essays exploring different aspects of Reid's philosophy, as well as his relation to other thinkers, such as Kant, Priestley, and Moore

The idea of proof-theoretic validity originated in the work of Gentzen, when he suggested that the meaning of each logical expression was encapsulated in its introduction-rules. The idea was developed by Prawitz and Dummett, but came under attack by Prior under the soubriquet 'analytic validity'. Logical truths and logical consequences are deemed analytically valid by virtue of following, in a way which the present chapter clarifies, from the meaning of the logical constants. But different logics are based on different rules, confer different meanings and so validate different theorems and consequences, some of which are arguably not true or valid at all. It seems to follow that some analytic statements are in fact false. The moral is that we must be careful what rules we adopt and what meanings we use our rules to determine.

Thomas Bradwardine makes much of the fact that his solution to the insolubles is in accordance with Aristotle's diagnosis of the fallacy in the Liar paradox as that of secundum quid et simpliciter. Paul Spade, however, claims that this invocation of Aristotle by Bradwardine is purely "honorary" in order to confer specious respectability on his analysis and give it a spurious weight of authority. Our answer to Spade follows Bradwardine's response to the problem of revenge: any proposition saying of itself that it is false says more than does Bradwardine's proposition saying of it that it is false, and so follows from that other proposition only in respect of part of what it says, and not simpliciter.

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.

Inferentialism claims that expressions are meaningful by virtue of rules governing their use. In particular, logical expressions are autonomous if given meaning by their introduction-rules, rules specifying the grounds for assertion of propositions containing them. If the elimination-rules do no more, and no less, than is justified by the introduction-rules, the rules satisfy what Prawitz, following Lorenzen, called an inversion principle. This connection between rules leads to a general form of elimination-rule, and when the rules have this form, they may be said to exhibit “general-elimination” harmony. Ge-harmony ensures that the meaning of a logical expression is clearly visible in its I-rule, and that the I- and E-rules are coherent, in encapsulating the same meaning. However, it does not ensure that the resulting logical system is normalizable, nor that it satisfies the conservative extension property, nor that it is consistent. Thus harmony should not be identified with any of these notions.

Kretzmann and Spade were led by Richard Kilvington’s proposed revisions to the rules of obligations in his discussion of the 47th sophism in his Sophismata to claim that the purpose of obligational disputations was the same as that of counterfactual reasoning. Angel d’Ors challenged this interpretation, realising that the reason for Kilvington’s revision was precisely that he found the art of obligation unsuited to the kind of reasoning which lay at the heart of the sophismatic argument. In his criticism, Kilvington focussed on a technique used by Walter Burley to force a respondent to grant an arbitrary falsehood and similar to Lewis and Langford’s famous defence of ex impossibili quodlibet. Kilvington observes that just as in obligational disputation, one may be obliged to grant a false proposition and deny a true one, so in counterfactual reasoning one may be obliged to doubt a proposition whose truth or falsity one knows, on pain of contradiction.

Jan Lukasiewicz's treatise on Aristotle's Syllogistic, published in the 1950s, has been very influential in framing contemporary understanding of Aristotle's logical systems. However, Lukasiewicz's interpretation is based on a number of tendentious claims, not least, the claim that the syllogistic was intended to apply only to non-empty terms. I show that this interpretation is not true to Aristotle's text and that a more coherent and faithful interpretation admits empty terms while maintaining all the relations of the traditional square of opposition

What makes necessary truths true? I argue that all truth supervenes on how things are, and that necessary truths are no exception. What makes them true are proofs. But if so, the notion of proof needs to be generalized to include verification-transcendent proofs, proofs whose correctness exceeds our ability to verify it. It is incumbent on me, therefore, to show that arguments, such as Dummett's, that verification- truth is not compatible with the theory of meaning, are mistaken. The answer is that what we can conceive and construct far outstrips our actual abilities. I conclude by proposing a proof-theoretic account of modality, rejecting a claim of Armstrong's that modality can reside in non-modal truthmakers.

In his article "Verdades antiguas y modernas" (in the same issue, pp. 207-27), David Miller criticised Thomas Bradwardine’s theory of truth and signification and my defence of Bradwardine’s application of it to the semantic paradoxes. Much of Miller’s criticism is sympathetic and helpful in gaining a better understanding of the relationship between Bradwardine’s proposed solution to the paradoxes and Alfred Tarski’s. But some of Miller’s criticisms betray a misunderstanding of crucial aspects of Bradwardine’s account of truth and signification.

Desde que Tarski publicó su estudio sobreel concepto de verdad en los años 30, hasido una práctica ortodoxa el considerarque t oda i nst anci a del esquema T esverdadera. Sin embargo, algunas instanciasdel esquema son falsas. Éstas incluyen lasi nst anci as paradój i cas ej empl i f i cadaspor la oración del mentiroso. Aquí sedemuestra que un esquema mejor permiteun tratamiento uniforme de la verdad enel que las paradojas semánticas resultanser simplemente falsas.Si nc e Ta r s ki publ i s he d hi s s t udy ofthe concept of truth in the 1930s, it hasbeen orthodox practice to suppose thatevery instance of the T-schema is true.However, some instances of the schemaare false. These include the paradoxicalinstances exemplified by the Liar sentence.It is shown that a better schema allows auniform treatment of truth in which thesemantic paradoxes turn out to be simplyfalse

The ?no???no? paradox (so-called by Sorensen) consists of a pair of propositions each of which says of the other that it is false. It is not immediately paradoxical, since it has a solution in which one proposition is true, the other false. However, that is itself paradoxical, since there is no clear ground for determining which is which. The two propositions should have the same truth-value. The paper shows how a proposal by the medieval thinker Thomas Bradwardine solves not only the Liar paradox, but also symmetric paradoxes like the ?no???no?, the descending ?no???no?, and the Truth-teller paradoxes

Gabriel Nuchelmans, Dilemmatic arguments. Towards a history of their logic and rhetoric. (Verhandelingen der Koninklijke Nederlandse Akademie van Weten-schappen, Afd. Letterkunde, Nieuwe Reeks, deel 145.) Amsterdam, New York, Oxford, Tokyo:North-Holland, 1991. 152pp. No price stated Francis P. Dinneen (trans.), Peter of Spain:language in dispute. Amsterdam and Philadelphia: John Benjamins Publishing Company, 1990. xxxix + 271 pp. Hfl. 110/$58.00 Charles H. Manekin, The logic of Gersonides. A translation of Sefer ha-heqqesh ha-yashar (The Book of the Correct Syllogism) of Rabbi Levi ben Gershom with introduction, commentary and analytical glossary. Dordrecht, Boston and London:Kluwer Academic Publishers, 1992. xii + 341 pp. £61.00 F. P. Ramsey, Notes on philosophy, probability and mathematics. Edited by Maria Carla Galavotti. Naples:Bibliopolis, 1991 [published 1992]. 349 pp. No price stated Thomas Drucker (ed.), Perspectives on the History of Mathematical Logic. Boston, Basel, Berlin; Birkhäuser, 1991. xxiii 4- 195 pp. 108 SFr./128 DM J.P. Cleave, A study of logics. (Oxford Logic Guides, volume 18.) Oxford:Clarendon Press, 1991. xiii + 417 pp. £65.00 Hartry Field, Realism, mathematics and modality. Oxford (UK) and Cambridge (USA):Blackwell, 1989 (paperback 1991). viii + 290 pp. £14.95 T.E. Forster, Set theory with a universal set, exploring an untyped universe. Oxford:Clarendon Press, 1992. viii + 152 pp., £25.00 Mark Sainsbury, Logical forms:an introduction to philosophical logic. Cambridge, Mass, and Oxford: Basil Blackwell Publishers, 1991. viii + 398 pp. £40.00 (cloth), £11.95 (paper) L.C. Burns, Vagueness. An investigation into natural languages and the sorites paradox. (Reason and Argument, Volume 4.) Dordrecht, Boston and London:Kluwer, 1991. xii + 202 pp. dollar;130.00/£74.00/dfl 130 Douglas Walton, Slippery slope arguments. Oxford:The Clarendon Press, 1992. xi + 296 pp. £35.00 Bas Van Fraassen, Quantum mechanics. An empiricist view. Oxford:Clarendon Press, 1991. xvi + 541 pp. £50.00 (hardback)/£17.50 (paper) R. Giuntini, Quantum logic and hidden variables. (Grundlagen der exakten Naturwissenschaften, Bd. 8.) Mannheim, Vienna and Zürich:BI-Wissenschaf ts-verlag, 1991. x + 184 pp. No price stated W. Spohn, B.C. Van Fraassn And B. Skyrms (eds.), Existence and explanation:essays presented in honor of Karel Lambert. Dordrect, Boston and London: Kluwer Academic Publishers, 1991. xii 4- 243 pp. £56.00 Michele Di Francesco, Il realismo analitico. Logica, ontologia e significato nel primo Russell (Saggi, 28.) Milan:Guerini, 1991. 269 pp. 30,000 Lire Kenneth Blackwell and Carl Spadont (eds.), A detailed catalogue of the second archives of Bertrand Russell. Bristol:Thoemmes Press, 1992. xxvi + 433 pp. £60.00.

_ Source: _Volume 54, Issue 4, pp 335 - 355 Ian Rumfitt has recently drawn our attention to a couple of paradoxes of signification, claiming that although Thomas Bradwardine’s “multiple-meanings” account of truth and signification can solve the first of them, it cannot solve the second. The paradoxes of signification were in fact much discussed by Bradwardine’s successors in the fourteenth century. Bradwardine’s solution appears to turn on a distinction between the principal and the consequential signification of an utterance. However, although such a distinction played an important role in his successors’ theories, it is shown that Bradwardine’s account of signification does not admit any such distinction, no part being prior to the others. Accordingly his solution, unlike those of his successors, does not fall prey to Rumfitt’s paradoxes.

Intentional verbs create three different problems: problems of non-existence, of indeterminacy, and of failure of substitutivity. Meinongians tackle the first problem by recognizing non-existent objects; so too did many medieval logicians. Meinongians and the medievals approach the problem of indeterminacy differently, the former diagnosing an ellipsis for a propositional complement, the latter applying their theory directly to non-propositional complements. The evidence seems to favour the Meinongian approach. Faced with the third problem, Ockham argued bluntly for substitutivity when the intentional complement is non-propositional; Buridan developed a novel way of resisting substitutivity. Ockham's approach is closer to the Meinongian analysis of these cases; Buridan's seems to raise difficulties for a referential semantics. The comparision between the Meinongian and medieval approaches helps to bring out merits and potential pitfalls of each.