According to the received view (Boche?ski, Kneale), from the end of the fourteenth to the second half of nineteenth century, logic enters a period of decadence. If one looks at this period, the richness of the topics and the complexity of the discussions that characterized medieval logic seem to belong to a completely different world: a simplified theory of the syllogism is the only surviving relic of a glorious past. Even though this negative appraisal is grounded on good reasons, it (...) overlooks, however, a remarkable innovation that imposes itself at the beginning of the sixteenth century: the attempt to connect the two previously separated disciplines of logic and mathematics. This happens along two opposite directions: the one aiming to base mathematical proofs on traditional (Aristotelian) logic; the other attempting to reduce logic to a mathematical (algebraical) calculus. This second trend was reinforced by the claim, mainly propagated by Hobbes, that the activity of thinking was the same as that of performing an arithmetical calculus. Thus, in the period of what Boche?ski characterizes as ?classical logic?, one may find the seeds of a process which was completed by Boole and Frege and opened the door to the contemporary, mathematical form of logic. (shrink)

In a text written during his stay in Paris, Leibniz, to deny ontological reality to relations, employs an argument well known to the medieval thinkers and which later would be revived by Francis H. Bradley. If one assumes that relations are real and that a relation links any property to a subject – so runs the argument – then one falls prey to an infinite regress. Leibniz seems to be well aware of the consequences that this argument has for his (...) own metaphysical views, where the relation of inherence plays such a central role. Thus, he attempts first to interpret the relation of inherence as something ‘metaphoric’, originating from our ‘spatial way’ of looking at the surrounding world; and then he tries to reduce it to the part-whole relation which clearly he considers weaker, from the ontological point of view, than that of ‘being in’. (shrink)

MEDIEVAL LOGICS LAMBERT MARIE DE RIJK (ed.), Die mittelalterlichen Traktate De mod0 opponendiet respondendi, Einleitung und Ausgabe der einschlagigen Texte. (Beitrage zur Geschichte der Philosophie und Theologie des Mittelalters, Neue Folge Band 17.) Miinster: Aschendorff, 1980. 379 pp. No price stated. THE SEVENTEENTH CENTURY MARTA FATTORI, Lessico del Novum Organum di Francesco Bacone. Rome: Edizioni dell'Ateneo 1980. Two volumes, il + 543, 520 pp. Lire 65.000. VIVIAN SALMON, The study of language in 17th century England. (Amsterdam Studies in the Theory (...) and History of Linguistic Science, Series 111: Studies in theHistory of Linguistics, Volume 17.) Amsterdam: John Benjamins B.V., 1979.x + 218 pp. Dfl. 65. Theoria cum Praxi. Zum Verhaltnis von Theorie und Praxis im 17. und 18. Jahrhundert. (Akten des 111. Internationalen Leibnizkongress, Hannover, 12. bis 17.November 1977, Band 111: Logik, Erkenntnistheorie, Wissenschaftstheorie, Metaphysik, Theologie.) Wiesbaden: Franz Steiner Verlag, 1980. vii + 269 pp. DM 48. CLASSICAL AND NON-CLASSICAL LOGICS MICHAEL CLARK, The place of syllogistic in logical theory. Nottingham: University of Nottingham Press, 1980. ix + 151 pp. £3.00. A.F. PARKER-RHODES, The theory of indistinguishables. Dordrecht, Boston and London: D. Reidel Publishing Company, 1981. xvii + 216 pp. Dfl.90.00/$39.50. NICHOLAS RESCHER and ROBERT BRANDOM, The logic of inconsistency. Oxford:Basil Blackwell, 1980. x + 174 pp. f 11.50. MISCELLANEOUS J. ZELENY, The logic of Marx. Translated from the German by T. Carver. Oxford: Basil Blackwell, 1980. xcii + 247 pp. £12.50. FELIX KAUFMANN, The infinite in mathematics. Edited by Brian McGuinness. Introduction by E. Nagel. Translation from the German by Paul Foulkes. Dordrecht: Reidel, 1978. xvii + 235 pp. Dfl 85/$39.50 (cloth); Dfl 45/$19.95 (paper). PAMELA MCCORDUCK, Machines who think. San Francisco: W.H. Freeman and Company, 1979. xiv + 275 pp. $14.95. J. MITTELSTRASS (ed.), Enzyklopadie Philosophie und Wissenschaftstheorie Bd. 1 : A-G. Mannheim, Wien, Ziirich: Bibliographisches Institut, 1980. 835 pp. DM 128. (shrink)

This paper investigates the reason why, in the tradition of Western philosophy, a logic of relations was developed only in the second half of the nineteenth century. To this end, it moves along two different but interconnected paths: on the one hand, it attempts to reconstruct the main views concerning the ontology of relations during the middle ages; on the other, it focuses on the treatment of so-called oblique terms in the logical works of some preeminent authors belonging to the (...) scholastic and late-scholastic tradition. From the ontological point of view, realists and nominalist both denied that polyadic expressions of the language signify polyadic properties in the world extra. Some authors, such as Peter Auriol, claimed that polyadic expressions signify something merely mental, thus recognizing, even though in a limited ontological domain, the existence of full-fledged relations, that is, of ‘things’ simultaneousl... (shrink)

The paper examines three essays that Leibniz wrote in 1688, immediately after the composition of the Discourse on Metaphysics, one of his most organic philosophical works. The main topics which emerge from these essays are: the relationship between substance and accidents; the nature of accidents; and, more generally, the nature of abstract entities. Given that accidents' nature is that of changing, Leibniz sees how hard it is to give an account of the relationship between substance and accidents that does not (...) imply any change in the substance, when its accidents undergo a change. To find a way out of this problem, Leibniz assumes that abstract terms (whiteness, wisdom, etc.) do not name real properties or real parts of substances, and that any sentence containing real abstract terms can be rephrased as a sentence containing logical abstract terms, which do no imply any commitment to the existence of real properties. Coherently with this nominalistic attitude, Leibniz ends up, in the Theodicy and in his correspondence with Des Bosses, considering accidents as modes or internal modifications of the substance. (shrink)

Many of the problems traditionally related to the interpretation of Leibniz' theory of relations may be seen in a better light considering essentially two factors: 1) the different plans (ontological, metaphysical, psychological and logical-linguistic) implied by Leibniz reflections on the subject; 2) the reference to scholastic and late-scholastic texts read or consulted by Leibniz. Relations for Leibniz are, from a metaphysical point of view, denominations only seemingly external, they are in reality denominationes intrinsecae, and are founded on the general connection (...) of all things. From a psychological point of view they are abstract entities that our mind builds by resemblance. From an ontological point of view they are individual accidents inherent to the substances. From a logical-linguistic point of view they are abstract structures that connect the one to the other at least two subjects. The propositions in which they appear, as for example the proposition “Paris loves Helen” are transformed by Leibniz in equivalent propositions joined by operators, which in medieval logic were known as termini reduplicantes (terms which define mostly intensional contexts). This may be seen with sufficient clarity examining the last part, until now inedited, of the famous passage about Paris and Helen published by Couturat in his Opuscules. (shrink)