Difference between revisions of "Ampheck"

MyWikiBiz, Author Your Legacy — Thursday November 28, 2024
Jump to navigationJump to search
(update)
 
(12 intermediate revisions by the same user not shown)
Line 1: Line 1:
'''Ampheck''', from [[Ancient Greek|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 arrow]]s, [[Sheffer stroke]]s, or [[logical NAND|NAND]] and [[logical NNOR|NNOR]].  Either of these logical operators is a ''[[sole sufficient operator]]'' for deriving or generating all of the other operators in the subject matter variously described as [[boolean function]]s, [[monadic predicate calculus]], [[propositional logic]], sentential calculus, or [[zeroth order logic]].
+
<font size="3">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
 +
 
 +
'''Ampheck''', from Greek &#945;&#956;&#966;&#942;&#954;&#951;&#962; 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 [[logical NAND|NAND]] and [[logical NNOR|NNOR]].  Either of these logical operators is a ''[[sole sufficient operator]]'' for deriving or generating all of the other operators in the subject matter variously described as [[boolean function]]s, monadic predicate calculus, [[propositional calculus]], sentential calculus, or [[zeroth order logic]].
  
 
<blockquote>
 
<blockquote>
 
<p>For example, <math>x \curlywedge y</math> signifies that <math>x\!</math> is <math>\mathbf{f}</math> and <math>y\!</math> is <math>\mathbf{f}</math>.  Then <math>(x \curlywedge y) \curlywedge z</math>, or <math>\underline {x \curlywedge y} \curlywedge z</math>, will signify that <math>z\!</math> is <math>\mathbf{f}</math>, but that the statement that <math>x\!</math> and <math>y\!</math> are both <math>\mathbf{f}</math> is itself <math>\mathbf{f}</math>, that is, is ''false''.  Hence, the value of <math>x \curlywedge x</math> is the same as that of <math>\overline {x}</math>;  and the value of <math>\underline {x \curlywedge x} \curlywedge x</math> is <math>\mathbf{f}</math>, because it is necessarily false;  while the value of <math>\underline {x \curlywedge y} \curlywedge \underline {x \curlywedge y}</math> is only <math>\mathbf{f}</math> in case <math>x \curlywedge y</math> is <math>\mathbf{v}</math>;  and <math>( \underline {x \curlywedge x} \curlywedge x) \curlywedge (x \curlywedge \underline {x \curlywedge x})</math> is necessarily true, so that its value is <math>\mathbf{v}</math>.</p>
 
<p>For example, <math>x \curlywedge y</math> signifies that <math>x\!</math> is <math>\mathbf{f}</math> and <math>y\!</math> is <math>\mathbf{f}</math>.  Then <math>(x \curlywedge y) \curlywedge z</math>, or <math>\underline {x \curlywedge y} \curlywedge z</math>, will signify that <math>z\!</math> is <math>\mathbf{f}</math>, but that the statement that <math>x\!</math> and <math>y\!</math> are both <math>\mathbf{f}</math> is itself <math>\mathbf{f}</math>, that is, is ''false''.  Hence, the value of <math>x \curlywedge x</math> is the same as that of <math>\overline {x}</math>;  and the value of <math>\underline {x \curlywedge x} \curlywedge x</math> is <math>\mathbf{f}</math>, because it is necessarily false;  while the value of <math>\underline {x \curlywedge y} \curlywedge \underline {x \curlywedge y}</math> is only <math>\mathbf{f}</math> in case <math>x \curlywedge y</math> is <math>\mathbf{v}</math>;  and <math>( \underline {x \curlywedge x} \curlywedge x) \curlywedge (x \curlywedge \underline {x \curlywedge x})</math> is necessarily true, so that its value is <math>\mathbf{v}</math>.</p>
  
