De Morgan, Augustus - Formal Logic – Necessary reasoning
Type of Spiritual Experience
A description of the experience
Lectures on TEN BRITISH MATHEMATICIANS of the Nineteenth Century BY ALEXANDER MACFARLANE Chapter 2 AUGUSTUS DE MORGAN
When the study of mathematics revived at the University of Cambridge, so also did the study of logic. The moving spirit was Whewell, the Master of Trinity College, whose principal writings were a History of the Inductive Sciences, and Philosophy of the Inductive Sciences. Doubtless De Morgan was influenced in his logical investigations by Whewell; but other contemporaries of influence were Sir W. Hamilton of Edinburgh, and Professor Boole of Cork.
De Morgan's work on Formal Logic, published in 1847, is principally remarkable for his development of the numerically definite syllogism. The followers of Aristotle say and say truly that from two particular propositions such as Some M's are A's, and Some M's are B's nothing follows of necessity about the relation of the A's and B's. But they go further and say in order that any relation about the A's and B's may follow of necessity, the middle term must be taken universally in one of the premises. De Morgan pointed out that from Most M's are A's and Most M's are B's it follows of necessity that some A's are B's and he formulated the numerically definite syllogism which puts this principle in exact quantitative form. Suppose that the number of the M's is m, of the M's that are A's is a, and of the M's that are B's is b; then there are at least (a + b - m) A's that are B's. Suppose that the number of souls on board a steamer was 1000, that 500 were in the saloon, and 700 were lost; it follows of necessity, that at least 700+500 -1000, that is, 200, saloon passengers were lost. This single principle suffices to prove the validity of all the Aristotelian moods; it is therefore a fundamental principle in necessary reasoning.
Here then De Morgan had made a great advance by introducing quantification of the terms. At that time Sir W. Hamilton was teaching at Edinburgh a doctrine of the quantification of the predicate, and a correspondence sprang up. However, De Morgan soon perceived that Hamilton's quantification was of a different character; that it meant for example, substituting the two forms The whole of A is the whole of B, and The whole of A is a part of B for the Aristotelian form All A's are B's. Philosophers generally have a large share of intolerance; they are too apt to think that they have got hold of the whole truth, and that everything outside of their system is error. Hamilton thought that he had placed the keystone in the Aristotelian arch, as he phrased it; although it must have been a curious arch which could stand 2000 years without a keystone. As a consequence he had no room for De Morgan's innovations. He accused De Morgan of plagiarism, and the controversy raged for years in the columns of the Athenaeum, and in the publications of the two writers.
The memoirs on logic which De Morgan contributed to the Transactions of the Cambridge Philosophical Society subsequent to the publication of his book on Formal Logic are by far the most important contributions which he made to the science, especially his fourth memoir, in which he begins work in the broad field of the logic of relatives. This is the true field for the logician of the twentieth century, in which work of the greatest importance is to be done towards improving language and facilitating thinking processes which occur all the time in practical life. Identity and difference are the two relations which have been considered by the logician; but there are many others equally deserving of study, such as equality, equivalence, consanguinity, affinity, etc.