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: | |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands,
2007.
|
| Series: | Logic, Epistemology, and The Unity of Science ;
7 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Table of Contents:
- Supposition Theory: Algorithmic Hermeneutics
- Buridan's Notion of Consequentia
- Obligationes as Logical Games
- The Philosophy of Formalization.
