nLab Augustus De Morgan

Augustus De Morgan is a 19th-century mathematician and logician most famous for the De Morgan laws, even though he did not formulate them. He did, however, contribute (along with George Boole, Charles Peirce, etc) to the work of making logic into a mathematical discipline.


‘Imagine a person with a gift of ridicule. [He might say] First that a negative quantity has no logarithm; secondly that a negative quantity has no square root; thirdly that the first non-existent is to the second as the circumference of a circle is to the diameter.’ (That is, ln(1)\ln(-1) and 1\sqrt{-1} are both imaginary, but their quotient is π\pi.)

‘I end with a word on the new symbols which I have employed. Most writers on logic strongly object to all symbols. […] I should advise the reader not to make up his mind on this point until he has well weighed two facts which nobody disputes, both separately and in connexion. First, logic is the only science which has made no progress since the revival of letters; secondly, logic is the only science which has produced no growth of symbols.’

category: people

Last revised on August 8, 2023 at 19:26:08. See the history of this page for a list of all contributions to it.