Aristotle's Syllogistic Underlying Logic. His Model with His Proofs of Soundness and Completeness

Aristotle's Syllogistic Underlying Logic. His Model with His Proofs of Soundness and Completeness PDF Author: George Boger
Publisher: College Publications
ISBN: 9781848904026
Category : Philosophy
Languages : en
Pages : 446

Get Book

Book Description
Aristotle's Syllogistic Underlying Logic is a ground- breaking and thorough study of Aristotle's logic, including a new translation of select chapters of Prior Analytics that treat the logic's formal components. This study shows that Aristotle consciously modeled his Underlying Logic, that Prior Analytics is a metasystematic discourse with its own underlying logic. The author clearly demonstrates that Aristotle conceived his logic as natural by explicating his notion of human cognition, central to which is his epistemic concern with syllogistic mediation that restricts a syllogism to two premises. The study further represents Aristotle's philosophy of logic as having a fully developed ontology that underlies the epistemics of syllogistic argumentation. It identifies his distinctions between syntax and semantics and provides his definitions of logical consequence and deducibility to demonstrate his metasystematic sophistication. The study carefully sets out Aristotle's metasystematic analyses and his proof-theoretic demonstrations of the logic's soundness and completeness. Unlike previous scholarship, this study works with the entire corpus of the Organon - inclusive of On Expression, Predications, Topics, Sophistical Refutations and chapters of Metaphysics - to assemble Aristotle's underlying logic in Aristotle's own words with extensive citation of primary texts. The translations are accompanied by the original Greek texts that serve as a ready resource for comparative analyses. For the translation of Prior Analytics, the Greek text and the translation appear on facing pages. The author includes a set of principles used for making the translation. An especially innovative feature of the new translation is to block passages of the text and to insert subsection titles that help (1) to elucidate Aristotle's meaning, (2) to indicate the movement of his thinking, and (3) to reveal the careful and systematic character of his logical investigations. The reader will find, in one volume, a thorough and meticulous examination of the full compass of Aristotle's logical investigations that establish him as the founder of formal logic.

Aristotle's Syllogistic Underlying Logic. His Model with His Proofs of Soundness and Completeness

Aristotle's Syllogistic Underlying Logic. His Model with His Proofs of Soundness and Completeness PDF Author: George Boger
Publisher: College Publications
ISBN: 9781848904026
Category : Philosophy
Languages : en
Pages : 446

Get Book

Book Description
Aristotle's Syllogistic Underlying Logic is a ground- breaking and thorough study of Aristotle's logic, including a new translation of select chapters of Prior Analytics that treat the logic's formal components. This study shows that Aristotle consciously modeled his Underlying Logic, that Prior Analytics is a metasystematic discourse with its own underlying logic. The author clearly demonstrates that Aristotle conceived his logic as natural by explicating his notion of human cognition, central to which is his epistemic concern with syllogistic mediation that restricts a syllogism to two premises. The study further represents Aristotle's philosophy of logic as having a fully developed ontology that underlies the epistemics of syllogistic argumentation. It identifies his distinctions between syntax and semantics and provides his definitions of logical consequence and deducibility to demonstrate his metasystematic sophistication. The study carefully sets out Aristotle's metasystematic analyses and his proof-theoretic demonstrations of the logic's soundness and completeness. Unlike previous scholarship, this study works with the entire corpus of the Organon - inclusive of On Expression, Predications, Topics, Sophistical Refutations and chapters of Metaphysics - to assemble Aristotle's underlying logic in Aristotle's own words with extensive citation of primary texts. The translations are accompanied by the original Greek texts that serve as a ready resource for comparative analyses. For the translation of Prior Analytics, the Greek text and the translation appear on facing pages. The author includes a set of principles used for making the translation. An especially innovative feature of the new translation is to block passages of the text and to insert subsection titles that help (1) to elucidate Aristotle's meaning, (2) to indicate the movement of his thinking, and (3) to reveal the careful and systematic character of his logical investigations. The reader will find, in one volume, a thorough and meticulous examination of the full compass of Aristotle's logical investigations that establish him as the founder of formal logic.

Aristotle's Syllogism and the Creation of Modern Logic

Aristotle's Syllogism and the Creation of Modern Logic PDF Author: Lukas M. Verburgt
Publisher: Bloomsbury Publishing
ISBN: 1350228850
Category : Philosophy
Languages : en
Pages : 321

Get Book

