Symbolic Logic
                                            
                            By Lewis Carroll
                            
                                12 Jun, 2019                            
                            
                         
                                        
                                                                        FROM THE PREFACE......In the Chapter on ‘Propositions of Relation’ I have inserted a new Section, containing the proof that a Proposition, beginning with “All,” is a Double Proposition (a fact that is quite independent of the arbitrary rule, 
                                ... Read more
                                                FROM THE PREFACE......In the Chapter on ‘Propositions of Relation’ I have inserted a new Section, containing the proof that a Proposition, beginning with “All,” is a Double Proposition (a fact that is quite independent of the arbitrary rule, laid down in the next Section, that such a Proposition is to be understood as implying the actual existence of its Subject). This proof was given, in the earlier editions, incidentally, in the course of the discussion of the Biliteral Diagram: but its proper place, in this treatise, is where I have now introduced it.
In the Sorites-Examples, I have made a good many verbal alterations, in order to evade a difficulty, which I fear will have perplexed some of the Readers of the first three Editions. Some of the Premisses were so worded that their Terms were not Specieses of the Univ. named in the Dictionary, but of a larger Class, of which the Univ. was only a portion. In all such cases, it was intended that the Reader should perceive that what was asserted of the larger Class was thereby asserted of the Univ., and should ignore, as superfluous, all that it asserted of its other portion. Thus, in Ex. 15, the Univ. was stated to be “ducks in this village,” and the third Premiss was “Mrs. Bond has no gray ducks,” i.e. “No gray ducks are ducks belonging to Mrs. Bond.” Here the Terms are not Specieses of the Univ., but of the larger Class “ducks,” of which the Univ. is only a portion: and it was intended that the Reader should perceive that what is here asserted of “ ducks” is thereby asserted of “ ducks in this village.” and should treat this Premiss as if it were “Mrs. Bond has no gray ducks in this village,” and should ignore, as superfluous, what it asserts as to the other portion of the Class “ducks,” viz. “ Mrs. Bond has no gray ducks out of this village” Less