Talk:Boolean function

Plus and its vicissitudes

JA: In mathematical contexts, let me recommend using "+" for the field operation in GF(2), and thus for the boolean operation also known as "XOR", "NEQ", etc. This is the way that Boole originally used it, so it's a misnomer to describe inclusive disjunction by that name. When Peirce and Jevons later made OR a main squeeze, they respected prior algebraic use and coined new symbols for it, Peirce using "+," at first. It seems to have been Schröder who initiated the perversion of using "+" for OR, and that became more commmon in engineering applications, but it has caused almost as much miscommunication and consequent wasted resources as English and Metric units on the same spacecraft. Jon Awbrey 19:42, 12 March 2006 (UTC)[reply]

Done. I had been in two minds as to whether I should use "+". My knowledge of boolean functions is pretty much limited to their uses in crypto, so feel free to edit as you see fit. …Ner102 21:26, 12 March 2006 (UTC)[reply]

Why is "logical operator" directed to this page?

There is also the article "logical connective" with direct reference regarding "logical operator" as the preferred term in algebraic logic. An explanation of the concept follows (that explanation cannot be found here under "Boolean function").

At least I as a layman in that filed could not find a good piece of reference for a "logical operator" under the present article. This existing redirect seems to be somewhat vague. Maybe "logical operator" should be redirected to "logical connective" instead of here?

JA: This whole complex of articles is currently in the process of being cleaned up. Right at the moment, though, the best target for logical operator and logical operation both is boolean function. The reason is this: Strictly speaking, a logical operator is an operation on logical values, values like true and false, while a logical connective is really an operator on syntactic strings, say, sentences. Some of these distinctions have gotted mushed over in recent years for various historical and philosophical POV reasons. The relevant articles will eventually be rewritten to make all of this more clear, so stay tuned. Jon Awbrey 03:44, 15 May 2006 (UTC)[reply]

Note that logic operation, instead, redirects to Boolean logic (which, strangely, isn't ever linked to in this article). I haven't changed this yet, since it all looks like a mess, but this definitely needs attention. LjL 20:00, 16 May 2006 (UTC)[reply]