Formalizing Medieval Logical Theories Suppositio, Consequentiae and Obligationes
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...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
2007, 2007
|
| Edition: | 1st ed. 2007 |
| Series: | Logic, Epistemology, and the Unity of Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Supposition Theory: Algorithmic Hermeneutics
- Buridan's Notion of Consequentia
- Obligationes as Logical Games
- The Philosophy of Formalization