Formalizing Medieval Logical Theories
DOWNLOAD
Download Formalizing Medieval Logical Theories PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Formalizing Medieval Logical Theories book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Formalizing Medieval Logical Theories
DOWNLOAD
Author : Catarina Dutilh Novaes
language : en
Publisher: Springer Science & Business Media
Release Date : 2007-04-05
Formalizing Medieval Logical Theories written by Catarina Dutilh Novaes and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2007-04-05 with Philosophy categories.
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.
A Companion To The Responses To Ockham
DOWNLOAD
Author :
language : en
Publisher: BRILL
Release Date : 2016-02-02
A Companion To The Responses To Ockham written by and has been published by BRILL this book supported file pdf, txt, epub, kindle and other format this book has been release on 2016-02-02 with History categories.
This volume collects twelve chapters that present the multifaceted responses to the works of the William of Ockham in Oxford, Paris, Italy, and at the papal court in Avignon in the 14th century, and it assembles contributions on philosophers and theologians who all have criticized Ockham’s works at different points. In individual case studies it gives an exemplary overview over the reactions the Venerable Inceptor has provoked and also serves to better understand Ockham’s thought in its historical context. The topics range from ontology, psychology, theory of cognition, epistemology, and natural science to ethics and political philosophy. This volume demonstrates that the reactions to Ockham’s philosophy and theology were manifold, but one particular kind of reception is missing: unanimous approval. Contributors include Fabrizio Amerini, Stephen F. Brown, Nathaniel Bulthuis, Stefano Caroti, Laurent Cesalli, Alessandro D. Conti, Thomas Dewender, Isabel Iribarren, Isabelle Mandrella, Aurélien Robert, Christian Rode, and Sonja Schierbaum
Mathematics Logic And Their Philosophies
DOWNLOAD
Author : Mojtaba Mojtahedi
language : en
Publisher: Springer Nature
Release Date : 2021-02-09
Mathematics Logic And Their Philosophies written by Mojtaba Mojtahedi and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2021-02-09 with Philosophy categories.
This volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. The third category contains papers on Avicenna’s logic and philosophy. Mohammad Ardeshir is a full professor of mathematical logic at the Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran, where he has taught generations of students for around a quarter century. Mohammad Ardeshir is known in the first place for his prominent works in basic logic and constructive mathematics. His areas of interest are however much broader and include topics in intuitionistic philosophy of mathematics and Arabic philosophy of logic and mathematics. In addition to numerous research articles in leading international journals, Ardeshir is the author of a highly praised Persian textbook in mathematical logic. Partly through his writings and translations, the school of mathematical intuitionism was introduced to the Iranian academic community.
Philosophy Of Logical Systems
DOWNLOAD
Author : Jaroslav Peregrin
language : en
Publisher: Routledge
Release Date : 2019-11-11
Philosophy Of Logical Systems written by Jaroslav Peregrin and has been published by Routledge this book supported file pdf, txt, epub, kindle and other format this book has been release on 2019-11-11 with Philosophy categories.
This book addresses the hasty development of modern logic, especially its introducing and embracing various kinds of artificial languages and moving from the study of natural languages to that of artificial ones. This shift seemed extremely helpful and managed to elevate logic to a new level of rigor and clarity. However, the change that logic underwent in this way was in no way insignificant, and it is also far from an insignificant matter to determine to what extent the "new logic" only engaged new and more powerful instruments to answer the questions posed by the "old" one, and to what extent it replaced these questions with new ones. Hence, this movement has generated brand new kinds of philosophical problems that have still not been dealt with systematically. Philosophy of Logical Systems addresses these new kinds of philosophical problems that are intertwined with the development of modern logic. Jaroslav Peregrin analyzes the rationale behind the introduction of the artificial languages of logic; classifies the various tools which were adopted to build such languages; gives an overview of the various kinds of languages introduced in the course of modern logic and the motifs of their employment; discusses what can actually be achieved by relocating the problems of logic from natural language into them; and reaches certain conclusions with respect to the possibilities and limitations of this "formal turn" of logic. This book is both an important scholarly contribution to the philosophy of logic and a systematic survey of the standard (and not so standard) logical systems that were established during the short history of modern logic.
Logic A History Of Its Central Concepts
DOWNLOAD
Author : Dov M. Gabbay
language : en
Publisher: Newnes
Release Date : 2012-12-31
Logic A History Of Its Central Concepts written by Dov M. Gabbay and has been published by Newnes this book supported file pdf, txt, epub, kindle and other format this book has been release on 2012-12-31 with Mathematics categories.
The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship. It is the first work in English in which the history of logic is presented so extensively. The volumes are numerous and large. Authors have been given considerable latitude to produce chapters of a length, and a level of detail, that would lay fair claim on the ambitions of the project to be a definitive research work. Authors have been carefully selected with this aim in mind. They and the Editors join in the conviction that a knowledge of the history of logic is nothing but beneficial to the subject's present-day research programmes. One of the attractions of the Handbook's several volumes is the emphasis they give to the enduring relevance of developments in logic throughout the ages, including some of the earliest manifestations of the subject. - Covers in depth the notion of logical consequence - Discusses the central concept in logic of modality - Includes the use of diagrams in logical reasoning
Oxford Studies In Medieval Philosophy Volume 9
DOWNLOAD
Author : Robert Pasnau
language : en
Publisher: Oxford University Press
Release Date : 2021-08-20
Oxford Studies In Medieval Philosophy Volume 9 written by Robert Pasnau and has been published by Oxford University Press this book supported file pdf, txt, epub, kindle and other format this book has been release on 2021-08-20 with Philosophy categories.
Oxford Studies in Medieval Philosophy showcases the best scholarly research in this flourishing field. The series covers all aspects of medieval philosophy, including the Latin, Arabic, and Hebrew traditions, and runs from the end of antiquity into the Renaissance. It publishes new work by leading scholars in the field, and combines historical scholarship with philosophical acuteness. The papers will address a wide range of topics, from political philosophy to ethics, and logic to metaphysics. OSMP is an essential resource for anyone working in the area.
Methods And Methodologies
DOWNLOAD
Author : Margaret Cameron
language : en
Publisher: BRILL
Release Date : 2010-11-26
Methods And Methodologies written by Margaret Cameron and has been published by BRILL this book supported file pdf, txt, epub, kindle and other format this book has been release on 2010-11-26 with Philosophy categories.
This book examines the medieval tradition of Aristotelian logic from two perspectives. The first examines the ways in which Latin and Arabic authors went about their work in medieval logic, and how it was related to other intellectual branches. The second invites critical comparison between contemporary and medieval approaches to logic.
History Of Logic And Semantics
DOWNLOAD
Author :
language : en
Publisher: BRILL
Release Date : 2017-01-09
History Of Logic And Semantics written by and has been published by BRILL this book supported file pdf, txt, epub, kindle and other format this book has been release on 2017-01-09 with History categories.
This volume pays homage to the historian of logic Angel d’Ors (1951-2012), by bringing together a set of studies that together illuminate the complex historical development of logic and semantics. Two main traditions, Aristotelian and terminist, are showcased to demonstrate the changes and confrontations that constitute this history, and a number of different authors and texts, from the Boethian reception of Aristotle to the post-medieval terminism, are discussed. Special topics dealt with include the medieval reception of ancient logic; technical tools for the medieval analysis of language; the medieval theory of consequence; the medieval practice of disputation and sophisms; and the post-medieval refinement of the terminist tools. Contributors are E.J. Ashworth, Allan Bäck, María Cerezo, Sten Ebbesen, José Miguel Gambra, C.H. Kneepkens, Kalvin Normore, Angel d’Ors, Paloma Pérez-Ilzarbe, Stephen Read, Joke Spruyt, Luisa Valente, and Mikko Yrjönsuuri. These articles were also published in Vivarium, Volume 53, Nos. 2-4 (2015).
Induction Algorithmic Learning Theory And Philosophy
DOWNLOAD
Author : Michèle Friend
language : en
Publisher: Springer Science & Business Media
Release Date : 2007-08-21
Induction Algorithmic Learning Theory And Philosophy written by Michèle Friend and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2007-08-21 with Philosophy categories.
The idea of the present volume emerged in 2002 from a series of talks by Frank Stephan in 2002, and John Case in 2003, on developments of algorithmic learning theory. These talks took place in the Mathematics Department at the George Washington University. Following the talks, ValentinaHarizanovandMichèleFriendraised thepossibility ofanexchange of ideas concerning algorithmic learning theory. In particular, this was to be a mutually bene?cial exchange between philosophers, mathematicians and computer scientists. Harizanov and Friend sent out invitations for contributions and invited Norma Goethe to join the editing team. The Dilthey Fellowship of the George Washington University provided resources over the summer of 2003 to enable the editors and some of the contributors to meet in Oviedo (Spain) at the 12th International Congress of Logic, Methodology and Philosophy of Science. The editing work proceeded from there. The idea behind the volume is to rekindle interdisciplinary discussion. Algorithmic learning theory has been around for nearly half a century. The immediate beginnings can be traced back to E.M. Gold’s papers: “Limiting recursion” (1965) and “Language identi?cation in the limit” (1967). However, from a logical point of view, the deeper roots of the learni- theoretic analysis go back to Carnap’s work on inductive logic (1950, 1952).
Advances In Experimental Philosophy Of Logic And Mathematics
DOWNLOAD
Author : Andrew Aberdein
language : en
Publisher: Bloomsbury Publishing
Release Date : 2019-05-02
Advances In Experimental Philosophy Of Logic And Mathematics written by Andrew Aberdein and has been published by Bloomsbury Publishing this book supported file pdf, txt, epub, kindle and other format this book has been release on 2019-05-02 with Philosophy categories.
This book explores the results of applying empirical methods to the philosophy of logic and mathematics. Much of the work that has earned experimental philosophy a prominent place in twenty-first century philosophy is concerned with ethics or epistemology. But, as this book shows, empirical methods are just as much at home in logic and the philosophy of mathematics. Chapters demonstrate and discuss the applicability of a wide range of empirical methods including experiments, surveys, interviews, and data-mining. Distinct themes emerge that reflect recent developments in the field, such as issues concerning the logic of conditionals and the role played by visual elements in some mathematical proofs. Featuring leading figures from experimental philosophy and the fields of philosophy of logic and mathematics, this collection reveals that empirical work in these disciplines has been quietly thriving for some time and stresses the importance of collaboration between philosophers and researchers in mathematics education and mathematical cognition.