Note 192 — Chapter VII

Using some in the sense here indicated, the interpretation of the proposition Some S is some P is not altogether free from ambiguity. The interpretation I am adopting is to regard it as equivalent to the two following propositions with unquantified predicates, namely, Some but not all S is P and Some but not all P is S. It then necessarily implies the Hamiltonian propositions Some S is not any P and No S is some P.