← Table of contents
Studies and Exercises in Formal Logic

Note 239 — Chapter VIII

Reading edition

It would be quite a different problem if we were to assume the existence of S and P independently of the affirmation of the given proposition. A failure to distinguish between these problems is probably responsible for a good deal of the confusion and misunderstanding that has arisen in connexion with the present discussion. But it is clearly one thing to say (a) “All S is P and S is assumed to exist,” and another to say (b) “all S is P,” meaning thereby “S exists and is always P.” In case (a) it is futile to go on to make the supposition that S is non-existent; in case (b), on the other hand, there is nothing to prevent our making the supposition, and we find that, if it holds good, the given proposition is false.

Explore with AITake your curiosity a little further.

Reading settings