Logic in the Early Medieval Period

After the collapse of the Western Roman Empire, there was difficulty in communication between Western and Eastern Europe. In the Latin tradition, an astute Christian statesman and philosopher, Boethius, played a pivotal role in preserving the Aristotelian logical system for the Latin-speaking Western realm. Boethius was the conduit by which classical logic entered the medieval curriculum (Marenbon 2003). This was the beginning of the medieval period. Perhaps the greatest philosopher of the Middle Ages was Ibn Sina, Latinized as Avicenna. Avicenna advanced logic significantly, with particular criticism of those groups of people who relied purely on Aristotle without offering novelty. Avicenna introduced the notion of quantifiers (such as ‘some… are’, ‘every… are’, ‘some… are not’, ‘no… is’), and also introduced “temporally modalized” syllogisms.

For instance, ‘ at all times’, ‘ at most times’, and ‘ at some times’ (Spade). In the Christian world, there were a few hundred years of very little progress, not spanning the entire Middle Ages contrary to popular belief, but certainly from the time of Boethius to the time of the Carolingian Renaissance, a period of approximately 300 years.

Peter Abelard and the High Middle Ages

Fast forward to the High Middle Ages, Peter Abelard, a French philosopher, revitalized propositional logic, which had been largely dead since the Stoic era. Abelard’s logic was entirely truth-functional, and he differentiated between force and content. That is, there is some distinction between the content of what we say and the context in which it is located. For instance, the content that ‘water is blue’ is contained within the assertion ‘water is blue.’, the question ‘is water blue?’, and the wish ‘if only water were blue!’ (Komáromi 2021). Sentential predicates like ‘is blue’, ‘is a man’, and ‘is fifty years old’ rely on something called universals. Medieval philosophy harbored a vivacious debate about the nature of these universal predicates. One camp was the realists, who assumed all universals were real, independent of mind; conceptualists, who deemed universals real, but only as mental constructs; and finally, nominalists, who deemed universals not to be real. William of Ockham, famous in popular media for Ockham’s razor, which states that the simplest solution is the best solution, pioneered this school of nominalism. William of Ockham argued that only individual, concrete entities exist, and that abstract concepts are merely mental constructs or linguistic conveniences (Francisco 2023).

Renaissance and Humanism

Now we come to the modern period, although there is much left to be said about ancient and medieval logic, but, because this paper has a page limit, I will be moving contemporarily. With the Renaissance came a turn toward classical humanism.

Emphasizing rhetoric, philology, and the revival of ancient texts, Renaissance scholars often rejected the technicalities of scholastic logic in favor of more literary and human-centered forms of knowledge. This shift led to a temporary decline in formal logic’s prestige (Kristeller, 1961). Despite this decline, thinkers like Leibniz envisioned a future in which logic would be fully formalized. He imagined a universal symbolic language (characteristica universalis) that could express all human knowledge and reduce reasoning to calculation; an ambition far ahead of its time, but one that foreshadowed the development of the symbolic logic of Frege (Barry, 1992).

The Birth of Modern Formal Logic

Now we can finally turn to contemporaneous developments. The 19th century marked the rebirth of logic as a formal discipline. George Boole, in The Laws of Thought (1854), introduced an algebraic system of logic in which logical relationships were treated using equations. Boolean algebra laid the groundwork for the formal analysis of logical connectives and enabled logic’s application to mathematics and computing (Boole, 2010/1854). Gottlob Frege, Begriffsschrift (the title of which is largely untranslatable), introduced predicate calculus, transforming logic into a formal symbolic language, finally fulfilling Leibniz’s dream! Frege’s system allowed for quantification over variables and the formal representation of complex arguments, making possible a new level of precision in philosophical and mathematical reasoning (Speaks 2005).