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