Augustus De Morgan
De Morgan, Augustus
De Morgan, Augustus
(b. Madura, Madras presidency, India, June 1806; d. London, England, 18 March 1871),
De Morgan’s father was a colonel in the Indian Army; and his mother was the daughter of John Dodson, a pupil and friend of Abraham de Moivre, and granddaughter of James Dodson, author of the Mathematical Canon. At the age of seven months De Morgan was brought to England, where his family settled first at Worcester and then at Taunton. He attended a succession of private schools at which he acquired a mastery of Latin, Greek, and Hebrew and a strong interest in mathematics before the age of fourteen. He also acquired an intense dislike for cramming, examinations, and orthodox theology.
De Morgan entered Trinity College, Cambridge, in February 1823 and placed first in the first-class division in his second year; he was disappointed, however, to graduate only as fourth wrangler in 1827. After contemplating a career in either medicine or law, De Morgan successfully applied for the chair of mathematics at the newly formed University College, London, in 1828 on the strong recommendation of his former tutors, who included Airy and Peacock. When, in 1831, the college council dismissed the professor of anatomy without giving reasons, he immediately resigned on principle. He resumed in 1836, on the accidental death of his successor, and remained there until a second resignation in 1866.
De Morgan’s life was characterized by powerful religious convictions. While admitting a personal faith in Jesus Christ, he abhorred any suspicion of hypocrisy or sectarianism and on these grounds refused an M.A., a fellowship at Cambridge, and ordination. In 1837 he married Sophia Elizabeth Frend, who wrote his biography in 1882. De Morgan was never wealthy; and his researches into all branches of knowledge, together with his prolific output of writing, left little time for social or family life. However, he was well known for his humor, range of knowledge, and sweetness of disposition.
In May 1828 De Morgan became a fellow of the Astronomical Society; he was elected to the council in 1830, serving as secretary (1831–1838; 1848–1854). He helped to found the London Mathematical Society, becoming its first president and giving the inaugural lecture in 1865. He was also an influential member of the Society for the Diffusion of Useful Knowledge from 1826. De Morgan was a prolific writer, contributing no fewer than 850 articles (onesixth of the total production) to the Penny Cyclopaedia and writing regularly for at least fifteen periodicals.
De Morgan exerted a considerable influence on the development of mathematics in the nineteenth century. As a teacher he sought to demonstrate principles rather than techniques; and his pupils, who included Todhunter, Routh, and Sylvester, acquired from him a great love of the subject. He wrote textbooks on the elements of arithmetic, algebra, trigonometry, calculus, complex numbers, probability, and logic. These books are characterized by meticulous attention to detail, enunciation of fundamental principles, and clear logical presentation.
De Morgan’s original contributions to mathematics were mainly in the fields of analysis and logic. In an article written in 1838, he defined and invented the term “mathematical induction” to describe a process that previously had been used —without much clarity—by mathematicians.
In The Differential and Integral Calculus (1842) there is a good discussion of fundamental principles with a definition of the limit which is probably the first precise analytical formulation of Cauchy’s somewhat intuitive concept. The same work contains a discussion of infinite series with an original rule to determine convergence precisely when simpler tests fail. De Morgan’s rule, which is proved rigorously, is that if the series is given by
the series converges for e>1 but diverges for e≤1.
Among his other mathematical work is a system that De Morgan described as “double algebra.” This helped to give a complete geometrical interpretation of the properties of complex numbers and, as Sir William Rowan Hamilton acknowledged, suggested the idea of quaternions.
De Morgan’s greatest contribution to scientific knowledge undoubtedly lay in his logical researches; and the subsequent development of symbolic logic, with its powerful influences on both philosophy and technology, owes much to his fundamental work. He believed that the traditional method of argument using the Aristotelian syllogism was inadequate in reasoning that involved quantity. As an example De Morgan presented the following argument:
In a particular company of men
most men have coats most
men have waistcoats
∴ some men have both coats and waistcoats.
He asserted that it was not possible to demonstrate this true argument by means of any of the normally accepted Aristotelian syllogisms.
The first attempt to extend classical logic by means of quantifying the predicate and reformulating logical statements in mathematical terms was made by George Bentham in 1827. He rephrased the statement “Every X is a Y” in to the eqation “X in to toto = Y ex parte” with the algebraic notation “tX = pY.” It was more usual at this time, however, for logicians to make more classical attempts to broaden the Aristotelian syllogistic; and De Morgan’s work, which commenced in the 1840’s, can be seen as the bridge between this older approach and Boole’s analytical formulation. Boole acknowledged his debt to De Morgan and Hamilton in the preface to his first logical work, The Mathematical Analysis of Logic (1847).
The Scottish philosopher Sir William Hamilton (not to be confused with Sir William Rowan Hamilton) worked out a system for quantifying the predicate a short time before De Morgan did and unjustly accused him of plagiarism. He had no shred of evidence to support his charge, and De Morgan’s work was superior to his in both analytical formulation and subsequent development.
De Morgan invented notations, which he sometimes varied, to describe simple propositions. Objects with certain properties were denoted by capital letters X, Y, Z,... and those without this property by the corresponding small letters x, y, z,..., One of his notations was
A Every X is a Y as X)Y
E No X is a Y as X.Y
I Some X’s are Y’s as XY
O Some X’s are not Ys as X:Y
the symbols A, E, I, O, having their usual Aristotelian meaning. He then worked out rules to establish valid syllogistic inferences. Such results were then written in the form
X)Y + Y)Z = X)Z
Y:X + Y)Z = Z:X
X)Y + Z)Y = xz
and so on. This notation was superseded by Boole’s more algebraic one, but it helped De Morgan to establish valid inferences not always obtainable through the traditional rules. Using the notation of Boolean algebra, the two equations (A ∩ B)′ = A′ ∪ B′ and (A ∪ B)′ = A′ ∩ B′ are still referred to as the De Morgan formulas.
De Morgan was also the first logician to present a logic of relations. In a paper written in 1860 he used the notation X..LY to represent the statement that X is one of the objects in the relation L to Y, while X.L Y meant that X was not any of the L’s of Y. He also presented the idea X..(LM)Y as the composition of two relations L,M, and of the inverse relation L-1. This extension of the idea of subject and predicate was not adopted by any of De Morgan’s successors, and the idea lapsed until Benjamin Peirce’s work of 1883.
De Morgan was steeped in the history of mathematics. He wrote biographies of Newton and Halley and published an index of the correspondence of scientific men of the seventeenth century. He believed that the work of both minor and major mathematicians was essential for an assessment of mathematical development, a principle shown most clearly in his Arithmetical Books (1847). This work describes the many arithmetical books in the author’s possession, refers to the work of 1,580 arithmeticians, and contains detailed digressions on such subjects as the length of a foot and the authorship of the popular Cocker’s Arithmetick. De Morgan’s book was written at a time when accurate bibliography was in its infancy and was probably the first significant work of scientific bibliography. Despite a lack of means, he collected a library of over 3,000 scientific books, which is now at the London University library.
De Morgan’s peripheral mathematical interests included a powerful advocacy of decimal coinage; an almanac giving the dates of the new moon from 2000 b.c. to a.d. 2000; a curious work entitled Budget of Paradoxes, which considers, among other things, the work of would-be circle squarers; and a standard work on the theory of probability applied to life contingencies that is highly regarded in insurance literature.
I. Original Works. De Morgan’s books include The Elements of Arithmetic (London, 1830); Elements of Spherical Trigonometry (London, 1834); The Elements of Algebra Preliminary to the Differential Calculus, and Fit for the Higher Classes of Schools etc. (London, 1835); The Connexion of Number and Magnitude: An Attempt to Explain the Fifth Book of Euclid (London, 1836); Elements of Trigonometryand Trigonometrical Analysis, Preliminary to the Differential Calculus (London, 1837); An Essay on Probabilities, and on Their Application to Life Contingencies and Insurance Offices (London, 1838); First Notions of Logic, Preparatory to the Study of Geometry (London, 1839); Arithmetical Books From the Invention of Printing to the Present Time. Being Brief Notices of a Large Number of Works Drawn up From Actual Inspection (London, 1847), repub. (London, 1967) with a biographical introduction by A. R. Hall; The Differential and Integral Calculus (London,1842); Formal Logic: or The Calculus of Inference, Necessary and Probable (London, 1847); Trigonometry and Double Algebra (London, 1849); The Book of Almanacs With an Index of Reference, by Which the Almanac May Be Found for Every Year... up to A.D. 2000. With Means of Finding the Day of Any New or Full Moon From B.C. 2000 to A.D. 2000 (London, 1851); Syllabus of a Proposed System of Logic (London, 1860); and A Budget of Paradoxes (London, 1872).
Articles by De Morgan can be found in Quarterly Journal of Education (1831–1833); Cambridge Philosophical Transactions (1830–1868); Philosophical Magazine (1835–1852); Cambridge Mathematical Journal (1841–1845); Cambridge and Dublin Mathematical Journal (1846–1853); Quarterly Journal of Mathematics (1857–1858); Central Society of Education (1837–1839); The Mathematician (1850); and British Almanac and Companion (1831–1857). He also contributed to Smith’s Classical Dictionary, Dublin Review, Encyclopaedia Metropolitana, and Penny Cyclopaedia.
II. Secondary Literature. On De Morgan or his work, see I. M. Bochenski, Formate Logik (Freiburg-Munich, 1956), pp. 306–307, 345–347, passim; S. De Morgan, Memoir of Augustus De Morgan... With Selections From His Letters (London, 1882); G. B. Halsted, “De Morgan as Logician,” in Journal of Speculative Philosophy, 18 (1884), 1–9; and an obituary notice in Monthly Notices of the Royal Astronomical Society, 32 (1872), 112–118.
John M. Dubbey
De Morgan, Augustus (1806-1871)
De Morgan, Augustus (1806-1871)
A famous English mathematician, de Morgan was one of the first English scientists who investigated the phenomena of Spiritualism and became convinced of its paranormal nature. He was born in 1806 in Madura, Madras, India. At the age of seven months, his family moved to England. At an early age he lost the use of one eye. He attended several schools, eventually entering Trinity College, Cambridge University, in 1823. It was there that he displayed his mathematical ability. After earning his M.A., he began a career in law, but soon abandoned that and was elected as the first professor of mathematics at the University of London (later known as University College, London).
De Morgan was a brilliant mathematician and was responsible for the complete geometrical interpretation of the square root of minus one. He had a great love of algebra, puzzles, puns, and paradoxes. Beyond his long career at the university, he was secretary to the Royal Astronomical Society for 18 years, an influential member of the Society for the Diffusion of Useful Knowledge, and the author of such standard works as Formal Logic, The Differential Calculus (1847) and the An Essay on Probabilities (1838).
His first paranormal experience occurred in 1849. Ellen Dawson, a clairvoyant patient of a London surgeon named Hands, was sent, in a state of trance, on a clairvoyant journey after de Morgan. The sitting took place in the house of Mrs. de Morgan. The clairvoyant gave a description of de Morgan's acts and surroundings in a house where he was a guest. The description corresponded with the facts to the minutest details.
The first continuing series of investigations in which de Morgan participated took place with the well-known American medium Maria B. Hayden in de Morgan's own house. In 1854 Mrs. de Morgan discovered that her young servant Jane was a medium. She produced raps and movement of the table and saw visions. Her phenomena lasted for two years.
A report of this and the previous investigation with Hayden was published anonymously in 1863 under the title From Matter to Spirit, the Result of Ten Years' Experience in Spirit Manifestations, by C. D. (i.e., Mrs. de Morgan), with a preface by A. B. (i.e., de Morgan). In his preface, de Morgan writes:
"I am perfectly convinced that I have both seen and heard, in a manner which should make unbelief impossible, things called spiritual which cannot be taken by a rational being to be capable of explanation by imposture, coincidence or mistake. So far I feel the ground firm under me. But when it comes to what is the cause of these phenomena, I find I cannot adopt any explanation which has yet been suggested."
Writing anonymously, he shows some concern for the opinions of his colleagues: "My state of mind, which refers the whole either to some unseen intelligence, or something which man has never had any conception of, proves me to be out of the pale of the Royal Society." He was more definite and out-spoken in his work Mind, published later the same year. He declared that he had come to believe that the only satisfactory hypothesis to explain the facts was that they occurred through some superhuman intelligence.
He finally gave up his anonymity by allowing the second edition of From Matter to Spirit to be advertised under his true name. At the Lyon-Home trial in 1868 (see D. D. Home ) extracts from his preface were read in the court. He died March 18, 1871.
Berger, Arthur S., and Joyce Berger. The Encyclopedia of Parapsychology and Psychical Research. New York: Paragon House, 1991.
De Morgan, Augustus. A Budget of Paradoxes. La Salle, Ill.: Open Court, 1915. Reprinted as Encyclopedia of Eccentrics. N.p., 1971.
De Morgan, Sophia Elizabeth. Three Score Years and Ten; Reminiscences of the Late Sophia Elizabeth De Morgan. London: R. Bentley, 1895.
de Morgan, Augustus
DE MORGAN, AUGUSTUS
English logician, the first modern philosopher to develop a clear idea of logical form; b. Madura, India, June 27, 1806; d. London, March 18, 1871. His greatest achievement is to have initiated serious research into the logic of relations. Regarded by C. S. peirce as "one of the best logicians who ever lived," he undertook the considerable task of broadening and generalizing Aristotle's syllogistics. In particular, he held that the theory of the syllogism is only a special case of a more general theory of relations; this conception was later to be developed by Peirce in algebraic form similar to that used by G. Boole in the logic of classes, and was finally systematized by E. schrÖder. De Morgan's name is attached to two laws earlier known to william of ockham (Summa totius logicae 2.32), but which De Morgan rediscovered: ENKpqANpNq and ENApqKNpNq. Another notable achievement of De Morgan is his introduction of the theory of probability into logic, in connection with the study of modalities.
Bibliography: Works. Formal Logic (London 1847); Essays on the Life and Works of Newton, ed. p. e. b. jourdain (Chicago 1914); A Budget of Paradoxes (2d ed. Chicago 1915). Literature. s. e. de morgan, Memoir of Augustus De Morgan (London 1882). i. m. bocheŃski, A History of Formal Logic, ed. and tr. i. thomas (Notre Dame, Ind. 1961). a. n. prior, Formal Logic (2d ed. Oxford 1962).
[g. l. farre]
de Morgans laws
The pair is self-dual. The term de Morgan's laws is often used to describe instances of these laws as they apply in particular cases, e.g. to sets or to logical expressions. The laws are named for Augustus de Morgan.