Talk:List of logic symbols
|This article is of interest to the following WikiProjects:|
- 1 Incomplete
- 2 Re. to math table
- 3 Regarding the Logic Symbols
- 4 Overscore
- 5 Incomplete
- 6 Ordinary name for each sign
- 7 inference section... mistake?
- 8 Symbols should appear in mathtype format
- 9 "And"
- 10 Table doesn't include Unicode U+22BC NAND and U+22BD NOR
- 11 Generalizing Multiple Quantifiers
- 12 Wikipedia policies
- 13 Separating grouped symbols
- 14 Requested move
- 15 Standard Numeral
- 16 closing paragraph
- 17 should contain "visually similar" or "legacy (eg. ascii) approximate notation" column
- 18 Semantic variations of symbols should be listed
- 19 Symbols not picured
What is the meaning of (for example) L with subscript "omega one omega"? Logics (languages) with subscripts and superscripts are missing; thank you. — Preceding unsigned comment added by Uwacm (talk • contribs) 16:29, 21 February 2011 (UTC)
Re. to math table
- We should add a few more operators here, in particular modalities, strict implication, and maybe the operators from linear logic. --- Charles Stewart 20:10, 23 August 2005 (UTC)
- Do you see this table developing independently of Table of mathematical symbols? Paul August ☎ 21:59, August 31, 2005 (UTC)
- What are the origin of the THEREFORE and BECAUSE signs? The three-dot triangles I mean. Evertype 15:41, 14 September 2005 (UTC)
- I hope somebody can answer that last point. I was trying to find out which character sets support the "therefore" symbol, and found it doesn't seem to be mentioned anywhere in Wikipedia – at least not anywhere obvious or findable by using the search tool on "therefore symbol". – Kieran T (talk | contribs) 14:18, 23 July 2006 (UTC)
The turnstile ("|-") symbols should be included here.
Regarding the Logic Symbols
To take care of the problem with the symbol fonts displaying differently on different browsers, why not make the symbols into image files? This would ensure that everyone (regardless of their browser) can view the symbols. I find it difficult to understand the logic of having a logic table that you may or may not be viewing properly. 22.214.171.124 17:46, 20 December 2005 (UTC)Anonymous
Agreed; they should be made into image files (where appropriate). It is a bit funny that for the modal symbols the article says "If you wish to use these in a web page, you should always embed the necessary fonts so the page viewer can see the web page without having the necessary fonts installed in their computer" and then the symbols directly below show up as boxes because they are unsupported by my browser. —Preceding unsigned comment added by 126.96.36.199 (talk) 05:03, 5 February 2009 (UTC)
- The LaTeX symbol column renders the examples as PNG files. Perhaps this could be incorporated into the main Symbol column.Paulmiko (talk) 23:51, 22 February 2011 (UTC)
'Twould be nice to include the overscore as a way of indicating logical negation/complementation. —188.8.131.52 12:50, 27 July 2006 (UTC)
This article's listing of logic symbols is incomplete. I noticed that a while back, but I was too lazy to fix it. I'll fix it now. Robocracy 11:46, 22 October 2006 (UTC)
- There are still plenty of things to add/change. The triple bar is far more commonly used to indicate material equivalence than to indicate definition (if it does the latter ever). The equals sign is commonly used for strict equivalence. Double turnstile is missing. It should be noted that – is sometimes used as negation, and . is sometimes used as conjunction (but also periods are used to serve the same purpose as parentheses sometimes). Then there are, of course, the modal operators including the box (necessary, obligatory) and the diamond (possible, permissible) and the fishhook (strict implication). Philosophers also often use the set membership, intersection, and union symbols. Also the slashed equals sign, turnstile, double turnstile and set membership symbols are used to indicate the negation of those relations. Then if we really wanted to get crazy, we could include even rarer things like the Sheffer stroke, corner quotes or the substitutional quantifier. (I'd fix most of this right now, but tables annoy me and I don't have the patience to figure this one out at the present moment.) KSchutte 21:20, 3 April 2007 (UTC)
- Also, the therefore symbol mentioned above on this very talk page still isn't included on the table. KSchutte 21:21, 3 April 2007 (UTC)
Ordinary name for each sign
Two things. First, why not add each symbol ordinary name, the only one I know is the tilde "~", but I am sure they have ordinary names. Second, how about including the schefferstroke? Or should we change the article to be about the logical symbols only in propositional and quantified logic? RickardV 06:58, 30 April 2007 (UTC)
inference section... mistake?
"x ⊢ y means y is derived from x." According to the definition on the page, shouldn't it be x is derived from y? Springbreak04 23:45, 26 June 2007 (UTC)
- x ⊢ y means "y is a syntactic consequence of x," or "from x we can derive y"
Gregbard 12:22, 23 July 2007 (UTC)
Symbols should appear in mathtype format
I cannot read many symbols, and I giess I'm not the only one. I think it's better to write them in mathtype format: <math>Insert non-formatted text here</math>. Please anyone who CAN read the symbols, do it. Dan Gluck 19:45, 23 August 2007 (UTC)
Table doesn't include Unicode U+22BC NAND and U+22BD NOR
See http://www.unicode.org/charts/PDF/U2200.pdf, page 207.
Note: Table does include U+22BB XOR.
Generalizing Multiple Quantifiers
Is there any symbol that can express theorems about statements of predicate calculus involving an arbitrary number of quantified variables. Like an operator akin to the operators for union and intersection over a set of sets. I realize it'd be tricky because the interesting theorems would involve alternating universal and and existential quantification, and would have to have a function specifiying the quantification for the nth variable. Has anyone found any use for this? 184.108.40.206 (talk) 20:55, 25 May 2010 (UTC)
- Various ad hoc notations are used. For a block of quantifiers of the same kind, one would normally use the usual quantifier with whatever notation is employed for sequences of variables (typically an arrow or overbar), such as . When the quantifiers alternate, people write things like where every Qi stands for a universal or existential quantifier (so that your function is ). I've never seen anything -ish for this purpose, the triple dots notation is clear enough, and unlike unions and friends, there can't be infinitely many alternations anyway (unless you do serious business with some sort of game semantics, I don't know what notation these employ; the only example of this I recall seeing involved a countable sequence of alternating quantifiers that was again written with dots).—Emil J. 16:29, 26 May 2010 (UTC)
Seconded! I am trying to use this as a quick reference to incorporate logic symbols into a paper on literature, but I can't trust that these are accurate or even conventional w/o any citation. This page is thus useless to me... —Preceding unsigned comment added by 220.127.116.11 (talk) 06:18, 8 May 2011 (UTC)
Separating grouped symbols
I'm wondering what the advantages and limitations of lumping symbols together. For example, take the first set with the double-bar right arrow, single-bar right arrow and left-opened U. The entry visually suggests the three are synonyms, but the explanation suggests they all sometimes share a equivalent meaning but are different symbols.
I would like to suggest splitting the grouped symbols up into individual entries, unless they are truly and utterly synonymous. With particular deference to the example, while some content would be duplicated, the efficiency gained from the combination is lost to the potential confusion caused by the explanation.
- Agree, each symbol should have its own record. -DePiep (talk) 18:00, 20 March 2011 (UTC)
- Agree. I think people usually use different sets of symbols in logic and engineer. We should give a list of symbols which are used in logic and a list of symbols which are used in engineer. — Preceding unsigned comment added by Qijiang ok (talk • contribs) 03:42, 10 March 2014 (UTC)
"U+0305 ̅ combining overline, used as abbreviation for standard numerals. For example, using HTML style "4̅" is a shorthand for the standard numeral "SSSS0".
It was always my understanding that "standard numeral" referred to a standard decimal representation. The linked page for "Overline" does not contain this term, and wikipedia has no page for "Standard Numeral." A Google search returned nothing but decimal numerals. What is mean here by "Standard Numeral," and also by "SSSS0?" 18.104.22.168 (talk) 16:23, 17 April 2011 (UTC)
The introduction to the main article ends:
Be aware that, outside of logic, different symbols have the same meaning, and the same symbol has, depending on the context, different meanings.
Godel’s famous Incompleteness explicitly treats the formalism of Principia Mathematica, so one might expect he would use the same logical notation, which he does not — in particular, the notation for formal definition, a.=.b Df., not an entry on our List. Instead he uses Hilbert’s notation of the triple-bar ≡ which for propositional logic does appear on the List, twice.
I proposed the closing paragraph be changed to:
Be aware that, inside logic, different symbols sometimes have the same meaning, and a single symbol different meanings.
should contain "visually similar" or "legacy (eg. ascii) approximate notation" column
some characters are often rendered like "|=" or "^" in texts that use legacy character sets either for all symbols or just for some of them.
This may be due to either technical difficulties or lack of better knowledge or ease of simplicity.
Also the readers who are unfamiliar with how to enter these characters wouldn't be able to do a quick find on page search, when looking for a symbol that they saw on a (real) paper.
Especially if someone is looking for them cause he doesn't know its name.
The important thing is that I think it would be very useful for the readers who need this article the most (ie. unexperienced) to be able to search conveniently for the symbols with these "legacy" notations (for the lack of better expression).
I suppose the most logical and useful way to include them is via listing them in each row by an extra column.
Note that I call them legacy notation but they may be part of some anonymous notation, ie. "|=" it is easy to see why it is written like this, even if there is no known name for this "system" or no system at all. The keyboard is still a codepage based instrument in most countries and if a symbol can be written with ascii characters due to visual similarity, it's worth to include that notation here. edit maybe the column should be called visually similar instead
— Preceding unsigned comment added by 22.214.171.124 (talk) 22:57, 6 June 2012 (UTC)
Semantic variations of symbols should be listed
I just added and to the table, only to be removed minutes later by someone else stating "rm irrelevant opinions. It certainly isn’t common or recommended for the actual connectives in logic literature , though it is commonly used in other parts of mathematics as shorthand notation.".
I don't believe these semantic variations of symbols are "irrelevant", rather very useful. It is very common for LaTeX users to use the "wrong semantic variations" of symbols (e.g. the wrong dash, etc...). Seen as this is such a common problem, I think it's extremely useful to list the semantic variations too. Examples are:
- First, I didn’t remove the symbols. I only removed your comments about them looking “ugly here”, and that they are “recommended”. Second, like it or not, these symbols are not the recommended notation for the two connectives in question, and they are not used as such. This does not have much to do with their semantics, they just have the wrong shape. LaTeX symbol naming has never been “semantic” in this sense, but in any case the two sets of symbols have different semantics, and it is wrong to mix them up just because some of them have acquired misleading suggestive names, and others did not. \iff and \implies can only be used as informal shorthands in displayed equations like
- but it is completely wrong to use them as formal logical symbols for the implication and biimplication connectives in formulas: depending on the author’s conventions, , , or are all OK (though the last one is a bit uncommon), but is just terrible typography.—Emil J. 11:44, 13 June 2013 (UTC)
Symbols not picured
Note that some of the symbols are not being translated into Wikipedia-ese. I don't know how to make it so. Volunteers?
U+27E1 ⟡ white concave-sided diamond
U+27E2 ⟢ white concave-sided diamond with leftwards tick: modal operator for was never
U+27E3 ⟣ white concave-sided diamond with rightwards tick: modal operator for will never be
U+27E4 ⟤ white square with leftwards tick: modal operator for was always
U+27E5 ⟥ white square with rightwards tick: modal operator for will always be
U+297D ⥽ right fish tail: sometimes used for "relation", also used for denoting various ad hoc. . .