Stephen Read

Roger Swyneshed, in his treatise on insolubles, dating from the early 1330s, drew three notorious corollaries from his solution. The third states that there is a contradictory pair of propositions both of which are false. This appears to contradict what Whitaker, in his iconoclastic reading of Aristotle’s De Interpretatione, dubbed “The Rule of Contradictory Pairs”, which requires that in every such pair, one must be true and the other false. Whitaker argued that, immediately after defining the notion of a contradictory pair, in which one statement affirms what the other denies of the same thing, Aristotle himself gave counterexamples to the rule. This gives some credence to Swyneshed’s claim that his solution to the logical paradoxes is not contrary to Aristotle’s teaching, as many of Swyneshed’s contemporaries claimed. Insolubles are false, he said, because they falsify themselves; and their contradictories are false because they falsely deny that the insoluble itself is false. Swyneshed’s solution depends crucially on the revision he makes to the acount of truth and falsehood, brought out in his first thesis: that a false proposition can signify as it is, or as Paul of Venice, who took up and developed Swyneshed’s solution some sixty years later, puts it, a false proposition can have a true significate. Swyneshed gave a further counterexample to when he claimed that some insolubles, like future contingents, are neither true nor false. Dialetheism, the contemporary claim that some propositions are both true and false, is wedded to the Rule, and in consequence divorces denial from the assertion of the contradictory negation. Consequently, Swyneshed’s logical heresy is very different from that found in dialetheism.

In order to explicate Gentzen’s famous remark that the introduction-rules for logical constants give their meaning, the elimination-rules being simply consequences of the meaning so given, we develop natural deduction rules for Sheffer’s stroke, alternative denial. The first system turns out to lack Double Negation. Strengthening the introduction-rules by allowing the introduction of Sheffer’s stroke into a disjunctive context produces a complete system of classical logic, one which preserves the harmony between the rules which Gentzen wanted: all indirect proof reduces to direct proof.

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.

_ Source: _Page Count 21 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.

In his recent study, Concepts, Fodor identifies five nonnegotiable constraints on any theory of concepts. These theses were all shared by the standard medieval theories of concepts. However, those theories were cognitivist, in contrast with Fodor’s: concepts are definitions, a form of natural knowledge. The medieval theories were formed under two influences, from Aristotle by way of Boethius, and from Augustine. The tension between them resulted in the Ockhamist notion of a natural language, concepts as signs. Thus conventional signs, spoken and written, signify things in the world by the mediation of concepts which themselves form a language of thought, signifying those things naturally by their similarity. Indeed, later thinkers realised that everything signifies itself and what is like it naturally in a broad sense by means of the concept of its natural likeness

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

Stephen Read - Johannes Buridanus: Summulae de Practica Sophismatum - Journal of the History of Philosophy 45:1 Journal of the History of Philosophy 45.1 157-158 Muse Search Journals This Journal Contents Reviewed by Stephen Read University of St. Andrews Fabienne Pironet, editor. Johannes Buridanus: Summulae de Practica Sophismatum. Artistarium 10–9. Turnhout: Brepols 2004. Pp. xlix + 193. Paper, €40.00. John Buridan was an unusual figure in fourteenth-century logic and philosophy. Logic was at that time largely the preserve of the young, who would lecture on logic while studying in higher faculties such as theology, before moving on to lecture in their maturity on philosophy and theology. Two notable exceptions are the Englishman Walter Burley and the Frenchman from Picardy, John Buridan. Already active in the Arts Faculty at Paris in the late 1320s, Buridan was still there thirty years later. In the meantime, among other works on metaphysics, ethics, politics, and natural philosophy, he..

Paul of Venice joined the Austin Friars at an early age and was sent by them from Padua to study at Oxford in 1390. When he returned, full of ideas and laden with books, he began his prodigious writing career with several books on logic, including the Logica Magna, which runs to some half a million words. The current volume contains the final treatise, on insolubles - that is, logical paradoxes. After surveying fifteen previous solutions, Paul develops his own, based on the idea that such propositions falsify themselves. Besides a critical edition of the Latin text, the volume also contains an English translation, a detailed commentary, excerpts from two other logical works of Paul, and a substantial introduction. The introduction describes the fourteenth-century background to Paul's treatise; it also gives a detailed rebuttal of a recent claim that the Logica Magna is not by Paul because its content clashes with genuine works of his. All in all, the volume greatly enhances our understanding of the development of logic, in particular of the semantics of propositions, during a crucial century in its history.

This book presents the very latest research on the medieval use of sophisms in logical and grammatical investigation by twenty-three of the leading experts in Europe and beyond. Important insights into the genre of sophismatic treatises have been gained only very recently, and the organisation of the European Symposium on this topic in 1990 led to a concentration of research and evaluation of insights. The papers are divided into three groups: one covers textual study and analysis of the role of sophisms in the medieval curriculum; another deals with grammatical sophisms; and the third covers particular logical sophisms, from 'Man is the worthiest of creatures' and problems in the theory of reference to the Liar paradox and the work of William of Ockham.

In line with the Principle of Uniform Solution, Graham Priest has challenged advocates like myself of the “multiple-meanings” solution to the paradoxes of truth and knowledge, due to the medieval logician Thomas Bradwardine, to extend this account to a similar solution to the paradoxes of denotation, such as Berry’s, König’s and Richard’s. I here rise to this challenge by showing how to adapt Bradwardine’s principles of truth and signification for propositions to corresponding principles of denotation and signification for descriptive phrases, applying them to give a “multiple-meanings” solution to the denotational paradoxes.

Gabriel Nuchelmans, Dilemmatic arguments. Towards a history of their logic and rhetoric. Amsterdam, New York, Oxford, Tokyo:North-Holland, 1991. 152pp. No price stated Francis P. Dinneen, 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 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, 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:Clarendon Press, 1991. xiii + 417 pp. £65.00 Hartry Field, Realism, mathematics and modality. Oxford and Cambridge :Blackwell, 1989. 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, £11.95 L.C. Burns, Vagueness. An investigation into natural languages and the sorites paradox. 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 /£17.50 R. Giuntini, Quantum logic and hidden variables. 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, 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 Milan:Guerini, 1991. 269 pp. 30,000 Lire Kenneth Blackwell and Carl Spadont, A detailed catalogue of the second archives of Bertrand Russell. Bristol:Thoemmes Press, 1992. xxvi + 433 pp. £60.00