Augustus De Morgan and the Logic of Relations

Augustus De Morgan and the Logic of Relations

Author: Daniel D. Merrill

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 273

ISBN-13: 9400920474

DOWNLOAD EBOOK

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.


Book Synopsis Augustus De Morgan and the Logic of Relations by : Daniel D. Merrill

Download or read book Augustus De Morgan and the Logic of Relations written by Daniel D. Merrill and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 273 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


On the Syllogism

On the Syllogism

Author: Augustus De Morgan

Publisher: Routledge

Published: 2019-09-17

Total Pages: 386

ISBN-13: 0429514824

DOWNLOAD EBOOK

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.


Book Synopsis On the Syllogism by : Augustus De Morgan

Download or read book On the Syllogism written by Augustus De Morgan and published by Routledge. This book was released on 2019-09-17 with total page 386 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Formal Logic

Formal Logic

Author: Augustus De Morgan

Publisher:

Published: 1847

Total Pages: 376

ISBN-13:

DOWNLOAD EBOOK


Book Synopsis Formal Logic by : Augustus De Morgan

Download or read book Formal Logic written by Augustus De Morgan and published by . This book was released on 1847 with total page 376 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Interactive Logic

Interactive Logic

Author: J. F. A. K. van Benthem

Publisher: Amsterdam University Press

Published: 2007

Total Pages: 363

ISBN-13: 9053563563

DOWNLOAD EBOOK

Traditionally, logic has dealt with notions of truth and reasoning. In the past several decades, however, research focus in logic has shifted to the vast field of interactive logic—the domain of logics for both communication and interaction. The main applications of this move are logical approaches to games and social software; the wealth of these applications was the focus of the seventh Augustus de Morgan Workshop in November 2005. This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games—touching on research in logic, mathematics, computer science, and game theory. “A wonderful demonstration of contemporary topics in logic.”—Wiebe van der Hoek, University of Liverpool


Book Synopsis Interactive Logic by : J. F. A. K. van Benthem

Download or read book Interactive Logic written by J. F. A. K. van Benthem and published by Amsterdam University Press. This book was released on 2007 with total page 363 pages. Available in PDF, EPUB and Kindle. Book excerpt: Traditionally, logic has dealt with notions of truth and reasoning. In the past several decades, however, research focus in logic has shifted to the vast field of interactive logic—the domain of logics for both communication and interaction. The main applications of this move are logical approaches to games and social software; the wealth of these applications was the focus of the seventh Augustus de Morgan Workshop in November 2005. This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games—touching on research in logic, mathematics, computer science, and game theory. “A wonderful demonstration of contemporary topics in logic.”—Wiebe van der Hoek, University of Liverpool


Equations from God

Equations from God

Author: Daniel J. Cohen

Publisher: JHU Press

Published: 2007-04-08

Total Pages: 374

ISBN-13: 0801891868

DOWNLOAD EBOOK

This illuminating history explores the complex relationship between mathematics, religious belief, and Victorian culture. Throughout history, application rather than abstraction has been the prominent driving force in mathematics. From the compass and sextant to partial differential equations, mathematical advances were spurred by the desire for better navigation tools, weaponry, and construction methods. But the religious upheaval in Victorian England and the fledgling United States opened the way for the rediscovery of pure mathematics, a tradition rooted in Ancient Greece. In Equations from God, Daniel J. Cohen captures the origins of the rebirth of abstract mathematics in the intellectual quest to rise above common existence and touch the mind of the deity. Using an array of published and private sources, Cohen shows how philosophers and mathematicians seized upon the beautiful simplicity inherent in mathematical laws to reconnect with the divine and traces the route by which the divinely inspired mathematics of the Victorian era begot later secular philosophies.


Book Synopsis Equations from God by : Daniel J. Cohen

