Writings of Charles S. Peirce: A Chronological Edition, Volume 2 - Charles S. Peirce

Скачать книгу

nothing; Am, An, Bm, Bn, any members of the two series of terms, and ΣA, ΣB, Σ(A,B) logical sums of some of the An’s, the Bn’s, and the (An,Bn)’s respectively.)

Image

      From these definitions a series of theorems follow syllogistically, the proofs of most of which are omitted on account of their ease and want of interest.

       Theorems

      I

      If Image, then Image.

      II

      If Image, and Image then Image.

      III

      If Image then Image

      IV

      If Image and Image and Image, then Image.

      Corollary.—These last two theorems hold good also for arithmetical addition.

      V

      If Image and Image, then Image, or else there is nothing not b.

      This theorem does not hold with logical addition. But from definition 6 it follows that

      No a is b (supposing there is any a)

      No a’ is b (supposing there is any a’)

      neither of which propositions would be implied in the corresponding formulæ of logical addition. Now from definitions 2 and 6,

      Any a is c

      ∴ Any a is c not b

      But again from definitions 2 and 6 we have

      Any c not b is a′ (if there is any not b)

      ∴ Any a is a′ (if there is any not b)

      And in a similar way it could be shown that any a’ is a (under the same supposition). Hence by definition 1,

Image

      Scholium.—In arithmetic this proposition is limited by the supposition that b is finite. The supposition here though similar to that is not quite the same.

      VI

      If Image, then Image.

      VII

      If Image and Image and Image, then Image.

      VIII

      If Image and Image and Image and Image, then Image.

      IX

      If Image and Image and Image, and Image, then Image.

      The proof of this theorem may be given as an example of the proofs of the rest.

      It is required then (by definition 3) to prove three propositions, viz.

      1st. That any u is x.

      2d. That any v is x.

      3d. That any x not u is v.

       First Proposition

      Since Image by definition 3

      Any u is m,

      and since Image by definition 2

      Any m is b,

      whence Any u is b,

      But since Image by definition 3

      Any u is a,

      whence Any u is both a and b,

      But since Image by definition 3

      Whatever is both a and b is x

      whence Any u is x.

       Second Proposition

      This is proved like the first.

       Third Proposition

      Since Image by definition 3,

      Whatever is both a and m is u.

      or Whatever is not u is not both a and m.

      or Whatever is not u is either not a or not m.

      or Whatever is not u and is a is not m.

      But since Image by definition 3

      Any x is a,

      whence Any x not u is not u and is a,

      whence Any x not u is not m.

Скачать книгу