Читать книгу Selected Mathematical Works: Symbolic Logic + The Game of Logic + Feeding the Mind: by Charles Lutwidge Dodgson, alias Lewis Carroll - Lewis Carroll - Страница 33

Note that the rules, here laid down, are arbitrary, and only apply to Part I of my “Symbolic Logic.”

A Proposition of Relation, beginning with “Some”, is henceforward to be understood as asserting that there are some existing Things, which, being Members of the Subject, are also Members of the Predicate; i.e. that some existing Things are Members of both Terms at once. Hence it is to be understood as implying that each Term, taken by itself, is Real.

[Thus, the Proposition “Some rich men are invalids” is to be understood as asserting that some existing Things are “rich invalids”. Hence it implies that each of the two Classes, “rich men” and “invalids”, taken by itself, is Real.]

A Proposition of Relation, beginning with “No”, is henceforward to be understood as asserting that there are no existing Things which, being Members of the Subject, are also Members of the Predicate; i.e. that no existing Things are Members of both Terms at once. But this implies nothing as to the Reality of either Term taken by itself.

[Thus, the Proposition “No mermaids are milliners” is to be understood as asserting that no existing Things are “mermaid-milliners”. But this implies nothing as to the Reality, or the Unreality, of either of the two Classes, “mermaids” and “milliners”, taken by itself. In this case as it happens, the Subject is Imaginary, and the Predicate Real.]

A Proposition of Relation, beginning with “All”, contains (see § 3) a similar Proposition beginning with “Some”. Hence it is to be understood as implying that each Term, taken by itself, is Real.

[Thus, the Proposition “All hyænas are savage animals” contains the Proposition “Some hyænas are savage animals”. Hence it implies that each of the two Classes, “hyænas” and “savage animals”, taken by itself, is Real.]