Formalizing Medieval Logical Theories PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Formalizing Medieval Logical Theories PDF full book. Access full book title Formalizing Medieval Logical Theories by Catarina Dutilh Novaes. Download full books in PDF and EPUB format.

Formalizing Medieval Logical Theories

Formalizing Medieval Logical Theories PDF Author: Catarina Dutilh Novaes
Publisher: Springer Science & Business Media
ISBN: 1402058535
Category : Philosophy
Languages : en
Pages : 325

Book Description
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

Formalizing Medieval Logical Theories PDF Author: Catarina Dutilh Novaes
Publisher: Springer Science & Business Media
ISBN: 1402058535
Category : Philosophy
Languages : en
Pages : 325

Book Description
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.

The Cambridge Companion to Medieval Logic

The Cambridge Companion to Medieval Logic PDF Author: Catarina Dutilh Novaes
Publisher: Cambridge University Press
ISBN: 1107062314
Category : History
Languages : en
Pages : 463

Book Description
The very first dedicated, comprehensive companion to medieval logic, covering both the Latin and Arabic sister traditions.

Medieval Supposition Theory Revisited

Medieval Supposition Theory Revisited PDF Author:
Publisher: BRILL
ISBN: 9004260234
Category : History
Languages : en
Pages : 559

Book Description
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 title: On the Twelfth Century Theories of Fallacy. The second part (two volumes, 1967) has as title: The Origin and the Early Development of the Theory of Supposition. De Rijk’s Logica Modernorum provides the basis for the modern study of medieval theories of supposition. Now, nearly 50 years later, scholars have made great progress in the study of the properties of terms. De Rijk’s study was primarily about the early development of terminist logic, i.e. during the 12th and 13th centuries. Scholars have also investigated later developments well into the sixteenth and seventeenth centuries. Not only logical texts, but also texts on grammar have been published. Many of the scholars who have contributed to this development, present papers in this volume. Contributors are Fabrizio Amerini, Jenny Ashworth, Allan Bäck, Bert Bos, Julie Brumberg-Chaumont, Laurent Cesalli, Lambert Marie de Rijk, Sten Ebbesen, Alessandro Conti, Catarina Dutilh-Novaes, Onno Kneepkens, Costantino Marmo, Dafne Mure, Claude Panaccio, Ernesto Perini Santos, Joel Lonfat, Angel d’Ors, Göran Sundholm and Luisa Valente.

Formal Languages in Logic

Formal Languages in Logic PDF Author: Catarina Dutilh Novaes
Publisher: Cambridge University Press
ISBN: 1107020913
Category : Computers
Languages : en
Pages : 285

Book Description
Examines the cognitive impact on formal languages for human reasoning, drawing on philosophy, historical development, psychology and cognitive science.

Introduction to Medieval Logic

Introduction to Medieval Logic PDF Author: Alexander Broadie
Publisher: Oxford University Press, USA
ISBN:
Category : Language Arts & Disciplines
Languages : en
Pages : 168

Book Description
The first systematic investigation of medieval logic, this work explores the achievements of the most important 14th-century logicians and provides a point-by-point analysis of medieval theories of truth and validity.

Medieval Formal Logic

Medieval Formal Logic PDF Author: Mikko Yrjönsuuri
Publisher: Springer Science & Business Media
ISBN: 9401597138
Category : Philosophy
Languages : en
Pages : 264

Book Description
Central topics in medieval logic are here treated in a way that is congenial to the modern reader, without compromising historical reliability. The achievements of medieval logic are made available to a wider philosophical public then the medievalists themselves. The three genres of logica moderna arising in a later Middle Ages are covered: obligations, insolubles and consequences - the first time these have been treated in such a unified way. The articles on obligations look at the role of logical consistence in medieval disputation techniques. Those on insolubles concentrate on medieval solutions to the Liar Paradox. There is also a systematic account of how medieval authors described the logical content of an inference, and how they thought that the validity of an inference could be guaranteed.

Medieval Logic and Metaphysics

Medieval Logic and Metaphysics PDF Author: D.P. Henry
Publisher: Routledge
ISBN: 0429594240
Category : History
Languages : en
Pages : 124

Book Description
Originally published in 1972, Medieval Logic and Metaphysics shows how formal logic can be used in the clarification of philosophical problems. An elementary exposition of Leśniewski’s Onotology, an important system of contemporary logic, is followed by studies of central philosophical themes such as Negation and Non-being, Essence and Existence, Meaning and Reference, Part and Whole. Philosophers and theologians discussed include St Anselm, St Thomas Aquinas, Abelard, Ockham, Scotus, Hume and Russell.

Modalities in Medieval Philosophy

Modalities in Medieval Philosophy PDF Author: Simo Knuuttila
Publisher: Routledge
ISBN: 0429619197
Category : History
Languages : en
Pages : 196

Book Description
Originally published in 1993, Modalities in Medieval Philosophy looks at the idea of modality as multiplicity of reference with respect to alternative domains. The book examines how this emerged in early medieval discussions and addresses how it was originally influenced by the theological conception of God acting by choice. After a discussion of ancient modal paradigms, the author traces the interplay of old and new modal views in medieval logic and semantics, philosophy and theology. A detailed account is given of late medieval discussions of the new modal logic, epistemic logic, and the logic norms. These theories show striking similarities to some basic tenets of contemporary approaches to modal matters. This work will be of considerable interest to historians of philosophy and ideas and philosophers of logic and metaphysics.

Articulating Medieval Logic

Articulating Medieval Logic PDF Author: Terence Parsons
Publisher:
ISBN: 0199688842
Category : History
Languages : en
Pages : 346

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

Formal Approaches and Natural Language in Medieval Logic

Formal Approaches and Natural Language in Medieval Logic PDF Author: Laurent Cesalli
Publisher: Brepols
ISBN: 9782503567358
Category : Logic, Medieval
Languages : en
Pages : 0

Book Description
Is medieval logic formal? And if yes, in what sense? There are striking affinities between medieval and contemporary theories of language. Authors from the two periods share formal ambitions and maintain complex, and at time uneasy, relations with natural language. However, modern scholars became careful not to overlook the specificities of theories developed more than five hundred years apart, in particular with respect to their 'formal' character. In 1972, Alfonso Maieru noted that the efforts of medieval logicians to identify logical structures in language formal enough to become objects of scientific consideration. He also stressed that the language investigated is a historical one, Latin, so that one can legitimately wonder to which extent ... one is allowed to speak of 'formal logic' in the middle ages. In other words, medieval logic is characterized by a tension between 'formalist ambitions' and constraints proper to natural language. Today, our knowledge of the field has considerably expanded, calling for a new assessment of the question.