|
|
Formalizing Medieval Logical Theories
Introduction.- 1. Supposition Theory: Algorithmic Hermeneutics.- 2. Buridan s Notion of Consequentia.- 3. Obligationes as logical games.- 4. The Philosophy of Formalization.- Conclusion.- References.-... |
 |
|
|
| Download PDF |
| Formalizing Medieval Logical Theories |
|
