Talk:Sheffer stroke

From Wikipedia, the free encyclopedia

You have new messages (last change).

Contents

[edit] Requested move

[edit] Voting

Add *Support or *Oppose followed by an optional one sentence explanation, then sign your vote with ~~~~
  • Oppose Charles Stewart 20:11, 7 December 2005 (UTC) --- Moving to less common name: see comment below.
  • Oppose Sheffer naming is more common in maths. Kusma (talk) 23:42, 7 December 2005 (UTC)
  • Support There are a few reason to support the move.
  • Support why should one particular boolean operation be listed under the name of the symbol that is used to indicate it? "logical and" is not listed under "ampersand" or "dot" or "upsidedown V". The Sheffer Stroke article, if it remains, ought to be simply an article on the history of the sheffer stroke symbol itself and how it came to be used to indicate a logical "not and".
First, though "logical NAND" and "bitwise NAND" may be less commonly called than "Sheffer stroke" (in some, NOT all english countries only, but for other english countries or other countries that use english, the situation is totally opposite), and "NAND" is more familiarly used than "Sheffer stroke" in logic, maths, computer, and engineering. But "NAND" is a acronym which may need disambiguation, so I do not support the move from "Sheffer stroke" to "NAND". However, "NAND" is a term which belongs to "logic", so I strongly encourage the move from "Sheffer stroke" to "logical nand".
Second, as user R. Koot stated, it would be best to keep it consistent with Peirce arrow (which redirects to logical nor). I suppose that the consistency should be a important factor to decide whether the content could be moved from "Sheffer stroke" to "logical nand". QQ 12:07, 8 December 2005 (UTC)
NAND is currently a redirect to Sheffer stroke. If the article were to be moved to NAND and articles on topics with acronym NAND were to appear, we could create a page NAND (disambiguation) to handle this case. --- Charles Stewart 15:47, 8 December 2005 (UTC)
Postscript The basis in popularity for naming an article a particular way for en.wikipedia is just for the popularity in english. How other languages do thiungs is relevant to other language wikipedias, not here. --- Charles Stewart 15:49, 8 December 2005 (UTC)
  • Support The term "logical NAND" is more comprehensive. 203.186.238.228 09:00, 9 December 2005 (UTC)
  • Support In my secondary school and university, I have not even heard the term "Sheffer stroke", but I have heard the term "logical nand" and "NAND" instead. Therefore when I watched this page, I felt very strange and confused. Moreover, when I saw the stroke notation (|) for representing "NAND", I encountered bewilderment. The reason of this are: 1. I have learnt that the stroke notation (|) is used for representing "A given B", and 2. I mostly use the notation ∧ for representing "NAND", which can be referred from unicode standard. 203.186.238.129 09:16, 9 December 2005 (UTC)
  • Support why should one particular boolean operation be listed under the name of the symbol that is used to indicate it? "logical and" is not listed under "ampersand" or "dot" or "upsidedown V". The Sheffer Stroke article, if it remains, ought to be simply an article on the history of the sheffer stroke symbol itself and how it came to be used to indicate a logical "not and".

Remark. I crossed out votes which seem to be by the same person using a changing IP, and also the unsigned votes. I don't think they should be considered. Oleg Alexandrov (talk) 03:41, 10 December 2005 (UTC)

[edit] Discussion

Add any additional comments
  • Comment - The phrase "logical NAND" is used in computer science to distinguish from "bitwise NAND". According to Google, however, this phrase is much less common than "Sheffer stroke" used by logicians, which in turn is far less common than plain "NAND". I think the reason the redirect exists is due to a piece of misplaced tidymindedness, namely all the boolean logic operators should be similarly named, and and and or are disambig pages, hence each must be logical something or other. I'd be better disposed to moving this page, as well as Logical nor to NAND and NOR, though it feels wrong to me to document the non-engineering material for this topic under this title. --- Charles Stewart 20:11, 7 December 2005 (UTC)
  • Comment. I don't have a strong opinion on the name, but I think it would be best to keep it consistent with Peirce arrow (which redirects to logical nor). —R. Koot 21:39, 7 December 2005 (UTC)
It would be better, but Peirce arrow is a much less well known term than Sheffer stroke, and there is very little material at that article that doesn't fit well with the title NOR, compared to the situation with NAND. I'm not all that bothered by this bit of untidyness. --- Charles Stewart 15:52, 8 December 2005 (UTC)

[edit] Result

It was requested that this article be renamed but there was no consensus for it be moved. WhiteNight T | @ | C 20:05, 29 December 2005 (UTC)

[edit] Alternative, not joint, denial

Contrary to the first paragraph, Sheffer stroke is not 'joint denial' but rather 'alternative denial'. The joint denial of P and Q is \lnot p \land \lnot q which is equivalent to NOR. The alternative denial of P and Q \lnot p \lor \lnot q which is equivalent to NAND (the Sheffer stroke).

[edit] NAND symbol shape is non-standard

The NAND gate symbol shown in the upper-right illustration does not conform to industry standards for a NAND gate. The straight horizontal edges should be longer. See page three of the IEEE document http://www.ddpp.com/DDPP3_pdf/IEEEsyms.pdf .

[edit] Logical nand is a more common name

This is the simple reason why I moved the article from Sheffer stroke to Logical nand. And after that, I did some innovative changes, but however, some people just reverted the changes and ignored the improved article!!!!! User:203.186.238.228

