12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Thursday November 28, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives (view source)
Revision as of 19:17, 17 April 2009
, 19:17, 17 April 2009→Commentary Note 11.19
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.
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'''
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
The sign <math>^{\backprime\backprime} + ^{\prime\prime}</math> denotes what Peirce calls "the invertible addition", corresponding to the exclusive disjunction of logical terms or the symmetric difference of their extensions as sets.
The sign <math>^{\backprime\backprime} + ^{\prime\prime}</math> 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'''
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
This is why Peirce trims his discussion of this point with the following hedge:
This is why Peirce trims his discussion of this point with the following hedge:
'''NOF 3.3'''
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
Finally, a morphism with respect to addition, even a contingently qualified one, must do the right stuff on behalf of the additive identity:
Finally, a morphism with respect to addition, even a contingently qualified one, must do the right stuff on behalf of the additive identity:
'''NOF 3.4'''
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
