Syllogistic Logic and Mathematical Proof PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Syllogistic Logic and Mathematical Proof PDF full book. Access full book title Syllogistic Logic and Mathematical Proof by PROF PAOLO. MUGNAI MANCOSU (PROF MASSIMO.). Download full books in PDF and EPUB format.
Author: PROF PAOLO. MUGNAI MANCOSU (PROF MASSIMO.)
Publisher: Oxford University Press
ISBN: 0198876920
Category :
Languages : en
Pages : 238
Get Book Here
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.
Author: PROF PAOLO. MUGNAI MANCOSU (PROF MASSIMO.)
Publisher: Oxford University Press
ISBN: 0198876920
Category :
Languages : en
Pages : 238
Get Book Here
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.
Author: Paolo Mancosu
Publisher: Oxford University Press
ISBN: 0198876947
Category : Philosophy
Languages : en
Pages : 238
Get Book Here
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.
Author: Daniel D. Merrill
Publisher: Springer Science & Business Media
ISBN: 9400920474
Category : Philosophy
Languages : en
Pages : 273
Get Book Here
Book Description
The middle years of the nineteenth century saw two crucial develop ments in the history of modern logic: George Boole's algebraic treat ment of logic and Augustus De Morgan's formulation of the logic of relations. The former episode has been studied extensively; the latter, hardly at all. This is a pity, for the most central feature of modern logic may well be its ability to handle relational inferences. De Morgan was the first person to work out an extensive logic of relations, and the purpose of this book is to study this attempt in detail. Augustus De Morgan (1806-1871) was a British mathematician and logician who was Professor of Mathematics at the University of London (now, University College) from 1828 to 1866. A prolific but not highly original mathematician, De Morgan devoted much of his energies to the rather different field of logic. In his Formal Logic (1847) and a series of papers "On the Syllogism" (1846-1862), he attempted with great ingenuity to reformulate and extend the tradi tional syllogism and to systematize modes of reasoning that lie outside its boundaries. Chief among these is the logic of relations. De Mor gan's interest in relations culminated in his important memoir, "On the Syllogism: IV and on the Logic of Relations," read in 1860.
Author: Frédéric Brechenmacher
Publisher: Birkhäuser
ISBN: 3319400827
Category : Mathematics
Languages : en
Pages : 315
Get Book Here
Book Description
The contributions in this proceedings volume offer a new perspective on the mathematical ties between France and Italy, and reveal how mathematical developments in these two countries affected one another. The focus is above all on the Peninsula’s influence on French mathematicians, counterbalancing the historically predominant perception that French mathematics was a model for Italian mathematicians. In the process, the book details a subtle network of relations between the two countries, where mathematical exchanges fit into the changing and evolving framework of Italian political and academic structures. It reconsiders the issue of nationalities in all of its complexity, an aspect often neglected in research on the history of mathematics. The works in this volume are selected contributions from a conference held in Lille and Lens (France) in November 2013 on Images of Italian Mathematics in France from Risorgimento to Fascism. The authors include respected historians of mathematics, philosophers of science, historians, and specialists for Italy and intellectual relations, ensuring the book will be of great interest to their peers.
Author: Orna Harari
Publisher: Springer Science & Business Media
ISBN: 1402027885
Category : Philosophy
Languages : en
Pages : 180
Get Book Here
Book Description
This study explores the theoretical relationship between Aristotle’s theory of syllogism and his conception of demonstrative knowledge. More specifically, I consider why Aristotle’s theory of demonstration presupposes his theory of syllogism. In reconsidering the relationship between Aristotle’s two Analytics, I modify this widely discussed question. The problem of the relationship between Aristotle’s logic and his theory of proof is commonly approached from the standpoint of whether the theory of demonstration presupposes the theory of syllogism. By contrast, I assume the theoretical relationship between these two theories from the start. This assumption is based on much explicit textual evidence indicating that Aristotle considers the theory of demonstration a branch of the theory of syllogism. I see no textual reasons for doubting the theoretical relationship between Aristotle’s two Analytics so I attempt to uncover here the common theoretical assumptions that relate the syllogistic form of reasoning to the cognitive state (i. e. , knowledge), which is attained through syllogistic inferences. This modification of the traditional approach reflects the wider objective of this essay. Unlike the traditional interpretation, which views the Posterior Analytics in light of scientific practice, this study aims to lay the foundation for a comprehensive interpretation of the Posterior Analytics, considering this work from a metaphysical perspective. One of my major assertions is that Aristotle’s conception of substance is essential for a grasp of his theory of demonstration in general, and of the role of syllogistic logic in particular.
Author: Karine Chemla
Publisher: Cambridge University Press
ISBN: 1139510584
Category : Philosophy
Languages : en
Pages : 522
Get Book Here
Book Description
This radical, profoundly scholarly book explores the purposes and nature of proof in a range of historical settings. It overturns the view that the first mathematical proofs were in Greek geometry and rested on the logical insights of Aristotle by showing how much of that view is an artefact of nineteenth-century historical scholarship. It documents the existence of proofs in ancient mathematical writings about numbers and shows that practitioners of mathematics in Mesopotamian, Chinese and Indian cultures knew how to prove the correctness of algorithms, which are much more prominent outside the limited range of surviving classical Greek texts that historians have taken as the paradigm of ancient mathematics. It opens the way to providing the first comprehensive, textually based history of proof.
Author: Gerard O’Regan
Publisher: Springer Nature
ISBN: 3030342093
Category : Computers
Languages : en
Pages : 468
Get Book Here
Book Description
This illuminating textbook provides a concise review of the core concepts in mathematics essential to computer scientists. Emphasis is placed on the practical computing applications enabled by seemingly abstract mathematical ideas, presented within their historical context. The text spans a broad selection of key topics, ranging from the use of finite field theory to correct code and the role of number theory in cryptography, to the value of graph theory when modelling networks and the importance of formal methods for safety critical systems. This fully updated new edition has been expanded with a more comprehensive treatment of algorithms, logic, automata theory, model checking, software reliability and dependability, algebra, sequences and series, and mathematical induction. Topics and features: includes numerous pedagogical features, such as chapter-opening key topics, chapter introductions and summaries, review questions, and a glossary; describes the historical contributions of such prominent figures as Leibniz, Babbage, Boole, and von Neumann; introduces the fundamental mathematical concepts of sets, relations and functions, along with the basics of number theory, algebra, algorithms, and matrices; explores arithmetic and geometric sequences and series, mathematical induction and recursion, graph theory, computability and decidability, and automata theory; reviews the core issues of coding theory, language theory, software engineering, and software reliability, as well as formal methods and model checking; covers key topics on logic, from ancient Greek contributions to modern applications in AI, and discusses the nature of mathematical proof and theorem proving; presents a short introduction to probability and statistics, complex numbers and quaternions, and calculus. This engaging and easy-to-understand book will appeal to students of computer science wishing for an overview of the mathematics used in computing, and to mathematicians curious about how their subject is applied in the field of computer science. The book will also capture the interest of the motivated general reader.
Author: Gila Hanna
Publisher: Frontiers Media SA
ISBN: 2832529992
Category : Science
Languages : en
Pages : 552
Get Book Here
Book Description
Modern Mathematics is constructed rigorously through proofs, based on truths, which are either axioms or previously proven theorems. Thus, it is par excellence a model of rational inquiry. Links between Cognitive Psychology and Mathematics Education have been particularly strong during the last decades. Indeed, the Enlightenment view of the rational human mind that reasons, makes decisions and solves problems based on logic and probabilities, was shaken during the second half of the twentieth century. Cognitive psychologists discovered that humans' thoughts and actions often deviate from rules imposed by strict normative theories of inference. Yet, these deviations should not be called "errors": as Cognitive Psychologists have demonstrated, these deviations may be either valid heuristics that succeed in the environments in which humans have evolved, or biases that are caused by a lack of adaptation to abstract information formats. Humans, as the cognitive psychologist and economist Herbert Simon claimed, do not usually optimize, but rather satisfice, even when solving problem. This Research Topic aims at demonstrating that these insights have had a decisive impact on Mathematics Education. We want to stress that we are concerned with the view of bounded rationality that is different from the one espoused by the heuristics-and-biases program. In Simon’s bounded rationality and its direct descendant ecological rationality, rationality is understood in terms of cognitive success in the world (correspondence) rather than in terms of conformity to content-free norms of coherence (e.g., transitivity).
Author: DK
Publisher: Penguin
ISBN: 1465494200
Category : Mathematics
Languages : en
Pages : 711
Get Book Here
Book Description
See how math's infinite mysteries and beauty unfold in this captivating educational book! Discover more than 85 of the most important mathematical ideas, theorems, and proofs ever devised with this beautifully illustrated book. Get to know the great minds whose revolutionary discoveries changed our world today. You don't have to be a math genius to follow along with this book! This brilliant book is packed with short, easy-to-grasp explanations, step-by-step diagrams, and witty illustrations that play with our ideas about numbers. What is an imaginary number? Can two parallel lines ever meet? How can math help us predict the future? All will be revealed and explained in this encyclopedia of mathematics. It's as easy as 1-2-3! The Math Book tells the exciting story of how mathematical thought advanced through history. This diverse and inclusive account will have something for everybody, including the math behind world economies and espionage. This book charts the development of math around the world, from ancient mathematical ideas and inventions like prehistoric tally bones through developments in medieval and Renaissance Europe. Fast forward to today and gain insight into the recent rise of game and group theory. Delve in deeper into the history of math: - Ancient and Classical Periods 6000 BCE - 500 CE - The Middle Ages 500 - 1500 - The Renaissance 1500 - 1680 - The Enlightenment 1680 - 1800 - The 19th Century 1800 - 1900 - Modern Mathematics 1900 - Present The Series Simply Explained With over 7 million copies sold worldwide to date, The Math Book is part of the award-winning Big Ideas Simply Explained series from DK Books. It uses innovative graphics along with engaging writing to make complex subjects easier to understand.
Author: Lukas M. Verburgt
Publisher: Bloomsbury Publishing
ISBN: 1350228869
Category : Philosophy
Languages : en
Pages : 333
Get Book Here
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.