Download or read book Equations from God written by Daniel J. Cohen and published by JHU Press. This book was released on 2007-04-08 with total page 374 pages. Available in PDF, EPUB and Kindle. Book excerpt: This illuminating history explores the complex relationship between mathematics, religious belief, and Victorian culture. Throughout history, application rather than abstraction has been the prominent driving force in mathematics. From the compass and sextant to partial differential equations, mathematical advances were spurred by the desire for better navigation tools, weaponry, and construction methods. But the religious upheaval in Victorian England and the fledgling United States opened the way for the rediscovery of pure mathematics, a tradition rooted in Ancient Greece. In Equations from God, Daniel J. Cohen captures the origins of the rebirth of abstract mathematics in the intellectual quest to rise above common existence and touch the mind of the deity. Using an array of published and private sources, Cohen shows how philosophers and mathematicians seized upon the beautiful simplicity inherent in mathematical laws to reconnect with the divine and traces the route by which the divinely inspired mathematics of the Victorian era begot later secular philosophies.


On the Study and Difficulties of Mathematics

On the Study and Difficulties of Mathematics

Author: Augustus De Morgan

Publisher: Courier Corporation

Published: 2014-03-05

Total Pages: 308

ISBN-13: 0486155153

DOWNLOAD EBOOK

One of the twentieth century's most eminent mathematical writers, Augustus De Morgan enriched his expositions with insights from history and psychology. On the Study and Difficulties of Mathematics represents some of his best work, containing points usually overlooked by elementary treatises, and written in a fresh and natural tone that provides a refreshing contrast to the mechanical character of common textbooks. Presuming only a knowledge of the rules of algebra and Euclidean theorems, De Morgan begins with some introductory remarks on the nature and objects of mathematics. He discusses the concept of arithmetical notion and its elementary rules, including arithmetical reactions and decimal fractions. Moving on to algebra, he reviews the elementary principles, examines equations of the first and second degree, and surveys roots and logarithms. De Morgan's book concludes with an exploration of geometrical reasoning that encompasses the formulation and use of axioms, the role of proportion, and the application of algebra to the measurement of lines, angles, the proportion of figures, and surfaces.


Book Synopsis On the Study and Difficulties of Mathematics by : Augustus De Morgan

Download or read book On the Study and Difficulties of Mathematics written by Augustus De Morgan and published by Courier Corporation. This book was released on 2014-03-05 with total page 308 pages. Available in PDF, EPUB and Kindle. Book excerpt: One of the twentieth century's most eminent mathematical writers, Augustus De Morgan enriched his expositions with insights from history and psychology. On the Study and Difficulties of Mathematics represents some of his best work, containing points usually overlooked by elementary treatises, and written in a fresh and natural tone that provides a refreshing contrast to the mechanical character of common textbooks. Presuming only a knowledge of the rules of algebra and Euclidean theorems, De Morgan begins with some introductory remarks on the nature and objects of mathematics. He discusses the concept of arithmetical notion and its elementary rules, including arithmetical reactions and decimal fractions. Moving on to algebra, he reviews the elementary principles, examines equations of the first and second degree, and surveys roots and logarithms. De Morgan's book concludes with an exploration of geometrical reasoning that encompasses the formulation and use of axioms, the role of proportion, and the application of algebra to the measurement of lines, angles, the proportion of figures, and surfaces.


The Laws of Thought (1854)

The Laws of Thought (1854)

Author: George Boole

Publisher:

Published: 1911

Total Pages: 476

ISBN-13:

DOWNLOAD EBOOK


Book Synopsis The Laws of Thought (1854) by : George Boole

Download or read book The Laws of Thought (1854) written by George Boole and published by . This book was released on 1911 with total page 476 pages. Available in PDF, EPUB and Kindle. Book excerpt:


The Elements of Arithmetic

The Elements of Arithmetic

Author: Augustus De Morgan

Publisher:

Published: 1854

Total Pages: 248

ISBN-13:

DOWNLOAD EBOOK


Book Synopsis The Elements of Arithmetic by : Augustus De Morgan

Download or read book The Elements of Arithmetic written by Augustus De Morgan and published by . This book was released on 1854 with total page 248 pages. Available in PDF, EPUB and Kindle. Book excerpt:


Relational Methods in Computer Science

Relational Methods in Computer Science

Author: Chris Brink

Publisher: Springer Science & Business Media

Published: 1997-04-23

Total Pages: 296

ISBN-13: 9783211829714

DOWNLOAD EBOOK

