Peirce’s 1870 “Logic of Relatives” • Sets as Sums
Peirce’s way of representing sets as logical sums may seem arcane, but it’s quite often used in mathematics and remains the tool of choice in many branches of algebra, combinatorics, computing, and statistics to this day.
Peirce applied this genre of representation to logic in fairly novel ways and the degree to which he elaborated its use in the logic of relative terms is certainly original with him, but this particular device, going under the handle of generating functions, goes way back, well before anyone thought of sticking a flag in set theory as a separate territory or of trying to fence off our native possessions of classes and collections with explicit decrees of axioms. And back in the days when a computer was simply a person who computed, well before the advent of electronic computers we take for granted today, mathematicians commonly used generating functions as a rough and ready sort of addressable memory to organize, store, and keep track of their accounts on a wide variety of formal objects.
Let’s look at a few simple examples of generating functions, much as I encountered them during my own first adventures in the Realm of Combinatorics.
Suppose we are given a set of three elements, say, and we are asked to find all the ways of choosing a subset from this collection.
We can represent the problem setup as the problem of computing the following product:
The factor represents the option we have, in choosing a subset of to exclude the element (signified by the ), or else to include it (signified by the ), proceeding in a similar fashion with the other elements in their turn.
Probably on account of all those years I flippered away playing the oldtime pinball machines, I tend to imagine a product like that being displayed in a vertical array:
I picture that as a playboard with six bumpers, the ball chuting down the board in such a way as to strike exactly one of the two bumpers on each of the three levels.
So a trajectory of the ball where it hits the bumper on the 1st level, hits the bumper on the 2nd level, hits the bumper on the 3rd level, and then exits the board, represents a single term in the desired product and corresponds to the subset
Multiplying out the product one obtains the sum:
This informs us that the subsets of choice are:
And so they are.
cc: Cybernetics • Ontolog Forum • Structural Modeling • Systems Science
cc: FB | Peirce Matters • Laws of Form • Peirce List (1) (2) (3) (4) (5) (6) (7)
Pingback: Survey of Relation Theory • 3 | Inquiry Into Inquiry
Pingback: Peirce’s 1870 “Logic Of Relatives” • Overview | Inquiry Into Inquiry
Pingback: Peirce’s 1870 “Logic Of Relatives” • Comment 1 | Inquiry Into Inquiry
Pingback: Survey of Relation Theory • 4 | Inquiry Into Inquiry
Pingback: Survey of Relation Theory • 5 | Inquiry Into Inquiry
Pingback: Survey of Relation Theory • 6 | Inquiry Into Inquiry