Logic

Does an universal affirmative (A) premise entail a particular affirmative (I) one? I mean "All men are mortal" entails "Some men are mortal" or not? This is somehow confusing. Since, if you think that in a relation with set theory, it is impossible for (I) not to be entailed by (A). (A) intuitively entails (I). However, when looking at the opposition of square and applying, for example, tree method to prove the entailment, it results that (A) does not entail (I).

Comments

In Aristotle's syllogistic

In Aristotle's syllogistic logic (including in his square of opposition), "All men are mortal" implies "Some men are mortal." But in the standard logic of the past 100 or so years, that implication doesn't hold.

This failure of implication arises because modern standard logic construes "All men are mortal" as a universal quantification over a conditional statement: "For anything at all, if it's a man then it's mortal." Intuitively, I think we can see why the universally quantified statement can be true even if no men exist. Compare "For anything at all, if it's a unicorn then it's a unicorn," which seems clearly true despite the fact that (let's assume) no unicorns exist.

In modern standard logic, then, "All men are mortal," "No men are mortal, " and "All men are immortal" come out true if in fact no men exist. Importantly, "Some men are immortal" does not come out true in those circumstances. A similar lesson applies in set theory, in which "All of the members of the empty set are even" and "All of the members of the empty set are odd" both come out true, whereas "Some of the members of the empty set are even" and "Some of the members of the empty set are odd" both come out false.

Read another response by Stephen Maitzen

Read another response about Logic