The middle years of the nineteenth century saw two crucial develop ments in the history of modern logic: George Boole's algebraic treat ment of logic and Augustus De Morgan's formulation of the logic of relations. The former episode has been studied extensively; the latter, hardly at all. This is a pity, for the most central feature of modern logic may well be its ability to handle relational inferences. De Morgan was the first person to work out an extensive logic of (...) relations, and the purpose of this book is to study this attempt in detail. Augustus De Morgan (1806-1871) was a British mathematician and logician who was Professor of Mathematics at the University of London (now, University College) from 1828 to 1866. A prolific but not highly original mathematician, De Morgan devoted much of his energies to the rather different field of logic. In his Formal Logic (1847) and a series of papers "On the Syllogism" (1846-1862), he attempted with great ingenuity to reformulate and extend the tradi tional syllogism and to systematize modes of reasoning that lie outside its boundaries. Chief among these is the logic of relations. De Mor gan's interest in relations culminated in his important memoir, "On the Syllogism: IV and on the Logic of Relations," read in 1860. (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)

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)

This is the first special issue of the British Journal of the History of Philosophy to be devoted to the thought of the Middle Ages. Its topic is relations. The articles have been chosen to give an...