Undistributed Middle


The middle term in the premises of a standard form categorical syllogism never refers to all of the members of the category it describes:


A standard categorical syllogism is made of three propositions (two premises and a conclusion) and uses three terms (minor, major and middle). For example:

The middle term is found in the predicate of the first premise and in the subject of the second one. Changing this order destroys the logical construct of the syllogism.


All Russians were revolutionists, and all anarchists were revolutionist, therefore, all anarchists were Russians.
The middle term is 'revolutionist'. While both Russians and anarchists share the common property of being revolutionist, they may be separate groups of revolutionists, and so we cannot conclude that anarchists are otherwise the same as Russians in any way.

All trespassers are shot, and someone was shot, therefore, someone was a trespasser.
The middle term is 'shot'. While 'someone' and 'trespassers' may share the property of being shot, it doesn't follow that the someone in question was a trespasser; he may have been the victim of a mugging.




Show how each of the two categories identified in the conclusion could be separate groups even though they share a common property.