Book Description
Offering a bold new vision on the history of modern logic, Lukas M. Verburgt and Matteo Cosci focus on the lasting impact of Aristotle's syllogism between the 1820s and 1930s. For over two millennia, deductive logic was the syllogism and syllogism was the yardstick of sound human reasoning. During the 19th century, this hegemony fell apart and logicians, including Boole, Frege and Peirce, took deductive logic far beyond its Aristotelian borders. However, contrary to common wisdom, reflections on syllogism were also instrumental to the creation of new logical developments, such as first-order logic and early set theory. This volume presents the period under discussion as one of both tradition and innovation, both continuity and discontinuity. Modern logic broke away from the syllogistic tradition, but without Aristotle's syllogism, modern logic would not have been born. A vital follow up to The Aftermath of Syllogism, this book traces the longue durée history of syllogism from Richard Whately's revival of formal logic in the 1820s through the work of David Hilbert and the Göttingen school up to the 1930s. Bringing together a group of major international experts, it sheds crucial new light on the emergence of modern logic and the roots of analytic philosophy in the 19th and early 20th centuries.

Aristotle's Modal Proofs

Aristotle's Modal Proofs PDF Author: Adriane Rini
Publisher: Springer Science & Business Media
ISBN: 9400700504
Category : Philosophy
Languages : en
Pages : 246

Get Book

Book Description
Aristotle’s modal syllogistic is his study of patterns of reasoning about necessity and possibility. Many scholars think the modal syllogistic is incoherent, a ‘realm of darkness’. Others think it is coherent, but devise complicated formal modellings to mimic Aristotle’s results. This volume provides a simple interpretation of Aristotle’s modal syllogistic using standard predicate logic. Rini distinguishes between red terms, such as ‘horse’, ‘plant’ or ‘man’, which name things in virtue of features those things must have, and green terms, such as ‘moving’, which name things in virtue of their non-necessary features. By applying this distinction to the Prior Analytics, Rini shows how traditional interpretive puzzles about the modal syllogistic melt away and the simple structure of Aristotle’s own proofs is revealed. The result is an applied logic which provides needed links between Aristotle’s views of science and logical demonstration. The volume is particularly valuable to researchers and students of the history of logic, Aristotle’s theory of modality, and the philosophy of logic in general.

Themes in Neoplatonic and Aristotelian Logic

Themes in Neoplatonic and Aristotelian Logic PDF Author: John N. Martin
Publisher: Routledge
ISBN: 1351880039
Category : Philosophy
Languages : en
Pages : 232

Get Book

Book Description
Were the most serious philosophers of the millennium 200 A.D. to 1200 A.D. just confused mystics? This book shows otherwise. John Martin rehabilitates Neoplatonism, founded by Plotinus and brought into Christianity by St. Augustine. The Neoplatonists devise ranking predicates like good, excellent, perfect to divide the Chain of Being, and use the predicate intensifier hyper so that it becomes a valid logical argument to reason from God is not (merely) good to God is hyper-good. In this way the relational facts underlying reality find expression in Aristotle's subject-predicate statements, and the Platonic tradition proves able to subsume Aristotle's logic while at the same time rejecting his metaphysics. In the Middle Ages when Aristotle's larger philosophy was recovered and joined again to the Neoplatonic tradition which was never lost, Neoplatonic logic lived along side Aristotle's metaphysics in a sometime confusing and unsettled way. Showing Neoplatonism to be significantly richer in its logical and philosophical ideas than it is usually given credit for, this book will be of interest not just to historians of logic, but to philosophers, logicians, linguists, and theologians.

Aristotelian Assertoric Syllogistic

Aristotelian Assertoric Syllogistic PDF Author: Mohamed A. Amer
Publisher: Springer Nature
ISBN: 3030873412
Category : Philosophy
Languages : en
Pages : 100

Get Book

Book Description
This book is a treatise on Aristotelian assertoric syllogistic, which is currently of growing interest. Some centuries ago, it attracted the attention of the founders of modern logic, who approached it in several (semantical and syntactical) ways. Further approaches were introduced later on. In this book these approaches (with few exceptions) are discussed, developed and interrelated. Among other things, different facets of soundness, completeness, decidability, and independence for Aristotelian assertoric syllogistic are investigated. Specifically arithmetization (Leibniz), algebraization (Leibniz and Boole), and Venn models (Euler and Venn) are examined. The book is aimed at scholars in the fields of logic and history of logic.

On the Syllogism

On the Syllogism PDF Author: Augustus De Morgan
Publisher: Routledge
ISBN: 0429514824
Category : Philosophy
Languages : en
Pages : 386

Get Book

