Author: PROF PAOLO. MUGNAI MANCOSU (PROF MASSIMO.)
Publisher: Oxford University Press
ISBN: 0198876920
Category :
Languages : en
Pages : 238
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.
Syllogistic Logic and Mathematical Proof
Author: PROF PAOLO. MUGNAI MANCOSU (PROF MASSIMO.)
Publisher: Oxford University Press
ISBN: 0198876920
Category :
Languages : en
Pages : 238
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.
Publisher: Oxford University Press
ISBN: 0198876920
Category :
Languages : en
Pages : 238
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.
Syllogistic Logic and Mathematical Proof
Author: Paolo Mancosu
Publisher: Oxford University Press
ISBN: 0198876947
Category : Philosophy
Languages : en
Pages : 238
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.
Publisher: Oxford University Press
ISBN: 0198876947
Category : Philosophy
Languages : en
Pages : 238
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.
On the Syllogism
Author: Augustus De Morgan
Publisher: Routledge
ISBN: 0429511396
Category : Philosophy
Languages : en
Pages : 386
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.
Publisher: Routledge
ISBN: 0429511396
Category : Philosophy
Languages : en
Pages : 386
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.
Mathematical Logic, Revised Edition
Author: Willard QUINE
Publisher: Harvard University Press
ISBN: 0674042468
Category : Philosophy
Languages : en
Pages : 359
Book Description
W. V. Quine's systematic development of mathematical logic has been widely praised for the new material presented and for the clarity of its exposition. This revised edition, in which the minor inconsistencies observed since its first publication have been eliminated, will be welcomed by all students and teachers in mathematics and philosophy who are seriously concerned with modern logic. Max Black, in Mind, has said of this book, "It will serve the purpose of inculcating, by precept and example, standards of clarity and precision which are, even in formal logic, more often pursued than achieved."
Publisher: Harvard University Press
ISBN: 0674042468
Category : Philosophy
Languages : en
Pages : 359
Book Description
W. V. Quine's systematic development of mathematical logic has been widely praised for the new material presented and for the clarity of its exposition. This revised edition, in which the minor inconsistencies observed since its first publication have been eliminated, will be welcomed by all students and teachers in mathematics and philosophy who are seriously concerned with modern logic. Max Black, in Mind, has said of this book, "It will serve the purpose of inculcating, by precept and example, standards of clarity and precision which are, even in formal logic, more often pursued than achieved."
Augustus De Morgan and the Logic of Relations
Author: Daniel D. Merrill
Publisher: Springer Science & Business Media
ISBN: 9400920474
Category : Philosophy
Languages : en
Pages : 273
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.
Publisher: Springer Science & Business Media
ISBN: 9400920474
Category : Philosophy
Languages : en
Pages : 273
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.
A Logical Introduction to Proof
Author: Daniel W. Cunningham
Publisher: Springer Science & Business Media
ISBN: 1461436311
Category : Mathematics
Languages : en
Pages : 356
Book Description
The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the key components in this textbook is the development of a methodology to lay bare the structure underpinning the construction of a proof, much as diagramming a sentence lays bare its grammatical structure. Diagramming a proof is a way of presenting the relationships between the various parts of a proof. A proof diagram provides a tool for showing students how to write correct mathematical proofs.
Publisher: Springer Science & Business Media
ISBN: 1461436311
Category : Mathematics
Languages : en
Pages : 356
Book Description
The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the key components in this textbook is the development of a methodology to lay bare the structure underpinning the construction of a proof, much as diagramming a sentence lays bare its grammatical structure. Diagramming a proof is a way of presenting the relationships between the various parts of a proof. A proof diagram provides a tool for showing students how to write correct mathematical proofs.
Logic from A to Z
Author: John B. Bacon
Publisher: Routledge
ISBN: 1134971044
Category : Philosophy
Languages : en
Pages : 126
Book Description
First published in the most ambitious international philosophy project for a generation; the Routledge Encyclopedia of Philosophy. Logic from A to Z is a unique glossary of terms used in formal logic and the philosophy of mathematics. Over 500 entries include key terms found in the study of: * Logic: Argument, Turing Machine, Variable * Set and model theory: Isomorphism, Function * Computability theory: Algorithm, Turing Machine * Plus a table of logical symbols. Extensively cross-referenced to help comprehension and add detail, Logic from A to Z provides an indispensable reference source for students of all branches of logic.
Publisher: Routledge
ISBN: 1134971044
Category : Philosophy
Languages : en
Pages : 126
Book Description
First published in the most ambitious international philosophy project for a generation; the Routledge Encyclopedia of Philosophy. Logic from A to Z is a unique glossary of terms used in formal logic and the philosophy of mathematics. Over 500 entries include key terms found in the study of: * Logic: Argument, Turing Machine, Variable * Set and model theory: Isomorphism, Function * Computability theory: Algorithm, Turing Machine * Plus a table of logical symbols. Extensively cross-referenced to help comprehension and add detail, Logic from A to Z provides an indispensable reference source for students of all branches of logic.
Ancient Logic and Its Modern Interpretations
Author: J. Corcoran
Publisher: Springer Science & Business Media
ISBN: 9401021309
Category : Philosophy
Languages : en
Pages : 216
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.
Publisher: Springer Science & Business Media
ISBN: 9401021309
Category : Philosophy
Languages : en
Pages : 216
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.
Images of Italian Mathematics in France
Author: Frédéric Brechenmacher
Publisher: Birkhäuser
ISBN: 3319400827
Category : Mathematics
Languages : en
Pages : 316
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.
Publisher: Birkhäuser
ISBN: 3319400827
Category : Mathematics
Languages : en
Pages : 316
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.
Explanation and Proof in Mathematics
Author: Gila Hanna
Publisher: Springer Science & Business Media
ISBN: 1441905766
Category : Education
Languages : en
Pages : 294
Book Description
In the four decades since Imre Lakatos declared mathematics a "quasi-empirical science," increasing attention has been paid to the process of proof and argumentation in the field -- a development paralleled by the rise of computer technology and the mounting interest in the logical underpinnings of mathematics. Explanantion and Proof in Mathematics assembles perspectives from mathematics education and from the philosophy and history of mathematics to strengthen mutual awareness and share recent findings and advances in their interrelated fields. With examples ranging from the geometrists of the 17th century and ancient Chinese algorithms to cognitive psychology and current educational practice, contributors explore the role of refutation in generating proofs, the varied links between experiment and deduction, the use of diagrammatic thinking in addition to pure logic, and the uses of proof in mathematics education (including a critique of "authoritative" versus "authoritarian" teaching styles). A sampling of the coverage: The conjoint origins of proof and theoretical physics in ancient Greece. Proof as bearers of mathematical knowledge. Bridging knowing and proving in mathematical reasoning. The role of mathematics in long-term cognitive development of reasoning. Proof as experiment in the work of Wittgenstein. Relationships between mathematical proof, problem-solving, and explanation. Explanation and Proof in Mathematics is certain to attract a wide range of readers, including mathematicians, mathematics education professionals, researchers, students, and philosophers and historians of mathematics.
Publisher: Springer Science & Business Media
ISBN: 1441905766
Category : Education
Languages : en
Pages : 294
Book Description
In the four decades since Imre Lakatos declared mathematics a "quasi-empirical science," increasing attention has been paid to the process of proof and argumentation in the field -- a development paralleled by the rise of computer technology and the mounting interest in the logical underpinnings of mathematics. Explanantion and Proof in Mathematics assembles perspectives from mathematics education and from the philosophy and history of mathematics to strengthen mutual awareness and share recent findings and advances in their interrelated fields. With examples ranging from the geometrists of the 17th century and ancient Chinese algorithms to cognitive psychology and current educational practice, contributors explore the role of refutation in generating proofs, the varied links between experiment and deduction, the use of diagrammatic thinking in addition to pure logic, and the uses of proof in mathematics education (including a critique of "authoritative" versus "authoritarian" teaching styles). A sampling of the coverage: The conjoint origins of proof and theoretical physics in ancient Greece. Proof as bearers of mathematical knowledge. Bridging knowing and proving in mathematical reasoning. The role of mathematics in long-term cognitive development of reasoning. Proof as experiment in the work of Wittgenstein. Relationships between mathematical proof, problem-solving, and explanation. Explanation and Proof in Mathematics is certain to attract a wide range of readers, including mathematicians, mathematics education professionals, researchers, students, and philosophers and historians of mathematics.