Logical Graphs, Truth Tables, Venn Diagrams • 6

Re: Laws of FormJohn MingersLyle Anderson

Dear John, Lyle,

See:  Ampheck

Peirce discovered this about 1880 but did not publish it, leaving it to be named after Sheffer at a much later date.  In one discussion Peirce used simple concatenation for the abstract operation which can be interpreted in two ways:  “Both Not” (joint denial, Nnor) or “Not Both” (alternate denial, Nand).  In the passage linked above Peirce used a symbol for Nnor whose nearest facsimiles in HTML are ``\curlywedge" (⋏) and “⥿” (⥿), adding an overbar for Nand.  Peirce used 2 × 2 matrices to represent the truth tables of all 16 boolean operators then converted the matrices into cursive symbols for the operators.  Warren S. McCulloch mentioned Peirce’s discovery and his matrices, referring to Nand and Nnor collectively as “amphecks” on account of their abstract duality.



cc: CyberneticsOntolog • Peirce List (1) (2) (3)Structural ModelingSystems Science
cc: FB | Logical GraphsLaws of Form

This entry was posted in Amphecks, Boolean Algebra, Boolean Functions, C.S. Peirce, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Spencer Brown, Truth Tables, Venn Diagrams, Visualization and tagged , , , , , , , , , , , , , , . Bookmark the permalink.

2 Responses to Logical Graphs, Truth Tables, Venn Diagrams • 6

  1. Pingback: Logical Graphs, Truth Tables, Venn Diagrams • 7 | Inquiry Into Inquiry

  2. Pingback: Survey of Animated Logical Graphs • 4 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.