Download and Read Formalizing Medieval Logical Theories full books in PDF, ePUB, and Kindle. Read online free Formalizing Medieval Logical Theories ebook anywhere anytime directly on your device. We cannot guarantee that every ebooks is available!
Download Formalizing Medieval Logical Theories Book in PDF, Epub and Kindle
This book presents formalizations of three important medieval logical theories: supposition, consequence and obligations. These 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. The analysis of medieval logic is relevant for the modern philosopher and logician. This is the first book to render medieval logical theories accessible to the modern philosopher.
Formalizing Medieval Logical Theories Related Books
This book presents formalizations of three important medieval logical theories: supposition, consequence and obligations. These are based on innovative vantage
This volume, the first dedicated and comprehensive companion to medieval logic, covers both the Latin and the Arabic traditions, and shows that they were in fac
In 1962–1967 Professor L.M. de Rijk published his Logica Modernorum – A Contribution to the History of Early Terminist Logic. The first part (1962) has the
Central topics in medieval logic are here treated in a way that is congenial to the modern reader, without compromising historical reliability. The achievements
Examines the cognitive impact on formal languages for human reasoning, drawing on philosophy, historical development, psychology and cognitive science.