In the notes, the classes of bodies are first specified; then each class is assigned occupying space (taḥayyuz).
Premise 1: Every body belongs to one of the three classes.
Premise 2: Every member of each class occupies space.
Conclusion: Every body occupies space.
The conclusion follows within the argument only because the division is taken as exhaustive and the predicate is established for all its classes. If even one relevant class is unaccounted for, the proof is incomplete.
Opening interactive controls...
Induction: Complete and Incomplete Enumeration, Certainty and Probability
In the notes, the classes of bodies are first specified; then each class is assigned occupying space (taḥayyuz).
Premise 1: Every body belongs to one of the three classes.
Premise 2: Every member of each class occupies space.
Conclusion: Every body occupies space.
The conclusion follows within the argument only because the division is taken as exhaustive and the predicate is established for all its classes. If even one relevant class is unaccounted for, the proof is incomplete.