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