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...
| Κύριος συγγραφέας: | |
|---|---|
| Συγγραφή απο Οργανισμό/Αρχή: | |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Dordrecht :
Springer Netherlands,
2007.
|
| Σειρά: | Logic, Epistemology, and The Unity of Science ;
7 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Search Result 1