Book Description
Originally published in 1966 On the Syllogism and Other Logical Writings assembles for the first time the five celebrated memoirs of Augustus De Morgan on the syllogism. These are collected together with the more condensed accounts of his researches given in his Syllabus of a Proposed System of Logic an article on Logic contributed to the English Cyclopaedia. De Morgan was among the most distinguished of nineteenth century British mathematicians but is chiefly remembered today as one of the founders of modern mathematical logic. His writings on this subject have been little read, however since apart from his Formal Logic, they lie buried for the most part in inaccessible periodicals. De Morgan’s own later amendments are inserted in the text and the editorial introduction gives a summary of the whole and traces in some detail the course of the once-famous feud with Sir William Hamilton of Edinburgh.

Aristotle's Theory of the Syllogism

Aristotle's Theory of the Syllogism PDF Author: Günther Patzig
Publisher:
ISBN:
Category : Logic
Languages : en
Pages : 244

Get Book

Book Description


Ancient Logic and Its Modern Interpretations

Ancient Logic and Its Modern Interpretations PDF Author: J. Corcoran
Publisher: Springer Science & Business Media
ISBN: 9401021309
Category : Philosophy
Languages : en
Pages : 216

Get Book

Book Description
During the last half century there has been revolutionary progress in logic and in logic-related areas such as linguistics. HistoricaI knowledge of the origins of these subjects has also increased significantly. Thus, it would seem that the problem of determining the extent to which ancient logical and linguistic theories admit of accurate interpretation in modern terms is now ripe for investigation. The purpose of the symposium was to gather logicians, philosophers, linguists, mathematicians and philologists to present research results bearing on the above problem with emphasis on logic. Presentations and discussions at the symposium focused themselves into five areas: ancient semantics, modern research in ancient logic, Aristotle's logic, Stoic logic, and directions for future research in ancient logic and logic-related areas. Seven of the papers which appear below were originally presented at the symposium. In every case, discussion at the symposium led to revisions, in some cases to extensive revisions. The editor suggested still further revisions, but in every case the author was the finaljudge of the work that appears under his name.

Aristotelian Logic

Aristotelian Logic PDF Author: William T. Parry
Publisher: State University of New York Press
ISBN: 1438415575
Category : Philosophy
Languages : en
Pages : 560

Get Book

Book Description
This book provides detailed treatment of topics in traditional logic: the theory of terms; the theory of definition; the informal fallacies; and division and classification. Aristotelian Logic teaches techniques for solving semantic problems — problems caused by confusion over terminology. It teaches the theory of definition — the different kinds of definition and the criteria by which each is judged. It also teaches that definitions are like tools in that some are better suited for a particular task than others. Several chapters are devoted to informal fallacies. A new classification is given for them, and the concept of proof is presented, without which some of the traditional informal fallacies cannot be explained adequately. Another chapter is devoted to division and classification, which occurs in all of the sciences. Other topics covered include the square of opposition, immediate inferences, and the syllogistic and chain arguments.

Syllogistic Logic and Mathematical Proof

Syllogistic Logic and Mathematical Proof PDF Author: Paolo Mancosu
Publisher: Oxford University Press
ISBN: 0198876947
Category : Philosophy
Languages : en
Pages : 238

Get Book

Book Description
Does syllogistic logic have the resources to capture mathematical proof? This volume provides the first unified account of the history of attempts to answer this question, the reasoning behind the different positions taken, and their far-reaching implications. Aristotle had claimed that scientific knowledge, which includes mathematics, is provided by syllogisms of a special sort: 'scientific' ('demonstrative') syllogisms. In ancient Greece and in the Middle Ages, the claim that Euclid's theorems could be recast syllogistically was accepted without further scrutiny. Nevertheless, as early as Galen, the importance of relational reasoning for mathematics had already been recognized. Further critical voices emerged in the Renaissance and the question of whether mathematical proofs could be recast syllogistically attracted more sustained attention over the following three centuries. Supported by more detailed analyses of Euclidean theorems, this led to attempts to extend logical theory to include relational reasoning, and to arguments purporting to reduce relational reasoning to a syllogistic form. Philosophical proposals to the effect that mathematical reasoning is heterogenous with respect to logical proofs were famously defended by Kant, and the implications of the debate about the adequacy of syllogistic logic for mathematics are at the very core of Kant's account of synthetic a priori judgments. While it is now widely accepted that syllogistic logic is not sufficient to account for the logic of mathematical proof, the history and the analysis of this debate, running from Aristotle to de Morgan and beyond, is a fascinating and crucial insight into the relationship between philosophy and mathematics.