<p>With these two signs, the [[vinculum]] (with its equivalents, parentheses, brackets, braces, etc.) and the sign <math>\curlywedge</math>, which I will call the ''ampheck'' (from &#945;&#956;&#966;&#951;&#954;&#942;&#962;&nbsp;, cutting both ways), all assertions as to the values of quantities can be expressed. (C.S. Peirce, CP 4.264).</p>
+
<p>With these two signs, the vinculum (with its equivalents, parentheses, brackets, braces, etc.) and the sign <math>\curlywedge</math>, which I will call the ''ampheck'' (from &#945;&#956;&#966;&#951;&#954;&#942;&#962;&nbsp;, cutting both ways), all assertions as to the values of quantities can be expressed. (C.S. Peirce, CP 4.264).</p>
 
</blockquote>
 
</blockquote>
  
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 in the text above by means of the ''curly wedge'' symbol.
+
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('''&#9800;'''), but set in the text above by means of the ''curly wedge'' symbol.
  
In the same paper, Peirce introduces a symbol for the logically dual operator.  This was rendered by the editors of his ''Collected Papers'' as an inverted Aries symbol with a bar or a serif at the top, in this way denoting the connective or logical 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''.
+
In the same paper, Peirce introduces a symbol for the logically dual operator.  This was rendered by the editors of his ''Collected Papers'' as an inverted Aries symbol with a bar or a serif at the top, in this way denoting the connective or logical 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==
 
==References and further reading==
  
* [[Glenn Clark|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.
+
* Clark, Glenn (1997), &ldquo;New Light on Peirce's Iconic Notation for the Sixteen Binary Connectives&rdquo;, pp. 304&ndash;333 in Houser, Roberts, Van Evra (eds.), ''Studies in the Logic of Charles Sanders Peirce'', Indiana University Press, Bloomington, IN, 1997.
  
* [[Nathan Houser|Houser, N.]], [[Don D. Roberts|Roberts, Don D.]], and [[James Van Evra|Van Evra, James]] (eds., 1997), ''Studies in the Logic of Charles Sanders Peirce'', Indiana University Press, Bloomington, IN.
+
* Houser, N., Roberts, Don D., and Van Evra, James (eds., 1997), ''Studies in the Logic of Charles Sanders Peirce'', Indiana University Press, Bloomington, IN.
  
* [[Warren Sturgis McCulloch|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. (1961), &ldquo;What Is a Number, that a Man May Know It, and a Man, that He May Know a Number?&rdquo; (Ninth Alfred Korzybski Memorial Lecture), ''General Semantics Bulletin'', Nos. 26 & 27, 7&ndash;18, Institute of General Semantics, Lakeville, CT.  Reprinted, pp. 1&ndash;18 in ''Embodiments of Mind''.  [http://www.vordenker.de/ggphilosophy/mcculloch_what-is-a-number.pdf Online].
  
 
* McCulloch, W.S. (1965), ''Embodiments of Mind'', MIT Press, Cambridge, MA.
 
* McCulloch, W.S. (1965), ''Embodiments of Mind'', MIT Press, Cambridge, MA.
Line 23: Line 25:
 
* [[Charles Sanders Peirce (Bibliography)|Peirce, C.S., Bibliography]].
 
* [[Charles Sanders Peirce (Bibliography)|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., ''Collected Papers of Charles Sanders Peirce'', vols. 1&ndash;6, Charles Hartshorne and Paul Weiss (eds.), vols. 7&ndash;8, Arthur W. Burks (ed.), Harvard University Press, Cambridge, MA, 1931&ndash;1935, 1958.
  
* Peirce, C.S. (1902), "The Simplest Mathematics".  First published as CP 4.227–323 in ''Collected Papers''.
+
* Peirce, C.S. (1902), &ldquo;The Simplest Mathematics&rdquo;.  First published as CP&nbsp;4.227&ndash;323 in ''Collected Papers''.
  
* [[Shea Zellweger|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.
+
* Zellweger, Shea (1997), &ldquo;Untapped Potential in Peirce's Iconic Notation for the Sixteen Binary Connectives&rdquo;, pp. 334&ndash;386 in Houser, Roberts, Van Evra (eds.), ''Studies in the Logic of Charles Sanders Peirce'', Indiana University Press, Bloomington, IN, 1997.
  
 
==Syllabus==
 
==Syllabus==
Line 33: Line 35:
 
===Focal nodes===
 
===Focal nodes===
  
{{col-begin}}
 
{{col-break}}
 
 
* [[Inquiry Live]]
 
* [[Inquiry Live]]
{{col-break}}
 
 
* [[Logic Live]]
 
* [[Logic Live]]
{{col-end}}
 
  
 
===Peer nodes===
 
===Peer nodes===
  
{{col-begin}}
+
* [http://intersci.ss.uci.edu/wiki/index.php/Ampheck Ampheck @ InterSciWiki]
{{col-break}}
 
 
* [http://mywikibiz.com/Ampheck Ampheck @ MyWikiBiz]
 
* [http://mywikibiz.com/Ampheck Ampheck @ MyWikiBiz]
* [http://mathweb.org/wiki/Ampheck Ampheck @ MathWeb Wiki]
+
* [http://ref.subwiki.org/wiki/Ampheck Ampheck @ Subject Wikis]
* [http://netknowledge.org/wiki/Ampheck Ampheck @ NetKnowledge]
+
* [http://en.wikiversity.org/wiki/Ampheck Ampheck @ Wikiversity]
{{col-break}}
+
* [http://beta.wikiversity.org/wiki/Ampheck Ampheck @ Wikiversity Beta]
* [http://wiki.oercommons.org/mediawiki/index.php/Ampheck Ampheck @ OER Commons]
 
* [http://p2pfoundation.net/Ampheck Ampheck @ P2P Foundation]
 
* [http://semanticweb.org/wiki/Ampheck Ampheck @ SemanticWeb]
 
{{col-end}}
 
  
 
===Logical operators===
 
===Logical operators===
Line 116: Line 109:
 
{{col-break}}
 
{{col-break}}
 
* [[Inquiry]]
 
* [[Inquiry]]
 +
* [[Dynamics of inquiry]]
 +
{{col-break}}
 +
* [[Semeiotic]]
 
* [[Logic of information]]
 
* [[Logic of information]]
 
{{col-break}}
 
{{col-break}}
Line 122: Line 118:
 
{{col-break}}
 
{{col-break}}
 
* [[Pragmatic maxim]]
 
* [[Pragmatic maxim]]
* [[Pragmatic theory of truth]]
+
* [[Truth theory]]
{{col-break}}
 
* [[Semeiotic]]
 
* [[Semiotic information]]
 
 
{{col-end}}
 
{{col-end}}
  
 
===Related articles===
 
===Related articles===
  
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Introduction_to_Inquiry_Driven_Systems Jon Awbrey, &ldquo;Introduction To Inquiry Driven Systems&rdquo;]
+
{{col-begin}}
 
+
{{col-break}}
* [http://mywikibiz.com/Directory:Jon_Awbrey/Essays/Prospects_For_Inquiry_Driven_Systems Jon Awbrey, &ldquo;Prospects For Inquiry Driven Systems&rdquo;]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Cactus_Language Cactus Language]
 
+
* [http://intersci.ss.uci.edu/wiki/index.php/Futures_Of_Logical_Graphs Futures Of Logical Graphs]
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Inquiry_Driven_Systems Jon Awbrey, &ldquo;Inquiry Driven Systems : Inquiry Into Inquiry&rdquo;]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems]
 
+
{{col-break}}
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, &ldquo;Propositional Equation Reasoning Systems&rdquo;]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Introduction Differential Logic : Introduction]
 
+
* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, &ldquo;Differential Logic : Introduction&rdquo;]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
 
+
{{col-break}}
* [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, &ldquo;Differential Propositional Calculus&rdquo;]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems]
 
+
* [http://intersci.ss.uci.edu/wiki/index.php/Introduction_to_Inquiry_Driven_Systems Introduction to Inquiry Driven Systems]
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0 Jon Awbrey, &ldquo;Differential Logic and Dynamic Systems&rdquo;]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems Inquiry Driven Systems : Inquiry Into Inquiry]
 +
{{col-end}}
  
 
==Document history==
 
==Document history==
Line 148: Line 142:
 
Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders.
 
Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders.
  
{{col-begin}}
+
* [http://intersci.ss.uci.edu/wiki/index.php/Ampheck Ampheck], [http://intersci.ss.uci.edu/ InterSciWiki]
{{col-break}}
 
 
* [http://mywikibiz.com/Ampheck Ampheck], [http://mywikibiz.com/ MyWikiBiz]
 
* [http://mywikibiz.com/Ampheck Ampheck], [http://mywikibiz.com/ MyWikiBiz]
* [http://mathweb.org/wiki/Ampheck Ampheck], [http://mathweb.org/wiki/ MathWeb Wiki]
+
* [http://planetmath.org/Ampheck Ampheck], [http://planetmath.org/ PlanetMath]
* [http://netknowledge.org/wiki/Ampheck Ampheck], [http://netknowledge.org/ NetKnowledge]
+
* [http://wikinfo.org/w/index.php/Ampheck Ampheck], [http://wikinfo.org/w/ Wikinfo]
* [http://wiki.oercommons.org/mediawiki/index.php/Ampheck Ampheck], [http://wiki.oercommons.org/ OER Commons]
+
* [http://en.wikiversity.org/wiki/Ampheck Ampheck], [http://en.wikiversity.org/ Wikiversity]
* [http://p2pfoundation.net/Ampheck Ampheck], [http://p2pfoundation.net/ P2P Foundation]
 
* [http://semanticweb.org/wiki/Ampheck Ampheck], [http://semanticweb.org/ SemanticWeb]
 
{{col-break}}
 
* [http://planetmath.org/encyclopedia/Ampheck.html Ampheck], [http://planetmath.org/ PlanetMath]
 
 
* [http://beta.wikiversity.org/wiki/Ampheck Ampheck], [http://beta.wikiversity.org/ Wikiversity Beta]
 
* [http://beta.wikiversity.org/wiki/Ampheck Ampheck], [http://beta.wikiversity.org/ Wikiversity Beta]
* [http://getwiki.net/-Ampheck Ampheck], [http://getwiki.net/ GetWiki]
 
* [http://wikinfo.org/index.php/Ampheck Ampheck], [http://wikinfo.org/ Wikinfo]
 
* [http://textop.org/wiki/index.php?title=Ampheck Ampheck], [http://textop.org/wiki/ Textop Wiki]
 
 
* [http://en.wikipedia.org/w/index.php?title=Ampheck&oldid=62218032 Ampheck], [http://en.wikipedia.org/ Wikipedia]
 
* [http://en.wikipedia.org/w/index.php?title=Ampheck&oldid=62218032 Ampheck], [http://en.wikipedia.org/ Wikipedia]
{{col-end}}
 
 
<br><sharethis />
 
  
 
[[Category:Inquiry]]
 
[[Category:Inquiry]]
Line 171: Line 154:
 
[[Category:Peer Educational Resource]]
 
[[Category:Peer Educational Resource]]
 
[[Category:Automata Theory]]
 
[[Category:Automata Theory]]
 +
[[Category:Charles Sanders Peirce]]
 
[[Category:Combinatorics]]
 
[[Category:Combinatorics]]
 
[[Category:Computer Science]]
 
[[Category:Computer Science]]

Latest revision as of 15:04, 5 November 2015

This page belongs to resource collections on Logic and Inquiry.

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 the subject matter variously described as boolean functions, monadic predicate calculus, propositional calculus, sentential calculus, or zeroth order logic.

For example, \(x \curlywedge y\) signifies that \(x\!\) is \(\mathbf{f}\) and \(y\!\) is \(\mathbf{f}\). Then \((x \curlywedge y) \curlywedge z\), or \(\underline {x \curlywedge y} \curlywedge z\), will signify that \(z\!\) is \(\mathbf{f}\), but that the statement that \(x\!\) and \(y\!\) are both \(\mathbf{f}\) is itself \(\mathbf{f}\), that is, is false. Hence, the value of \(x \curlywedge x\) is the same as that of \(\overline {x}\); and the value of \(\underline {x \curlywedge x} \curlywedge x\) is \(\mathbf{f}\), because it is necessarily false; while the value of \(\underline {x \curlywedge y} \curlywedge \underline {x \curlywedge y}\) is only \(\mathbf{f}\) in case \(x \curlywedge y\) is \(\mathbf{v}\); and \(( \underline {x \curlywedge x} \curlywedge x) \curlywedge (x \curlywedge \underline {x \curlywedge x})\) is necessarily true, so that its value is \(\mathbf{v}\).

With these two signs, the vinculum (with its equivalents, parentheses, brackets, braces, etc.) and the sign \(\curlywedge\), which I will call the ampheck (from αμφηκής , cutting both ways), all assertions as to the values of quantities can be expressed. (C.S. Peirce, CP 4.264).

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 in the text above by means of the curly wedge symbol.

In the same paper, Peirce introduces a symbol for the logically dual operator. This was rendered by the editors of his Collected Papers as an inverted Aries symbol with a bar or a serif at the top, in this way denoting the connective or logical 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. Reprinted, pp. 1–18 in Embodiments of Mind. Online.
  • McCulloch, W.S. (1965), Embodiments of Mind, MIT Press, Cambridge, MA.
  • 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.

Syllabus

Focal nodes

Peer nodes

Logical operators

Template:Col-breakTemplate:Col-breakTemplate:Col-end

Related topics

Template:Col-breakTemplate:Col-breakTemplate:Col-breakTemplate:Col-end

Relational concepts

Template:Col-breakTemplate:Col-breakTemplate:Col-breakTemplate:Col-end

Information, Inquiry

Template:Col-breakTemplate:Col-breakTemplate:Col-breakTemplate:Col-breakTemplate:Col-end

Related articles

Template:Col-breakTemplate:Col-breakTemplate:Col-breakTemplate:Col-end

Document history

Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.