|n.||1.||(Logic) An abridged form of stating of syllogisms in a series of propositions so arranged that the predicate of each one that precedes forms the subject of each one that follows, and the conclusion unites the subject of the first proposition with the predicate of the last proposition|
The soul is a thinking agent;
A thinking agent can not be severed into parts;
That which can not be severed can not be destroyed;
Therefore the soul can not be destroyed.