Nonetheless the move was improperly performed. See WP:MOVE for the policy: in particular WP has facilities for moving pages unavailable to anonymous users: you can request page moves at WP:RM (requested moves). What's wrong with what you did is that blanking pages by hand and copying contents spoils the connection of contributed content to the edit history, and this connection is considered important for content licensing purposes.
Note that while NAND is a very common name for this, it is usually counted as an electronic gate, and the phrase "Logical nand" is fairly rare, according to google much rarer than Sheffer stroke. --- Charles Stewart 19:17, 7 December 2005 (UTC)
I have to say, I find this Sheffer stroke title for the article quite surprising. I have never heard of Sheffer stroke, and I studied Computer Science and Electrical Engineering for my BS. This included lots of abstract math, and I never encountered it, such that I would remember it, nor have I ever heard anyone utter that phrase. No matter what Google may say about it, I think it's a rather uncommon phrase, compared to "Logical NAND" or just NAND. Interesting, yes, but Logical NAND would be much preferable name for the article, and Sheffer and his stroke can figure prominently, of course! JoGusto 22:52, 18 April 2006 (UTC)
Which term is more common depends on what field you're in. "NAND" is more common in your fields, "Sheffer stroke" is more common among logicians, both those in philosophy departments and those in math departments. I have no opinion as to how that should affect the name of the page. To me, the most important thing is that "Logical NAND", "NAND", and "Sheffer stroke" all take you to the same place, either directly or by redirect. --JMRyan 23:34, 24 April 2006 (UTC)
I've never heard of Sheffer stroke either, but by google it's something like 10 times more popular, if i didn't divide wrong. --M1ss1ontomars2k4 (T | C | @) 01:04, 4 June 2006 (UTC)

JA: I probably learned the terms ampheck, NAND, and Sheffer stroke all about the same time, and remain fond of all the historical connections, but frequency of use is not the only consideration, as I'm finding out as I try to develop some consistency of treatment across the pages on the 16 functions. Considering them as a group of related articles, it would just help the exposition a little to have "logical NAND" on a par with "logical NOR" and all the others. Jon Awbrey 11:38, 4 June 2006 (UTC)

[edit] Protection

I protected the Logical nand page due to several cut and paste move attempts recently. I will now unprotect it since it looks like it's part of a move debate. Thanks. --Woohookitty(cat scratches) 09:27, 9 December 2005 (UTC)

I protected Logical nand and now this page. Whoever is putting half a gig onto these pages STOP NOW. It's so large and has so many script errors that it's literally making browsers crash. --Woohookitty(cat scratches) 10:20, 9 December 2005 (UTC)

[edit] Misterious removals

Somebody removes links to Sheffer stroke and XNOR from the list of mathematical topics and other lists. That person using an ever-changing IP address, so it is hard to track. Oleg Alexandrov (talk) 16:53, 9 December 2005 (UTC)

[edit] To the anonymous contributor

Please make an account. Each time you contribute you use a different IP address. I counted at least five. It is a mess, and it is impossible to get in touch with you. Please make an account like everybody else and let us discuss. Thanks. Oleg Alexandrov (talk) 16:56, 9 December 2005 (UTC)

[edit] Distinction between signs or symbols and functions or operators

  • JA: It is very important to distinguish the roles of signs and symbols and so on, which are semiotic or syntactic things, from the roles of functions and operators and so on, which are formal or mathematical objects. In particular, the Sheffer stroke, which probably should be written with quotes, as "|", in the article, is a signlike thing, which is just one of many signs that may denote the corresponding mathematical object. Jon Awbrey 15:00, 19 January 2006 (UTC)

[edit] Name Change : Sheffer Stroke → Logical NAND

JA: The more I work on standardizing the formats across the various 2-place operators, the more it looks like it would be a service to the reader to use "Logical NAND" as the title of choice for the Sheffer stroke operation. We can always mention the other name in the first line without much ado. I don't really want to go through all that voting business unless there's some kind of prior con-sense among interested parties that it makes sense to do this. So, what do folks think as of the present moment? Jon Awbrey 16:46, 18 May 2006 (UTC)

The title needs changing anyway, because the topic of the article is not a symbol, it is a sentential operation. Nortexoid 18:33, 18 May 2006 (UTC)

JA: Yes, it's a practice that began as a harmless form of loose speech among practitioners who had no doubt what they were actually talking about, and probably couldn't imagine how creative their epigones would be in confusing themselves about it. So, I can put you down for a Yea? Jon Awbrey 18:46, 18 May 2006 (UTC)

I think it is IMPOSSIBLE to change name of this article, because the voting result is to OPPOSE this suggestion. In addition, SOME "logician" use their "force" to prevent the name change, as the term "Sheffer Stroke" may be more comfortable to them (but it ought to be more painful to other people). QQ 14:35, 28 May 2006 (UTC)

Shouldn't the articles for Logical NAND and Logical NOR both be treated equally? Now the NOR article emphasizes the actual operation while the NAND article emphasizes the denotational symbol (Sheffer stroke). 130.234.177.217 16:14, 13 October 2006 (UTC)

[edit] Roots of the naming issues

JA: There is a set of methodolodical questions that have been boiling under the surface of the naming issues that periodically erupt here and elsewhere. I don't think that the article-specific name-change voting format is very good way to handle these broader issues, so I think it might be good to start up a more comprehensive discussion here, and to reflect on the wider consequences of whatever policy we adopt. Jon Awbrey 14:24, 29 May 2006 (UTC)

JA: First off, splitting the article is clearly a bad idea, so I'll vote "Oppose" on that if and when the proper voting boilerplate is instituted. Jon Awbrey 14:28, 29 May 2006 (UTC)

[edit] Reference to German Wikipedia article seems to be wrong

The "Deutsch" link is to http://de.wikipedia.org/wiki/NAND-Gatter (NAND-Gate). However the article says "This article is about NAND in the logical sense."

The parallel German article is probably:

http://de.wikipedia.org/wiki/NAND

Retrieved from "http://en.wikipedia.org../../../s/h/e/Talk%7ESheffer_stroke_396f.html"