The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal. For this, Aristotelian syllogistic does not suffice: We require relational reasoning. George Boole, in his Mathematical Analysis of Logic of 1847, initiated the treatment of logic as part of mathematics, specifically as part of algebra. Quite the opposite conviction was put forward early this century by Bertrand Russell and Alfred North Whitehead in their Principia Mathematica (1910 - 1913): that mathematics was essentially grounded in logic. Logic thus developed in two streams. On the one hand algebraic logic, in which the calculus of relations played a particularly prominent part, was taken up from Boole by Charles Sanders Peirce, who wished to do for the "calculus of relatives" what Boole had done for the calculus of sets. Peirce's work was in turn taken up by Schroder in his Algebra und Logik der Relative of 1895 (the third part of a massive work on the algebra of logic). Schroder's work, however, lay dormant for more than 40 years, until revived by Alfred Tarski in his seminal paper "On the calculus of binary relations" of 1941 (actually his presidential address to the Association for Symbolic Logic).


Book Synopsis Relational Methods in Computer Science by : Chris Brink

Download or read book Relational Methods in Computer Science written by Chris Brink and published by Springer Science & Business Media. This book was released on 1997-04-23 with total page 296 pages. Available in PDF, EPUB and Kindle. Book excerpt: The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus De Morgan observed that since a horse is an animal we should be able to infer that the head of a horse is the head of an animal. For this, Aristotelian syllogistic does not suffice: We require relational reasoning. George Boole, in his Mathematical Analysis of Logic of 1847, initiated the treatment of logic as part of mathematics, specifically as part of algebra. Quite the opposite conviction was put forward early this century by Bertrand Russell and Alfred North Whitehead in their Principia Mathematica (1910 - 1913): that mathematics was essentially grounded in logic. Logic thus developed in two streams. On the one hand algebraic logic, in which the calculus of relations played a particularly prominent part, was taken up from Boole by Charles Sanders Peirce, who wished to do for the "calculus of relatives" what Boole had done for the calculus of sets. Peirce's work was in turn taken up by Schroder in his Algebra und Logik der Relative of 1895 (the third part of a massive work on the algebra of logic). Schroder's work, however, lay dormant for more than 40 years, until revived by Alfred Tarski in his seminal paper "On the calculus of binary relations" of 1941 (actually his presidential address to the Association for Symbolic Logic).


Language in Action

Language in Action

Author: Johan van Benthem

Publisher: MIT Press

Published: 1995

Total Pages: 390

ISBN-13: 9780262720243

DOWNLOAD EBOOK

Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature. Van Benthem presents the categorial processing of syntax and semantics as a central component in a more general dynamic logic of information flow, in tune with computational developments in artificial intelligence and cognitive science. Using the paradigm of categorial grammar, he describes the substructural logics driving the dynamics of natural language syntax and semantics. This is a general type-theoretic approach that lends itself easily to proof-theoretic and semantic studies in tandem with standard logic. The emphasis is on a broad landscape of substructural categorial logics and their proof-theoretical and semantic peculiarities. This provides a systematic theory for natural language understanding, admitting of significant mathematical results. Moreover, the theory makes possible dynamic interpretations that view natural languages as programming formalisms for various cognitive activities.


Book Synopsis Language in Action by : Johan van Benthem

Download or read book Language in Action written by Johan van Benthem and published by MIT Press. This book was released on 1995 with total page 390 pages. Available in PDF, EPUB and Kindle. Book excerpt: Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature. Van Benthem presents the categorial processing of syntax and semantics as a central component in a more general dynamic logic of information flow, in tune with computational developments in artificial intelligence and cognitive science. Using the paradigm of categorial grammar, he describes the substructural logics driving the dynamics of natural language syntax and semantics. This is a general type-theoretic approach that lends itself easily to proof-theoretic and semantic studies in tandem with standard logic. The emphasis is on a broad landscape of substructural categorial logics and their proof-theoretical and semantic peculiarities. This provides a systematic theory for natural language understanding, admitting of significant mathematical results. Moreover, the theory makes possible dynamic interpretations that view natural languages as programming formalisms for various cognitive activities.