Siirry suoraan sisältöön
Formalizing Medieval Logical Theories
Tallenna

Formalizing Medieval Logical Theories

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
Painos
2007 ed.
ISBN
9781402058523
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
19.4.2007
Sivumäärä
316