Formalizing Medieval Logical Theories
Download 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. Fast Download speed and no annoying ads.
Author |
: Catarina Dutilh Novaes |
Publisher |
: Springer Science & Business Media |
Total Pages |
: 325 |
Release |
: 2007-04-05 |
ISBN-10 |
: 9781402058530 |
ISBN-13 |
: 1402058535 |
Rating |
: 4/5 (30 Downloads) |
Synopsis Formalizing Medieval Logical Theories by : Catarina Dutilh Novaes
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.
Author |
: Catarina Dutilh Novaes |
Publisher |
: Cambridge University Press |
Total Pages |
: 463 |
Release |
: 2016-09-22 |
ISBN-10 |
: 9781107062313 |
ISBN-13 |
: 1107062314 |
Rating |
: 4/5 (13 Downloads) |
Synopsis The Cambridge Companion to Medieval Logic by : Catarina Dutilh Novaes
The very first dedicated, comprehensive companion to medieval logic, covering both the Latin and Arabic sister traditions.
Author |
: |
Publisher |
: BRILL |
Total Pages |
: 559 |
Release |
: 2013-10-10 |
ISBN-10 |
: 9789004260238 |
ISBN-13 |
: 9004260234 |
Rating |
: 4/5 (38 Downloads) |
Synopsis Medieval Supposition Theory Revisited by :
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.
Author |
: Catarina Dutilh Novaes |
Publisher |
: Cambridge University Press |
Total Pages |
: 285 |
Release |
: 2012-11-08 |
ISBN-10 |
: 9781107020917 |
ISBN-13 |
: 1107020913 |
Rating |
: 4/5 (17 Downloads) |
Synopsis Formal Languages in Logic by : Catarina Dutilh Novaes
Examines the cognitive impact on formal languages for human reasoning, drawing on philosophy, historical development, psychology and cognitive science.
Author |
: Mikko Yrjönsuuri |
Publisher |
: Springer Science & Business Media |
Total Pages |
: 264 |
Release |
: 2013-03-09 |
ISBN-10 |
: 9789401597135 |
ISBN-13 |
: 9401597138 |
Rating |
: 4/5 (35 Downloads) |
Synopsis Medieval Formal Logic by : Mikko Yrjönsuuri
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.
Author |
: Christoph Kann |
Publisher |
: |
Total Pages |
: 0 |
Release |
: 2018 |
ISBN-10 |
: 9042936630 |
ISBN-13 |
: 9789042936638 |
Rating |
: 4/5 (30 Downloads) |
Synopsis Modern Views of Medieval Logic by : Christoph Kann
While for a long time the study of medieval logic focused on editorial projects and reconstructions of central medieval doctrines such as the theories of signification, supposition, consequences, and obligations, nowadays the spectrum of analysis has broadened and is increasingly informed by modern logical research, whose perspective is then applied to medieval logic. Promoting this tendency, logicians and researchers concerned with semantics in the Gesellschaft für Philosophie des Mittelalters und der Renaissance (GPMR) founded a working group bringing together medieval logic and modern applied logic. The present volume is a seminal document of these interests and activities. It analyzes theories in medieval logic which are useful for solving questions of recent logic and explains crucial parts of medieval logic, philosophy, and theology by applying techniques of present-day logic.
Author |
: Alexander Broadie |
Publisher |
: Oxford University Press, USA |
Total Pages |
: 168 |
Release |
: 1987 |
ISBN-10 |
: UCAL:B4243766 |
ISBN-13 |
: |
Rating |
: 4/5 (66 Downloads) |
Synopsis Introduction to Medieval Logic by : Alexander Broadie
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.
Author |
: D.P. Henry |
Publisher |
: Routledge |
Total Pages |
: 124 |
Release |
: 2019-06-26 |
ISBN-10 |
: 9780429594243 |
ISBN-13 |
: 0429594240 |
Rating |
: 4/5 (43 Downloads) |
Synopsis Medieval Logic and Metaphysics by : D.P. Henry
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.
Author |
: Terence Parsons |
Publisher |
: |
Total Pages |
: 346 |
Release |
: 2014-02 |
ISBN-10 |
: 9780199688845 |
ISBN-13 |
: 0199688842 |
Rating |
: 4/5 (45 Downloads) |
Synopsis Articulating Medieval Logic by : Terence Parsons
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--
Author |
: Sven Ove Hansson |
Publisher |
: Springer |
Total Pages |
: 727 |
Release |
: 2018-10-24 |
ISBN-10 |
: 9783319774343 |
ISBN-13 |
: 3319774344 |
Rating |
: 4/5 (43 Downloads) |
Synopsis Introduction to Formal Philosophy by : Sven Ove Hansson
This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles. Coverage begins with a thorough introduction to formalization and to the advantages and pitfalls of formal methods in philosophy. The ensuing chapters show how to use formal methods in a wide range of areas. Throughout, the contributors clarify the relationships and interdependencies between formal and informal notions and constructions. Their main focus is to show how formal treatments of philosophical problems may help us understand them better. Formal methods can be used to solve problems but also to express new philosophical problems that would never have seen the light of day without the expressive power of the formal apparatus. Formal philosophy merges work in different areas of philosophy as well as logic, mathematics, computer science, linguistics, physics, psychology, biology, economics, political theory, and sociology. This title offers an accessible introduction to this new interdisciplinary research area to a wide academic audience.