Page:Chance, love, and logic - philosophical essays (IA chancelovelogicp00peir 0).pdf/251

 showed that finite collections are distinguished from infinite ones only by one circumstance and its consequences, namely, that to them is applicable a peculiar and unusual mode of reasoning called by its discoverer, De Morgan, the "syllogism of transposed quantity."

Balzac, in the introduction of his Physiologie du mariage, remarks that every young Frenchman boasts of having seduced some Frenchwoman. Now, as a woman can only be seduced once, and there are no more Frenchwomen than Frenchmen, it follows, if these boasts are true, that no French women escape seduction. If their number be finite, the reasoning holds. But since the population is continually increasing, and the seduced are on the average younger than the seducers, the conclusion need not be true. In like manner, De Morgan, as an actuary, might have argued that if an insurance company pays to its insured on an average more than they have ever paid it, including interest, it must lose money. But every modern actuary would see a fallacy in that, since the business is continually on the increase. But should war, or other cataclysm, cause the class of insured to be a finite one, the conclusion would turn out painfully correct, after all. The above two reasonings are examples of the syllogism of transposed quantity.

The proposition that finite and infinite collections are distinguished by the applicability to the former of the syllogism of transposed quantity ought to be regarded as the basal one of scientific arithmetic.

If a person does not know how to reason logically, and I must say that a great many fairly good mathematicians,—yea, distinguished ones,—fall under this category, but