Formalizing Medieval Logical Theories

Formalizing Medieval Logical Theories
Author :
Publisher : Springer Science & Business Media
Total Pages : 325
Release :
ISBN-13 : 9781402058530
ISBN-10 : 1402058535
Rating : 4/5 (35 Downloads)

Book Synopsis Formalizing Medieval Logical Theories by : Catarina Dutilh Novaes

Download or read book Formalizing Medieval Logical Theories written by Catarina Dutilh Novaes and published by Springer Science & Business Media. This book was released on 2007-04-05 with total page 325 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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

Formalizing Medieval Logical Theories
Language: en
Pages: 325
Authors: Catarina Dutilh Novaes
Categories: Philosophy
Type: BOOK - Published: 2007-04-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents formalizations of three important medieval logical theories: supposition, consequence and obligations. These are based on innovative vantage
Medieval Supposition Theory Revisited
Language: en
Pages: 559
Authors:
Categories: History
Type: BOOK - Published: 2013-10-10 - Publisher: BRILL

DOWNLOAD EBOOK

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
The Cambridge Companion to Medieval Logic
Language: en
Pages: 463
Authors: Catarina Dutilh Novaes
Categories: History
Type: BOOK - Published: 2016-09-22 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

The very first dedicated, comprehensive companion to medieval logic, covering both the Latin and Arabic sister traditions.
Introduction to Formal Philosophy
Language: en
Pages: 727
Authors: Sven Ove Hansson
Categories: Philosophy
Type: BOOK - Published: 2018-10-24 - Publisher: Springer

DOWNLOAD EBOOK

This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles. Coverage begins with a
Articulating Medieval Logic
Language: en
Pages: 346
Authors: Terence Parsons
Categories: History
Type: BOOK - Published: 2014-02 - Publisher:

DOWNLOAD EBOOK

Studies the development and logical complexity of medieval logic, the expansion of Aristotle's notation by medieval logicians, and the development of additional