Formalizing Medieval Logical Theories Suppositio, Consequentiae and Obligationes / by Catarina Dutilh Novaes.
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 su...
Full description
Saved in: