Note 89 — Chapter II
Reading edition
It will be observed that in this scheme (leaving on one side the question of existential import) the categorical proposition All S is P is inferable from the conditional If anything is S it is P, but not vice versâ.