[CG] Re: Peirce's 1885 “Algebra of Logic”

Peirce's 1885 “Algebra of Logic” • Selection 3 • https://inquiryintoinquiry.com/2024/03/30/peirces-1885-algebra-of-logic-sel… ❝On the Algebra of Logic❞ ❝A Contribution to the Philosophy of Notation❞ ❝§1. Three Kinds Of Signs❞ (cont.) ❝For instance, take the syllogistic formula, • All M is P S is M ∴ S is P. ❝This is really a diagram of the relations of S, M, and P. The fact that the middle term occurs in the two premisses is actually exhibited, and this must be done or the notation will be of no value. ❝As for algebra, the very idea of the art is that it presents formulæ which can be manipulated, and that by observing the effects of such manipulation we find properties not to be otherwise discerned. In such manipulation, we are guided by previous discoveries which are embodied in general formulæ. These are patterns which we have the right to imitate in our procedure, and are the icons par excellence of algebra. The letters of applied algebra are usually tokens, but the x, y, z, etc. of a general formula, such as • (x + y)z = xz + yz, ❝are blanks to be filled up with tokens, they are indices of tokens. Such a formula might, it is true, be replaced by an abstractly stated rule (say that multiplication is distributive); but no application could be made of such an abstract statement without translating it into a sensible image.❞ (3.363). Regards. Jon cc: https://www.academia.edu/community/VoWQ1j cc: https://mathstodon.xyz/@Inquiry/112156450035935700