Post : Peirce's 1870 “Logic Of Relatives” • Comment 11.19
http://inquiryintoinquiry.com/2014/05/29/peirces-1870-logic-of-relatives-%e2%80%a2-comment-11-19/
Posted : May 29, 2014 at 5:00 pm
Author : Jon Awbrey
Peircers,
Up to this point in the 1870 Logic of Relatives, Peirce has introduced
the “number of” function on logical terms and discussed the extent to
which its use as a measure, v : S → R such that v : s ↦ [s], satisfies
the relevant measure-theoretic principles, for starters, these two:
1. The “number of” map exhibits a certain type of ''uniformity property'',
whereby the value of the measure on a uniformly qualified population
is in fact actualized by each member of the population.
2. The “number of” map satisfies an ''order morphism principle'', whereby
the illative partial ordering of logical terms is reflected to a degree
by the arithmetical linear ordering of their measures.
Peirce next takes up the action of the “number of” map on the two types of,
loosely speaking, additive operations that we normally consider in logic.
NOF 3.1
=======
“It is plain that both the regular non-invertible addition and the
invertible addition satisfy the absolute conditions.” (CP 3.67)
The sign “+,” denotes what Peirce calls “the regular non-invertible addition”,
corresponding to the inclusive disjunction of logical terms or the union of
their extensions as sets.
The sign “+” denotes what Peirce calls “the invertible addition”,
corresponding to the exclusive disjunction of logical terms or
the symmetric difference of their extensions as sets.
NOF 3.2
=======
“But the notation has other recommendations. The conception
of ''taking together'' involved in these processes is strongly
analogous to that of summation, the sum of 2 and 5, for example,
being the number of a collection which consists of a collection
of two and a collection of five.” (CP 3.67)
A full interpretation of this remark will require us to pick up the precise technical sense in which
Peirce is using the word collection, and that will take us back to his logical reconstruction of
certain aspects of number theory, all of which I am putting off to another time, but it is still
possible to get a rough sense of what he's saying relative to the present frame of discussion.
The “number of” map v : S → R evidently induces some sort of morphism with respect to logical sums.
If this were straightforwardly true, we could write:
• ? v(x +, y) = v(x) + v(y) ?
Equivalently:
• ? [x +, y] = [x] + [y] ?
Of course, things are not quite that simple when it comes to inclusive disjunctions and
set-theoretic unions, so it is usual to introduce the concept of a sub-additive measure to describe
the principle that does hold here, namely, the following:
• v(x +, y) ≤ v(x) + v(y)
Equivalently:
• [x +, y] ≤ [x] + [y]
This is why Peirce trims his discussion of this point with the following hedge:
NOF 3.3
=======
“Any logical equation or inequality in which no operation but addition is involved may be converted
into a numerical equation or inequality by substituting the numbers of the several terms for the
terms themselves — provided all the terms summed are mutually exclusive.” (CP 3.67)
Finally, a morphism with respect to addition, even a contingently qualified one, must do the right
thing on behalf of the additive identity element:
NOF 3.4
=======
<quote>
Addition being taken in this sense, nothing is to be denoted by zero, for then
• x +, 0 = x
whatever is denoted by x; and this is the definition of zero.
This interpretation is given by Boole, and is very neat, on
account of the resemblance between the ordinary conception
of zero and that of nothing, and because we shall thus have
[0] = 0.
</quote>(Peirce, CP 3.67)
With respect to the nullity 0 in S and the number 0 in R, we have:
• v(0) = [0] = 0.
In sum, therefore, it can be said:
''It also serves that only preserves a due respect for the function of a vacuum
in nature.''
Regards,
Jon
--
academia: http://independent.academia.edu/JonAwbrey
my word press blog: http://inquiryintoinquiry.com/
inquiry list: http://stderr.org/pipermail/inquiry/
isw: http://intersci.ss.uci.edu/wiki/index.php/JLA
oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey
facebook page: https://www.facebook.com/JonnyCache
-----------------------------
PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L
to this message. PEIRCE-L posts should go to [email protected] . To
UNSUBSCRIBE, send a message not to PEIRCE-L but to [email protected] with the
line "UNSubscribe PEIRCE-L" in the BODY of the message. More at
http://www.cspeirce.com/peirce-l/peirce-l.htm .
