Formalizing Medieval Logical Theories : Suppositio, Consequentiae and Obligationes (Logic, Epistemology, and the Unity of Science)

Presents formalizations of three important medieval logical theories - supposition, consequence and obligations - that are based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games.