On June 27, 1806, British mathematician and logician Augustus De Morgan was born. He formulated De Morgan‘s laws and introduced the term mathematical induction, a method of mathematical proof typically used to establish a given statement for all natural numbers. As a computer scientist, I am of course familiar with De Morgan‘s laws, which are fundamental for Boolean logic. De Morgan‘s laws are merely transformation rules for two of the basic operators of logic: conjunction and disjunction. The trick, how De Morgan succeeds to transform a conjunction into a disjunction is by applying negations. But, don’t worry. We won’t go deeper into that. If you are further interested in the subject, simply refer to the wikipedia article of De Morgan‘s Laws. Instead, let’s take a look at the man Augustus De Morgan.
“All existing things upon this earth, which have knowledge of their own existence, possess, some in one degree and some in another, the power of thought, accompanied by perception, which is the awakening of thought by the effects of external objects upon the senses.”
– Augustus de Morgan, Formal Logic (1847)
Born in India
Augustus De Morgan was born in Madurai, India as son of Colonel Augustus De Morgan of the East India Company. Augustus De Morgan became blind in one eye a month or two after he was born and the family moved to England when Augustus was seven months old. At age ten, Augustus‘ father died and his mathematical talents went unnoticed until he was fourteen, when a family-friend discovered him making an elaborate drawing of a figure in Euclid with ruler and compasses. His mother being an active and ardent member of the Church of England desired that her son should become a clergyman. In 1823,De Morgan entered Trinity College, Cambridge, where he came under the influence of George Peacock, from whom he derived an interest in the renovation of algebra, and William Whewell, who raised his interest in the renovation of logic. He received his Bachelor degree but, because a theological test was required for the Master, something to which De Morgan strongly objected despite being a member of the Church of England, he could go no further at Cambridge being not eligible for a Fellowship without his Master.
The Chair of Mathematics at the University of London
The two ancient universities of Oxford and Cambridge were so guarded by theological tests that no Jew or Dissenter outside the Church of England could ever be appointed to any position. Thus, De Morgan had to change plans and traveled to London to enter Lincoln’s Inn to study for the Bar, but found law unpalatable. At the age of 21, despite having no mathematical publications, on the strength of the strong recommendations of Peacock and Whewell he was unanimously elected to the chair of mathematics at the newly founded University of London. As being a new institution, the relations of the Council of management, the Senate of professors and the body of students were not well defined at the University of London. A dispute arose between the professor of anatomy and his students, and in consequence of the action taken by the Council, several professors resigned, headed by De Morgan. De Morgan regained his position five years later when his replacement accidentally drowned, and held it for thirty years until 1866.
Mathematical Induction and De Morgan’s Law
In 1837 De Morgan married Sophia Elizabeth Frend, with whom he would have seven children. In 1838 he was the first to use the term “mathematical induction” in his publication Induction (Mathematics) in Penny Cyclopedia, for which he wrote a total of 712 articles. It also printed his famous work The Differential and Integral Calculus. He was best known for two rules named after him, De Morgan’s laws. These say that any conjunction can be expressed by a disjunction and vice versa. Since then, they have often been used in mathematical proofs and also in programming. De Morgan, together with George Boole, is now regarded as the founder of formal logic. George Boole published in 1847 a small volume called Mathematical Analysis of Logic. The occasion to elaborate and publish it was the fierce priority dispute between William Rowan Hamilton and de Morgan on the quantification of predicates. In 1854, Boole’s second major work on algebra, Laws of Thought, was published. De Morgan commented:
“That the symbolic processes of algebra, originally invented for the purpose of numerical calculations, should be capable of expressing every act of thought and providing grammar and dictionary of an all-encompassing system of logic, nobody would have believed this before it was proved in Laws of Thought”.
De Morgan was a rather prolific writer. Were the writings of De Morgan published in the form of collected works, they would form a small library. Besides his general mathematical writings he wrote biographies of Newton and Halley and published Arithmetical Books, in which he described the work of more than 1,500 mathematicians and discussed the history of various mathematical ideas. De Morgan also plays a role in Quantitative Linguistics and Quantitative Stylistics in that he developed the idea that the problem of identifying anonymous authors could be solved by statistical means. He suggested, for example, that the problem of authorship in Paul’s letters should be tackled with the help of word length analyses, and suggested that the average word length could be revealing.
De Morgan never sought to become a Fellow of the Royal Society, and he never attended a meeting of the Society, holding the opinion that it was too much affected by social influences to be an effective scientific institution. His son George, who was a very able and promising mathematician, conceived the idea of founding a Mathematical Society in London. In difference to the Royal Society, the Mathematical Society should not only receive mathematics papers, but actually read and discuss. Founded in 1866 at University College, Augustus De Morgan became its first president. A few years later after the tragic loss of his son and his daughter, De Morgan’s health rapidly declined and he died of nervous exhaustion at his home on March 18, 1871.
By the way, one of Augustus De Morgan‘s most famous students was Ada Augusta King, Countess of Lovelace, the daughter of Lord Byron, who should become the assistant of mathematician and computer pioneer Charles Babbage, inventor of the first mechanical general purpose computer…but this is already another story.
At yovisto academic video search, you can learn more about formal logics and esp. also about De Morgan’s laws in my lecture ‘Canonical Forms‘ from the Spring 2013 OpenHPI course ‘Semantic Web Technologies’.
References and Further Reading:
-  Augustus De Morgan in Robert A Nowlan: A Chronical of Mathematical People
- O’Connor, John J.; Robertson, Edmund F., “Augustus De Morgan”, MacTutor History of Mathematics archive, University of St Andrews.
-  Scott H. Brown: The Life and Work of Augustus De Morgan
-  Ada Lovelace – The World’s First Programmer, SciHi Blog
-  Charles Babbage – The Father of the Computer who hated Street Music, SciHi Blog
-  George Boole – The Founder of Modern Logics, SciHi Blog
-  Augustus de Morgan at Wikidata
-  Timeline of English Logicians, via DBpedia and Wikidata