Free Republic
Browse · Search
News/Activism
Topics · Post Article

To: Billthedrill

Note that Principia Mathematica used both "and" and "not" as a complete system. Somehow, Russell and Whitehead missed out on using the Sheffer stroke ("nand") or "nor." Either of these would be more minimal than PM's usage but equally difficult to read. More modern logic books use at least: and, or, not, implies, equivalent, and some add nand and nor.


49 posted on 02/21/2005 10:35:01 PM PST by Doctor Stochastic (Vegetabilisch = chaotisch is der Charakter der Modernen. - Friedrich Schlegel)
[ Post Reply | Private Reply | To 19 | View Replies ]


To: Doctor Stochastic
Note that Principia Mathematica used both "and" and "not" as a complete system. Somehow, Russell and Whitehead missed out on using the Sheffer stroke ("nand") or "nor." Either of these would be more minimal than PM's usage but equally difficult to read. More modern logic books use at least: and, or, not, implies, equivalent, and some add nand and nor.'

Sheffer published his article in 1913, after the first (and, as it turned out, only) three volumes of Principia Mathematica had been published. Somewhere in a box lies my copy of Principia Mathematica to *56, so I can't verify the accuracy of the following statement, but I think it's correct:

This insight [i.e., that propositional logic can be derived using the Sheffer stroke as the sole primitive operation] is discussed in the Introduction to the Second Edition, on pp. xiii to xvi.

BTW, thanks, too, for your post #48.

50 posted on 02/22/2005 3:56:16 PM PST by snarks_when_bored
[ Post Reply | Private Reply | To 49 | View Replies ]

Free Republic
Browse · Search
News/Activism
Topics · Post Article


FreeRepublic, LLC, PO BOX 9771, FRESNO, CA 93794
FreeRepublic.com is powered by software copyright 2000-2008 John Robinson