Formalizing Medieval Logical Theories
Publication year: 2007
: 978-1-4020-5853-0
This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented – a crucial concept in the current logical panorama, which as such receives surprisingly little attention.
: Humanities, Social Science and Law, Formalization, Medieval Philosophy, hermeneutics, logic, philosophy, philosophy of logic
