Consider the following arguments. A. No athletes are vegetarians. B. All…

Concept

A categorical syllogism treats each named group as a set. A universal affirmative statement places one set inside another, while a universal negative statement says that two sets have no common member.

If one set is contained in a second set and the second set is disjoint from a third, then the first set is also disjoint from the third. This is a necessary implication, not a probabilistic estimate.

Application

1. Let F be the set of football players, A the set of athletes, and V the set of vegetarians.

2. Statement B gives F ⊆ A: every football player belongs to the set of athletes.

3. Statement A gives A ∩ V = ∅: no athlete belongs to the set of vegetarians.

4. Because F ⊆ A, any member of F would also be in A. Since A has no member in V, F ∩ V must also be empty.

5. Therefore statement C follows necessarily: no football player is a vegetarian.

Contrast

• “Probably true” describes a conclusion supported by likelihood but not forced by the premises.

• “True” describes a conclusion that holds in every interpretation in which the premises hold.

• “Uncertain” describes a conclusion for which the premises permit both a confirming model and a countermodel.

• “Probably false” describes a conclusion disfavoured by evidence but not logically contradicted by the premises.

Cross-check

In a Venn diagram, the football-player circle lies entirely inside the athlete circle, and the vegetarian circle cannot overlap the athlete circle. It therefore cannot overlap the football-player circle either.

Result

Statement C is true because it is logically entailed by statements A and B.