Formalizing Medieval Logical Theories

1. Front Matter

   Pages I-XII

   PDF

2. Supposition Theory: Algorithmic Hermeneutics

   Pages 7-77

3. Buridan's Notion of Consequentia

   Pages 79-144

4. Obligationes as Logical Games

   Pages 145-214

5. The Philosophy of Formalization

   Pages 215-292

6. Back Matter

   Pages 293-314

   PDF

Perhaps one of the most striking characteristics of later medieval philosophy and science is the remarkable unity with which the different fields of investigation were articulated to each other, in particular with respect to the methodology used. While it is fair to say that current science is characterized by a plurality of methodologies and by a high degree of specialization in each discipline, in the later medieval period there was one fundamental methodology being used across disciplines, namely logic. One can say without hesitation that logic provided unity to knowledge and science in the later medieval times. Logic (which was then understood more broadly than it is now, including semantics and formal epistemology) was one of the first subject-matters in the medieval curriculum; it was thought that the knowledge of logic was a necessary, methodological requirement for a student to move on to the other disciplines. And indeed, the widespread use of this logical and semantic methodology can be perceived in disciplines as diverse as natural philosophy (physics), theology, ethics and even medicine. Besides the fact that medieval logic provided unity to science then, while modern logic does not play the same role now (if anything at all, it is mathematics that might be considered as the fundamental methodology for current investigations), it is also widely acknowledged that the medieval and modern traditions in logic are very d- similar in many other respects.

• Formalization
• Medieval Philosophy
• hermeneutics
• logic
• philosophy
• philosophy of logic

• Leiden, The Netherlands

  Catarina Dutilh Novaes

Policies and ethics