Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes (Logic, Epistemology, and the Unity of Science) by Catarina Dutilh Novaes
English | Apr 20, 2007 | ISBN: 1402058527 | 324 Pages | PDF | 1.73 MB
This book presents formalizations of three important medieval logical theories: supposition, consequence and obligations. These 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.