Tallenna
Formalizing Medieval Logical Theories
Kirjailija:
sidottu, 2007
englanti
Presents formalizations of three important medieval logical theories - supposition, consequence and obligations - that are based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games.
- Alaotsikko
- Suppositio, Consequentiae and Obligationes
- Kirjailija
- Catarina Dutilh Novaes
- Painos
- 2007 ed.
- ISBN
- 9781402058523
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 19.4.2007
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 316
