《一代又一代的理性:一个家庭在后牛顿时代的英国寻找意义

Joan L. Richards
{"title":"《一代又一代的理性:一个家庭在后牛顿时代的英国寻找意义","authors":"Joan L. Richards","doi":"10.56315/pscf3-23richards","DOIUrl":null,"url":null,"abstract":"GENERATIONS OF REASON: A Family's Search for Meaning in Post-Newtonian England by Joan L. Richards. New Haven, CT: Yale University Press, 2021. 456 pages, with 21 b/w illustrations, 1,218 endnotes, and a 35-page index. Hardcover; $45.00. ISBN: 9780300255492. *The title gives no clue who this book is about. Nor does the publisher's description on its website, the abbreviated blurb inside the book jacket, the four endorsements posted on the jacket's back (\"beautifully written,\" \"epic masterpiece,\" \"magnificent study,\" \"compelling and wide-ranging\"), or even the chapter titles. The reader first learns whom the book is about and how it came into focus in the author's Acknowledgments. In studying the divergent interests of Augustus De Morgan and his wife, Sophia, the importance of De Morgan's father-in-law William Frend's thinking became apparent. This is turn led Richards to delve into the lives and beliefs of two ancestors from the previous generation, Francis Blackburne and Theophilus Lindsey, who felt compelled by their commitment to \"reasoned conclusions about matters of faith\" (p. x) to move away from orthodox Anglicanism and establish the first Unitarian church in England. Thus the book eventually evolved into chronicling the lives of three generations over a century and a half during (roughly) the Enlightenment era. *A central motif running through the experiences, beliefs, and work of these families was their steadfast commitment to a form of enlightened rationality that provided coherence and foundational meaning for their lives. Reason informed their ecclesiastical commit-ment to Unitarianism, their views of science and mathematics, and their public activity favoring social and educational reforms. But also, paradoxically, their search for reason led to the beliefs and practices (of some family members) that today would be considered pseu-do-scientific--mesmerism, phrenology, and spiritism, among others. *As Richards notes in the book's opening sentence, for her, Generations of Reason is \"the culmination of a life devoted to understanding the place of mathematics in modern European cultural and intellectual history.\" The mathematics and logic of early- to mid-nineteenth-century Britain has been an ongoing research interest for Richards during her forty-year tenure as a historian of mathematics at Brown Universi-ty. It is this that largely drew me to the book and which I will focus on here: it climaxes in a substantive treatment of the progressive mathematics of De Morgan, whose work contributed to transforming British algebra and logic. This is in stark contrast with the radical ideas of Frend, who refused to admit negative numbers into mathematics. *A central figure behind the developments under investigation is John Locke, whose Essay Concerning Human Understanding (1689) and The Reasonableness of Christianity, as Delivered in the Scriptures (1695) exercised a tremendous influence over and challenge for eighteenth- and nineteenth-century British thinkers. Locke's ideas defined and emphasized rationality in relation to knowledge generally and to scientific and religious knowledge in particular, providing dissenters with a rationale for combatting traditional theology and conformist science and philosophy. For Locke, however, a literal reading of scripture was still authoritative for religious beliefs. This was true for Frend and De Morgan also, even though they held tolerant attitudes toward a wide latitude of thinkers. *Locke's view of Reason also affected period reflections on mathematics. Like others in the early modern and Enlightenment eras, Locke had held up mathematics as a model of absolutely certain knowledge because of the clarity of its ideas and the supposed self-evidence of its axiomatic truths. Of course, this characterization applied more to Euclidean geometry than to the burgeoning domains of analytic mathematics, such as calculus, which, as Berkeley charged, still lacked a sound theoretical basis. As for logic, Locke had an acute antipathy toward traditional argument forms and proposed that one should reason with ideas rather than words, assessing their agreement or disagreement in less convoluted ways than in a syllogism. In expressing such relations with language, though, one should use meaningful and unambiguous terms. This was somewhat problematic in algebra and calculus, where symbolic expressions were manipulated to produce useful and important results, even when their meaning was less than clear. *Around the turn of the nineteenth century, Frend campaigned to bring algebra in line with Lockean reasoning: algebra was conceptualized at that time as universal arithmetic, containing such laws as the transposition rule if a + b = c then a = c - b. Thus, no expression should be employed if its meaning was unintelligible. In the above equations, one must assume the condition b < c to rule out negative values, since numbers, which represent quantities of discrete things, cannot be less than 0. Excising negative quantities from mathematics was extreme but necessary in order to adhere to a literalistic view of rationality. *British mathematicians largely resisted following Frend down this path of purity, though they were unsure how to rationally justify their use of negative and imaginary quantities without going outside mathematics and appealing to things like debts. Robert Woodhouse, in an 1803 work, was one of the first Cambridge mathemati-cians to propose a more formalistic algebraic approach in calculus. This agenda was furthered a decade later by members of Cambridge's Analytical Society, one of whom was George Peacock. His and others' attempts to convert Cambridge analysis from Newtonian to Leibnizian calculus were waged through translating a French textbook and making notational changes in Cambridge's mathematical examinations. *In 1830 Peacock's Treatise on Algebra introduced a more formalistic approach in algebra. Richards argues, drawing upon some fairly recent research, that Peacock's position was grounded in a progressivist view of history: arithmetic developed naturally out of fluency with counting, and algebra out of familiarity with arithmetic. Arithmetic suggests equivalent forms (equations, or symbolic assertions like the above rule) that can also be accepted as equiva-lent/valid in algebra without being constrained by restrictions appropriate to arithmetic. Such transitions, he thought, constitute genuine historical progress. Algebra thus splits into two parts for Peacock, arithmetical algebra and symbolical algebra, the latter based upon his principle of the permanence of equivalent forms, as found in his 1830 A Treatise on Algebra. *Peacock's approach to algebra set the stage for later British mathematicians such as De Morgan (Peacock's student), Boole, and others. Initially inclined to follow his future father-in-law's restrictive approach in algebra, De Morgan was soon won over to Peacock's point of view, even going beyond it in his own work. In a series of articles around 1840, De Morgan identified the basic rules governing ordinary calculations, but he also began entertaining the notion of a symbolical algebra less tightly tied to arithmetical algebra. By more completely separating the interpretation of algebra's operations and symbols from its axioms, symbolical algebra gained further independence from arithmetic. This gave algebra more flexibility, making room for subsequent developments such as the quaternion algebra of William Rowan Hamilton (1843) and Boole's algebra of logic (1847). *After exploring the foundations of algebra, De Morgan turned his attention to analyzing forms of reasoning, a topic made popular by the resurgence of syllogistic logic instigated at Oxford around 1825 by Richard Whately. Traditional Aristotelian logic parsed valid arguments into syllogisms containing categorical statements such as every X is Y. De Morgan treated such sentences exten-sionally, using parentheses to indicate total or partial inclusion between classes X and Y. Thus, every X is Y was symbolized by X)Y since the parenthesis opens toward X; to be more precise, one should indicate whether X and Y are coextensive or X is only a part of Y. By thus quantifying the predicate, as it was called, De Morgan allowed for these two possibilities to be symbolized respectively by X)(Y and X))Y, in compact symbolic form as ')(' and '))'. Combining the two premises of a syllogistic argument using this notation, one could then apply an erasure rule to draw its conclusion. De Morgan enthusiastically elaborated his symbolic logic by adopting an abstract version of algebra that paved the way for operating with formal symbols in logic. De Morgan's symbolism is not as inaccessible as Frege's later two-dimensional concept-writing (though the full version of De Morgan's notation is more complex than indicated here), but it is still rather forbid-ding and failed to find adherents. *In addition to expanding Aristotelian forms by quantifying the predicate, yielding eight basic categorical forms instead of the standard four, by 1860 De Morgan was generalizing the copula \"is\" in such sentences to other relations, such as \"is a brother of\" or \"is greater than.\" He began to systematically investigate the formal properties of such relations and the ways in which relations might be compounded. Though intended as a way to generalize categorical statements and expand syllogistic logic, his treatment of relations was later recognized as an important contribution that could be incorporated into predicate logic. Richards's treatment gives the reader a fair sense of what De Morgan's logic was like, and while a detailed comparison is not developed, the reader can begin to see how De Morgan's system compares to Aristotelian logic, Boole's algebra of logic, and contemporary mathematical logic. *However, as indicated at the outset, exploring De Morgan's algebraic and logical work is only a subplot of Richards's story. Her book is principally a brief for how Reason grounded the work and lives of several significant thinkers in an extended family over three generations. As she ties various threads together, the reader occasionally senses that the presentation may be too tidy, drawing parallels between vastly different developments to make them seem of a piece, all motivated by the same driving force of Reason. Nevertheless, Richards's account forces the reader to continually keep the bigger picture in mind and to connect various facets of the actors' lives and work to their deeper commitment to Reason. Her book thus offers a commendable case study for how technical trends in mathematics might be tied to broader cultural and philosophical concerns. *Reviewed by Calvin Jongsma, Professor Emeritus of Mathematics, Dordt University, Sioux Center, IA 51250.","PeriodicalId":53927,"journal":{"name":"Perspectives on Science and Christian Faith","volume":"241 1","pages":"0"},"PeriodicalIF":0.2000,"publicationDate":"2023-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Generations of Reason: A Family's Search for Meaning in Post-Newtonian England\",\"authors\":\"Joan L. Richards\",\"doi\":\"10.56315/pscf3-23richards\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"GENERATIONS OF REASON: A Family's Search for Meaning in Post-Newtonian England by Joan L. Richards. New Haven, CT: Yale University Press, 2021. 456 pages, with 21 b/w illustrations, 1,218 endnotes, and a 35-page index. Hardcover; $45.00. ISBN: 9780300255492. *The title gives no clue who this book is about. Nor does the publisher's description on its website, the abbreviated blurb inside the book jacket, the four endorsements posted on the jacket's back (\\\"beautifully written,\\\" \\\"epic masterpiece,\\\" \\\"magnificent study,\\\" \\\"compelling and wide-ranging\\\"), or even the chapter titles. The reader first learns whom the book is about and how it came into focus in the author's Acknowledgments. In studying the divergent interests of Augustus De Morgan and his wife, Sophia, the importance of De Morgan's father-in-law William Frend's thinking became apparent. This is turn led Richards to delve into the lives and beliefs of two ancestors from the previous generation, Francis Blackburne and Theophilus Lindsey, who felt compelled by their commitment to \\\"reasoned conclusions about matters of faith\\\" (p. x) to move away from orthodox Anglicanism and establish the first Unitarian church in England. Thus the book eventually evolved into chronicling the lives of three generations over a century and a half during (roughly) the Enlightenment era. *A central motif running through the experiences, beliefs, and work of these families was their steadfast commitment to a form of enlightened rationality that provided coherence and foundational meaning for their lives. Reason informed their ecclesiastical commit-ment to Unitarianism, their views of science and mathematics, and their public activity favoring social and educational reforms. But also, paradoxically, their search for reason led to the beliefs and practices (of some family members) that today would be considered pseu-do-scientific--mesmerism, phrenology, and spiritism, among others. *As Richards notes in the book's opening sentence, for her, Generations of Reason is \\\"the culmination of a life devoted to understanding the place of mathematics in modern European cultural and intellectual history.\\\" The mathematics and logic of early- to mid-nineteenth-century Britain has been an ongoing research interest for Richards during her forty-year tenure as a historian of mathematics at Brown Universi-ty. It is this that largely drew me to the book and which I will focus on here: it climaxes in a substantive treatment of the progressive mathematics of De Morgan, whose work contributed to transforming British algebra and logic. This is in stark contrast with the radical ideas of Frend, who refused to admit negative numbers into mathematics. *A central figure behind the developments under investigation is John Locke, whose Essay Concerning Human Understanding (1689) and The Reasonableness of Christianity, as Delivered in the Scriptures (1695) exercised a tremendous influence over and challenge for eighteenth- and nineteenth-century British thinkers. Locke's ideas defined and emphasized rationality in relation to knowledge generally and to scientific and religious knowledge in particular, providing dissenters with a rationale for combatting traditional theology and conformist science and philosophy. For Locke, however, a literal reading of scripture was still authoritative for religious beliefs. This was true for Frend and De Morgan also, even though they held tolerant attitudes toward a wide latitude of thinkers. *Locke's view of Reason also affected period reflections on mathematics. Like others in the early modern and Enlightenment eras, Locke had held up mathematics as a model of absolutely certain knowledge because of the clarity of its ideas and the supposed self-evidence of its axiomatic truths. Of course, this characterization applied more to Euclidean geometry than to the burgeoning domains of analytic mathematics, such as calculus, which, as Berkeley charged, still lacked a sound theoretical basis. As for logic, Locke had an acute antipathy toward traditional argument forms and proposed that one should reason with ideas rather than words, assessing their agreement or disagreement in less convoluted ways than in a syllogism. In expressing such relations with language, though, one should use meaningful and unambiguous terms. This was somewhat problematic in algebra and calculus, where symbolic expressions were manipulated to produce useful and important results, even when their meaning was less than clear. *Around the turn of the nineteenth century, Frend campaigned to bring algebra in line with Lockean reasoning: algebra was conceptualized at that time as universal arithmetic, containing such laws as the transposition rule if a + b = c then a = c - b. Thus, no expression should be employed if its meaning was unintelligible. In the above equations, one must assume the condition b < c to rule out negative values, since numbers, which represent quantities of discrete things, cannot be less than 0. Excising negative quantities from mathematics was extreme but necessary in order to adhere to a literalistic view of rationality. *British mathematicians largely resisted following Frend down this path of purity, though they were unsure how to rationally justify their use of negative and imaginary quantities without going outside mathematics and appealing to things like debts. Robert Woodhouse, in an 1803 work, was one of the first Cambridge mathemati-cians to propose a more formalistic algebraic approach in calculus. This agenda was furthered a decade later by members of Cambridge's Analytical Society, one of whom was George Peacock. His and others' attempts to convert Cambridge analysis from Newtonian to Leibnizian calculus were waged through translating a French textbook and making notational changes in Cambridge's mathematical examinations. *In 1830 Peacock's Treatise on Algebra introduced a more formalistic approach in algebra. Richards argues, drawing upon some fairly recent research, that Peacock's position was grounded in a progressivist view of history: arithmetic developed naturally out of fluency with counting, and algebra out of familiarity with arithmetic. Arithmetic suggests equivalent forms (equations, or symbolic assertions like the above rule) that can also be accepted as equiva-lent/valid in algebra without being constrained by restrictions appropriate to arithmetic. Such transitions, he thought, constitute genuine historical progress. Algebra thus splits into two parts for Peacock, arithmetical algebra and symbolical algebra, the latter based upon his principle of the permanence of equivalent forms, as found in his 1830 A Treatise on Algebra. *Peacock's approach to algebra set the stage for later British mathematicians such as De Morgan (Peacock's student), Boole, and others. Initially inclined to follow his future father-in-law's restrictive approach in algebra, De Morgan was soon won over to Peacock's point of view, even going beyond it in his own work. In a series of articles around 1840, De Morgan identified the basic rules governing ordinary calculations, but he also began entertaining the notion of a symbolical algebra less tightly tied to arithmetical algebra. By more completely separating the interpretation of algebra's operations and symbols from its axioms, symbolical algebra gained further independence from arithmetic. This gave algebra more flexibility, making room for subsequent developments such as the quaternion algebra of William Rowan Hamilton (1843) and Boole's algebra of logic (1847). *After exploring the foundations of algebra, De Morgan turned his attention to analyzing forms of reasoning, a topic made popular by the resurgence of syllogistic logic instigated at Oxford around 1825 by Richard Whately. Traditional Aristotelian logic parsed valid arguments into syllogisms containing categorical statements such as every X is Y. De Morgan treated such sentences exten-sionally, using parentheses to indicate total or partial inclusion between classes X and Y. Thus, every X is Y was symbolized by X)Y since the parenthesis opens toward X; to be more precise, one should indicate whether X and Y are coextensive or X is only a part of Y. By thus quantifying the predicate, as it was called, De Morgan allowed for these two possibilities to be symbolized respectively by X)(Y and X))Y, in compact symbolic form as ')(' and '))'. Combining the two premises of a syllogistic argument using this notation, one could then apply an erasure rule to draw its conclusion. De Morgan enthusiastically elaborated his symbolic logic by adopting an abstract version of algebra that paved the way for operating with formal symbols in logic. De Morgan's symbolism is not as inaccessible as Frege's later two-dimensional concept-writing (though the full version of De Morgan's notation is more complex than indicated here), but it is still rather forbid-ding and failed to find adherents. *In addition to expanding Aristotelian forms by quantifying the predicate, yielding eight basic categorical forms instead of the standard four, by 1860 De Morgan was generalizing the copula \\\"is\\\" in such sentences to other relations, such as \\\"is a brother of\\\" or \\\"is greater than.\\\" He began to systematically investigate the formal properties of such relations and the ways in which relations might be compounded. Though intended as a way to generalize categorical statements and expand syllogistic logic, his treatment of relations was later recognized as an important contribution that could be incorporated into predicate logic. Richards's treatment gives the reader a fair sense of what De Morgan's logic was like, and while a detailed comparison is not developed, the reader can begin to see how De Morgan's system compares to Aristotelian logic, Boole's algebra of logic, and contemporary mathematical logic. *However, as indicated at the outset, exploring De Morgan's algebraic and logical work is only a subplot of Richards's story. Her book is principally a brief for how Reason grounded the work and lives of several significant thinkers in an extended family over three generations. As she ties various threads together, the reader occasionally senses that the presentation may be too tidy, drawing parallels between vastly different developments to make them seem of a piece, all motivated by the same driving force of Reason. Nevertheless, Richards's account forces the reader to continually keep the bigger picture in mind and to connect various facets of the actors' lives and work to their deeper commitment to Reason. Her book thus offers a commendable case study for how technical trends in mathematics might be tied to broader cultural and philosophical concerns. *Reviewed by Calvin Jongsma, Professor Emeritus of Mathematics, Dordt University, Sioux Center, IA 51250.\",\"PeriodicalId\":53927,\"journal\":{\"name\":\"Perspectives on Science and Christian Faith\",\"volume\":\"241 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.2000,\"publicationDate\":\"2023-03-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Perspectives on Science and Christian Faith\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.56315/pscf3-23richards\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"0\",\"JCRName\":\"RELIGION\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Perspectives on Science and Christian Faith","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.56315/pscf3-23richards","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"0","JCRName":"RELIGION","Score":null,"Total":0}
引用次数: 0

摘要

理查兹的处理让读者对德·摩根的逻辑有了一个大致的了解,虽然没有进行详细的比较,但读者可以开始看到德·摩根的系统与亚里士多德逻辑、布尔的逻辑代数和当代数学逻辑的比较。然而,正如开头所指出的,探索德摩根的代数和逻辑工作只是理查兹故事的一个次要情节。她的书主要简要介绍了一个三代人的大家庭中几位重要思想家的工作和生活是如何以理性为基础的。当她把各种线索联系在一起时,读者偶尔会觉得她的陈述可能过于整齐,在截然不同的发展之间画出相似之处,使它们看起来像是一体的,所有这些都是由同样的理性驱动力驱动的。然而,理查兹的叙述迫使读者不断地在脑海中保持更大的画面,并将演员生活和工作的各个方面与他们对理性的更深层次的承诺联系起来。因此,她的书为数学的技术趋势如何与更广泛的文化和哲学问题联系在一起提供了一个值得称赞的案例研究。*由卡尔文Jongsma,数学名誉教授,多特大学,苏中心,IA 51250审查。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
Generations of Reason: A Family's Search for Meaning in Post-Newtonian England
GENERATIONS OF REASON: A Family's Search for Meaning in Post-Newtonian England by Joan L. Richards. New Haven, CT: Yale University Press, 2021. 456 pages, with 21 b/w illustrations, 1,218 endnotes, and a 35-page index. Hardcover; $45.00. ISBN: 9780300255492. *The title gives no clue who this book is about. Nor does the publisher's description on its website, the abbreviated blurb inside the book jacket, the four endorsements posted on the jacket's back ("beautifully written," "epic masterpiece," "magnificent study," "compelling and wide-ranging"), or even the chapter titles. The reader first learns whom the book is about and how it came into focus in the author's Acknowledgments. In studying the divergent interests of Augustus De Morgan and his wife, Sophia, the importance of De Morgan's father-in-law William Frend's thinking became apparent. This is turn led Richards to delve into the lives and beliefs of two ancestors from the previous generation, Francis Blackburne and Theophilus Lindsey, who felt compelled by their commitment to "reasoned conclusions about matters of faith" (p. x) to move away from orthodox Anglicanism and establish the first Unitarian church in England. Thus the book eventually evolved into chronicling the lives of three generations over a century and a half during (roughly) the Enlightenment era. *A central motif running through the experiences, beliefs, and work of these families was their steadfast commitment to a form of enlightened rationality that provided coherence and foundational meaning for their lives. Reason informed their ecclesiastical commit-ment to Unitarianism, their views of science and mathematics, and their public activity favoring social and educational reforms. But also, paradoxically, their search for reason led to the beliefs and practices (of some family members) that today would be considered pseu-do-scientific--mesmerism, phrenology, and spiritism, among others. *As Richards notes in the book's opening sentence, for her, Generations of Reason is "the culmination of a life devoted to understanding the place of mathematics in modern European cultural and intellectual history." The mathematics and logic of early- to mid-nineteenth-century Britain has been an ongoing research interest for Richards during her forty-year tenure as a historian of mathematics at Brown Universi-ty. It is this that largely drew me to the book and which I will focus on here: it climaxes in a substantive treatment of the progressive mathematics of De Morgan, whose work contributed to transforming British algebra and logic. This is in stark contrast with the radical ideas of Frend, who refused to admit negative numbers into mathematics. *A central figure behind the developments under investigation is John Locke, whose Essay Concerning Human Understanding (1689) and The Reasonableness of Christianity, as Delivered in the Scriptures (1695) exercised a tremendous influence over and challenge for eighteenth- and nineteenth-century British thinkers. Locke's ideas defined and emphasized rationality in relation to knowledge generally and to scientific and religious knowledge in particular, providing dissenters with a rationale for combatting traditional theology and conformist science and philosophy. For Locke, however, a literal reading of scripture was still authoritative for religious beliefs. This was true for Frend and De Morgan also, even though they held tolerant attitudes toward a wide latitude of thinkers. *Locke's view of Reason also affected period reflections on mathematics. Like others in the early modern and Enlightenment eras, Locke had held up mathematics as a model of absolutely certain knowledge because of the clarity of its ideas and the supposed self-evidence of its axiomatic truths. Of course, this characterization applied more to Euclidean geometry than to the burgeoning domains of analytic mathematics, such as calculus, which, as Berkeley charged, still lacked a sound theoretical basis. As for logic, Locke had an acute antipathy toward traditional argument forms and proposed that one should reason with ideas rather than words, assessing their agreement or disagreement in less convoluted ways than in a syllogism. In expressing such relations with language, though, one should use meaningful and unambiguous terms. This was somewhat problematic in algebra and calculus, where symbolic expressions were manipulated to produce useful and important results, even when their meaning was less than clear. *Around the turn of the nineteenth century, Frend campaigned to bring algebra in line with Lockean reasoning: algebra was conceptualized at that time as universal arithmetic, containing such laws as the transposition rule if a + b = c then a = c - b. Thus, no expression should be employed if its meaning was unintelligible. In the above equations, one must assume the condition b < c to rule out negative values, since numbers, which represent quantities of discrete things, cannot be less than 0. Excising negative quantities from mathematics was extreme but necessary in order to adhere to a literalistic view of rationality. *British mathematicians largely resisted following Frend down this path of purity, though they were unsure how to rationally justify their use of negative and imaginary quantities without going outside mathematics and appealing to things like debts. Robert Woodhouse, in an 1803 work, was one of the first Cambridge mathemati-cians to propose a more formalistic algebraic approach in calculus. This agenda was furthered a decade later by members of Cambridge's Analytical Society, one of whom was George Peacock. His and others' attempts to convert Cambridge analysis from Newtonian to Leibnizian calculus were waged through translating a French textbook and making notational changes in Cambridge's mathematical examinations. *In 1830 Peacock's Treatise on Algebra introduced a more formalistic approach in algebra. Richards argues, drawing upon some fairly recent research, that Peacock's position was grounded in a progressivist view of history: arithmetic developed naturally out of fluency with counting, and algebra out of familiarity with arithmetic. Arithmetic suggests equivalent forms (equations, or symbolic assertions like the above rule) that can also be accepted as equiva-lent/valid in algebra without being constrained by restrictions appropriate to arithmetic. Such transitions, he thought, constitute genuine historical progress. Algebra thus splits into two parts for Peacock, arithmetical algebra and symbolical algebra, the latter based upon his principle of the permanence of equivalent forms, as found in his 1830 A Treatise on Algebra. *Peacock's approach to algebra set the stage for later British mathematicians such as De Morgan (Peacock's student), Boole, and others. Initially inclined to follow his future father-in-law's restrictive approach in algebra, De Morgan was soon won over to Peacock's point of view, even going beyond it in his own work. In a series of articles around 1840, De Morgan identified the basic rules governing ordinary calculations, but he also began entertaining the notion of a symbolical algebra less tightly tied to arithmetical algebra. By more completely separating the interpretation of algebra's operations and symbols from its axioms, symbolical algebra gained further independence from arithmetic. This gave algebra more flexibility, making room for subsequent developments such as the quaternion algebra of William Rowan Hamilton (1843) and Boole's algebra of logic (1847). *After exploring the foundations of algebra, De Morgan turned his attention to analyzing forms of reasoning, a topic made popular by the resurgence of syllogistic logic instigated at Oxford around 1825 by Richard Whately. Traditional Aristotelian logic parsed valid arguments into syllogisms containing categorical statements such as every X is Y. De Morgan treated such sentences exten-sionally, using parentheses to indicate total or partial inclusion between classes X and Y. Thus, every X is Y was symbolized by X)Y since the parenthesis opens toward X; to be more precise, one should indicate whether X and Y are coextensive or X is only a part of Y. By thus quantifying the predicate, as it was called, De Morgan allowed for these two possibilities to be symbolized respectively by X)(Y and X))Y, in compact symbolic form as ')(' and '))'. Combining the two premises of a syllogistic argument using this notation, one could then apply an erasure rule to draw its conclusion. De Morgan enthusiastically elaborated his symbolic logic by adopting an abstract version of algebra that paved the way for operating with formal symbols in logic. De Morgan's symbolism is not as inaccessible as Frege's later two-dimensional concept-writing (though the full version of De Morgan's notation is more complex than indicated here), but it is still rather forbid-ding and failed to find adherents. *In addition to expanding Aristotelian forms by quantifying the predicate, yielding eight basic categorical forms instead of the standard four, by 1860 De Morgan was generalizing the copula "is" in such sentences to other relations, such as "is a brother of" or "is greater than." He began to systematically investigate the formal properties of such relations and the ways in which relations might be compounded. Though intended as a way to generalize categorical statements and expand syllogistic logic, his treatment of relations was later recognized as an important contribution that could be incorporated into predicate logic. Richards's treatment gives the reader a fair sense of what De Morgan's logic was like, and while a detailed comparison is not developed, the reader can begin to see how De Morgan's system compares to Aristotelian logic, Boole's algebra of logic, and contemporary mathematical logic. *However, as indicated at the outset, exploring De Morgan's algebraic and logical work is only a subplot of Richards's story. Her book is principally a brief for how Reason grounded the work and lives of several significant thinkers in an extended family over three generations. As she ties various threads together, the reader occasionally senses that the presentation may be too tidy, drawing parallels between vastly different developments to make them seem of a piece, all motivated by the same driving force of Reason. Nevertheless, Richards's account forces the reader to continually keep the bigger picture in mind and to connect various facets of the actors' lives and work to their deeper commitment to Reason. Her book thus offers a commendable case study for how technical trends in mathematics might be tied to broader cultural and philosophical concerns. *Reviewed by Calvin Jongsma, Professor Emeritus of Mathematics, Dordt University, Sioux Center, IA 51250.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
57.10%
发文量
0
期刊最新文献
The Digital Public Square: Christian Ethics in a Technological Society Real Structures and Divine Action Externalism: A Solution to Benacerraf's Problem Virtue and Artificial Intelligence Did the New Testament Authors Believe the Earth Is Flat? Modifying Our Genes: Theology, Science and “Playing God”
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1