Fallacy of Generalisation
Jump to navigation
Jump to search
Fallacy
Consider the argument:
\(\ds \text {All } \ \ \) | \(\ds a\) | \(\text {are}\) | \(\ds b.\) | |||||||||||
\(\ds \text {All } \ \ \) | \(\ds b\) | \(\text {are}\) | \(\ds c.\) | |||||||||||
\(\ds \text {All } \ \ \) | \(\ds c\) | \(\text {are}\) | \(\ds d.\) | |||||||||||
\(\ds \text {Therefore, all } \ \ \) | \(\ds a\) | \(\text {are}\) | \(\ds d.\) |
... which can be epitomised by:
\(\ds \text {All } \ \ \) | \(\ds \text {cats}\) | \(\text {are}\) | \(\ds \text {mammals.}\) | |||||||||||
\(\ds \text {All } \ \ \) | \(\ds \text {mammals}\) | \(\text {are}\) | \(\ds \text {animals.}\) | |||||||||||
\(\ds \text {All } \ \ \) | \(\ds \text {animals}\) | \(\text {are}\) | \(\ds \text {organisms.}\) | |||||||||||
\(\ds \text {Therefore, all } \ \ \) | \(\ds \text {cats}\) | \(\text {are}\) | \(\ds \text {organisms.}\) |
... which one has to admit seems plausible.
On the other hand, consider the argument:
\(\ds \text {Most } \ \ \) | \(\ds a\) | \(\text {are}\) | \(\ds b.\) | |||||||||||
\(\ds \text {All } \ \ \) | \(\ds b\) | \(\text {are}\) | \(\ds c.\) | |||||||||||
\(\ds \text {Most } \ \ \) | \(\ds c\) | \(\text {are}\) | \(\ds d.\) | |||||||||||
\(\ds \text {Therefore, most } \ \ \) | \(\ds a\) | \(\text {are}\) | \(\ds d.\) |
... an example of which reasoning may be:
\(\ds \text {Most } \ \ \) | \(\ds \text {champion chess players}\) | \(\text {are}\) | \(\ds \text {human.}\) | (There are some which are computers, of course.) | ||||||||||
\(\ds \text {All } \ \ \) | \(\ds \text {humans}\) | \(\text {are}\) | \(\ds \text {organisms.}\) | |||||||||||
\(\ds \text {Most } \ \ \) | \(\ds \text {organisms}\) | \(\text {are}\) | \(\ds \text {monocellular.}\) | |||||||||||
\(\ds \text {Therefore, most } \ \ \) | \(\ds \text {champion chess players}\) | \(\text {are}\) | \(\ds \text {monocellular.}\) |
Well I don't know about you, but I've never been beaten at chess by an amoeba.
Such reasoning is referred to as a fallacy of generalisation.
Resolution
When processing statements in natural language into predicate logic such as the above, the word most must be interpreted in the same way as some.