Ampheck
(logic, wiki, imported, Jon Awbrey)



Ampheck, from Greek αμφήκης double-edged, is a term coined by Charles Sanders Peirce for either one of the pair of logically dual operators, variously referred to as Peirce arrows, Sheffer strokes, or NAND and NNOR. Either of these logical operators is a sole sufficient operator for deriving or generating all of the other operators in what is variously called the subject matter of boolean functions, propositional logic, sentential calculus, or zeroth-order logic.



In the above passage, Peirce introduces the term ampheck for the 2-place logical connective or the binary logical operator that is currently called the joint denial in logic, the NNOR operator in computer science, or indicated by means of phrases like 'neither-nor' or 'both not' in ordinary language. For this operation he employs a symbol that the typographer most likely set by inverting the zodiac symbol for Aries, but set above by commandeering the symbol for the bottom element of a lattice or partially ordered set.

In the same paper, Peirce introduces a symbol for the logically dual operator, rendered by the editors of CP by means of a bar or serif at the top of the inverted Aries symbol, in this way denoting the connective or operator that is currently called the alternative denial in logic, the NAND operator in computer science, or invoked by means of phrases like 'not-and' or 'not both' in ordinary language. It is not clear whether it was Peirce himself or later writers who initiated the practice, but on account of their dual relationship it became common to refer to these two operators in the plural, as the amphecks.

References and further reading

• Clark, Glenn (1997), "New Light on Peirce's Iconic Notation for the Sixteen Binary Connectives", pp. 304–333 in Houser, Roberts, Van Evra (eds.), Studies in the Logic of Charles Sanders Peirce, Indiana University Press, Bloomington, IN, 1997.

• Houser, N., Roberts, Don D., and Van Evra, James (eds., 1997), Studies in the Logic of Charles Sanders Peirce, Indiana University Press, Bloomington, IN.

• McCulloch, W.S. (1961), "What Is a Number, that a Man May Know It, and a Man, that He May Know a Number?" (Ninth Alfred Korzybski Memorial Lecture), General Semantics Bulletin, Nos. 26 & 27, 7–18, Institute of General Semantics, Lakeville, CT, 1961. Reprinted, pp. 1–18 in Embodiments of Mind.

• McCulloch, W.S. (1965), Embodiments of Mind, MIT Press, Cambridge, MA.

• Peirce, C.S., Bibliography.

• Peirce, C.S., Collected Papers of Charles Sanders Peirce, vols. 1–6, Charles Hartshorne and Paul Weiss (eds.), vols. 7–8, Arthur W. Burks (ed.), Harvard University Press, Cambridge, MA, 1931–1935, 1958.

• Peirce, C.S. (1902), "The Simplest Mathematics". First published as CP 4.227–323 in Collected Papers.

• Zellweger, Shea (1997), "Untapped Potential in Peirce's Iconic Notation for the Sixteen Binary Connectives", pp. 334–386 in Houser, Roberts, Van Evra (eds.), Studies in the Logic of Charles Sanders Peirce, Indiana University Press, Bloomington, IN, 1997.

See also

• Laws of Form
• Logical graph
• Logical NAND (Sheffer stroke)
• Logical NNOR (Peirce arrow)

---

Some content adapted from the Pseudopedia article "Ampheck" used under the GNU Free Documentation License.

(last updated by Jon Awbrey, 8:06pm EDT - Tue, Apr 03 2007)