Augustus De Morgan and the Logic of Relations 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 Augustus De Morgan and the Logic of Relations PDF full book. Access full book title Augustus De Morgan and the Logic of Relations by Daniel D. Merrill. Download full books in PDF and EPUB format.

Augustus De Morgan and the Logic of Relations

Augustus De Morgan and the Logic of Relations PDF 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.

Augustus De Morgan and the Logic of Relations

Augustus De Morgan and the Logic of Relations PDF 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.

On the Syllogism

On the Syllogism PDF Author: Augustus De Morgan
Publisher: Routledge
ISBN: 0429514824
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.

Formal Logic

Formal Logic PDF Author: Augustus De Morgan
Publisher:
ISBN:
Category : Logic
Languages : en
Pages : 376

Book Description


Interactive Logic

Interactive Logic PDF Author: J. F. A. K. van Benthem
Publisher: Amsterdam University Press
ISBN: 9053563563
Category : Philosophy
Languages : en
Pages : 363

Book Description
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

Syllabus of a Proposed System of Logic

Syllabus of a Proposed System of Logic PDF Author: Augustus De Morgan
Publisher: Legare Street Press
ISBN: 9781018122250
Category : History
Languages : en
Pages : 0

Book Description
This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work is in the "public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.

Philosophy of Logic

Philosophy of Logic PDF Author:
Publisher: Elsevier
ISBN: 008046663X
Category : Mathematics
Languages : en
Pages : 1219

Book Description
The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of truth, the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the Löwenheim-Skolem theorem and Skolem paradox, vagueness, modal realism v. actualism, counterfactuals and the logic of causation, applications of logic and mathematics to the physical sciences, logically possible worlds and counterpart semantics, and the legacy of Hilbert's program and logicism. The handbook is meant to be both a compendium of new work in symbolic logic and an authoritative resource for students and researchers, a book to be consulted for specific information about recent developments in logic and to be read with pleasure for its technical acumen and philosophical insights.- Written by leading logicians and philosophers- Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic- Clear, in-depth expositions of technical detail- Progressive organization from general considerations to informal to symbolic logic to nonclassical logics- Presents current work in symbolic logic within a unified framework- Accessible to students, engaging for experts and professionals- Insightful philosophical discussions of all aspects of logic- Useful bibliographies in every chapter

The Elements of Arithmetic

The Elements of Arithmetic PDF Author: Augustus De Morgan
Publisher:
ISBN:
Category : Arithmetic
Languages : en
Pages : 248

Book Description


On the Study and Difficulties of Mathematics

On the Study and Difficulties of Mathematics PDF Author: Augustus De Morgan
Publisher: Courier Corporation
ISBN: 0486155153
Category : Mathematics
Languages : en
Pages : 308

Book Description
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.

Equations from God

Equations from God PDF Author: Daniel J. Cohen
Publisher: JHU Press
ISBN: 0801891868
Category : Mathematics
Languages : en
Pages : 374

Book Description
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.

Relational Methods in Computer Science

Relational Methods in Computer Science PDF Author: Chris Brink
Publisher: Springer Science & Business Media
ISBN: 9783211829714
Category : Computers
Languages : en
Pages : 296

Book Description
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).