Formal Approaches and Natural Language in Medieval Logic


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.







Formal Languages in Logic


Book Description

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




Articulating Medieval Logic


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




Oxford Studies in Medieval Philosophy Volume 10


Book Description

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.




Language, Logic, and Mathematics in Schopenhauer


Book Description

The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer’s logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics. Thus, this work addresses the lack of research on these subjects in the context of Schopenhauer’s oeuvre by exposing their links to modern research areas, such as the “proof without words” movement, analytic philosophy and diagrammatic reasoning, demonstrating its continued relevance to current discourse on logic. Beginning with Schopenhauer’s philosophy of language, the chapters examine the individual aspects of his semantics, semiotics, translation theory, language criticism, and communication theory. Additionally, Schopenhauer’s anticipation of modern contextualism is analyzed. The second section then addresses his logic, examining proof theory, metalogic, system of natural deduction, conversion theory, logical geometry, and the history of logic. Special focus is given to the role of the Euler diagrams used frequently in his lectures and their significance to broader context of his logic. In the final section, chapters discuss Schopenhauer’s philosophy of mathematics while synthesizing all topics from the previous sections, emphasizing the relationship between intuition and concept. Aimed at a variety of academics, including researchers of Schopenhauer, philosophers, historians, logicians, mathematicians, and linguists, this title serves as a unique and vital resource for those interested in expanding their knowledge of Schopenhauer’s work as it relates to modern mathematical and logical study.




The Language of Thought in Late Medieval Philosophy


Book Description

This edited volume presents new lines of research dealing with the language of thought and its philosophical implications in the time of Ockham. It features more than 20 essays that also serve as a tribute to the ground-breaking work of a leading expert in late medieval philosophy: Claude Panaccio. Coverage addresses topics in the philosophy of mind and cognition (externalism, mental causation, resemblance, habits, sensory awareness, the psychology, illusion, representationalism), concepts (universal, transcendental, identity, syncategorematic), logic and language (definitions, syllogisms, modality, supposition, obligationes, etc.), action theory (belief, will, action), and more. A distinctive feature of this work is that it brings together contributions in both French and English, the two major research languages today on the main theme in question. It unites the most renowned specialists in the field as well as many of Claude Panaccio’s former students who have engaged with his work over the years. In furthering this dialogue, the essays render key topics in fourteenth-century thought accessible to the contemporary philosophical community without being anachronistic or insensitive to the particularities of the medieval context. As a result, this book will appeal to a general population of philosophers and historians of philosophy with an interest in logic, philosophy of language, philosophy of mind, and metaphysics.




The Logic of Our Language


Book Description

The Logic of Our Language teaches the practical and everyday application of formal logic. Rather than overwhelming the reader with abstract theory, Jackson and McLeod show how the skills developed through the practice of logic can help us to better understand our own language and reasoning processes. The authors’ goal is to draw attention to the patterns and logical structures inherent in our spoken and written language by teaching the reader how to translate English sentences into formal symbols. Other logical tools, including truth tables, truth trees, and natural deduction, are then introduced as techniques for examining the properties of symbolized sentences and assessing the validity of arguments. A substantial number of practice questions are offered both within the book itself and as interactive activities on a companion website.




Formalizing Medieval Logical Theories


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.




Quantifiers in Language and Logic


Book Description

Quantification is a topic which brings together linguistics, logic, and philosophy. Quantifiers are the essential tools with which, in language or logic, we refer to quantity of things or amount of stuff. In English they include such expressions as no, some, all, both, and many. Peters and Westerstahl present the definitive interdisciplinary exploration of how they work - their syntax, semantics, and inferential role.Quantifiers in Language and Logic is intended for everyone with a scholarly interest in the exact treatment of meaning. It presents a broad view of the semantics and logic of quantifier expressions in natural languages and, to a slightly lesser extent, in logical languages. The authors progress carefully from a fairly elementary level to considerable depth over the course of sixteen chapters; their book will be invaluable to a broad spectrum of readers, from those with a basicknowledge of linguistic semantics and of first-order logic to those with advanced knowledge of semantics, logic, philosophy of language, and knowledge representation in artificial intelligence.