Talk:List of logic symbols

Incomplete

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

This page is a trimmed version of Table of mathematical symbols. -Chira 15:46, 20 August 2005 (UTC)

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)

P.S. The W3C has come to my rescue revealing that ∴ is ∴. Would still like to see its etymology documented in WP somewhere though. – Kieran T ^{(talk | contribs)} 14:23, 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. 64.95.214.18 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 96.246.176.86 (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)

Overscore

'Twould be nice to include the overscore as a way of indicating logical negation/complementation. —12.72.71.7 12:50, 27 July 2006 (UTC)

Incomplete

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)

"And"

I don't know how to edit the table, but someone might note that the dot is often used for "and" (e.g in Copi). Carolynparrishfan (talk) 22:04, 24 November 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.

DLA (talk) 23:17, 24 March 2009 (UTC)

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? 75.50.173.105 (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 $\exists {\vec {x}}\,\phi ({\vec {x}})$. When the quantifiers alternate, people write things like $Q_{0}x_{0}\,Q_{1}x_{1}\,Q_{2}x_{2}\dots Q_{n}x_{n}\,\phi (x_{0},\dots ,x_{n})$ where every Q_i stands for a universal or existential quantifier (so that your function is $i\mapsto Q_{i}$). I've never seen anything $\bigcup$-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)

Wikipedia policies

Am I the only one who notices a dearth of citations to secondary sources? GcT (talk) 19:05, 19 June 2010 (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.

Thoughts? Wolfraem (talk) 15:29, 27 July 2010 (UTC)

Agree, each symbol should have its own record. -DePiep (talk) 18:00, 20 March 2011 (UTC)

Requested move

The following discussion is an archived discussion of a requested move. Please do not modify it. Subsequent comments should be made in a new section on the talk page. No further edits should be made to this section.

The result of the move request was: not moved. Andrewa (talk) 06:39, 25 March 2011 (UTC)

---

List of logic symbols → Table of logic symbols — Currently this title is just serving as a redirect; "Table of.." is both more accurate, and renaming it would make it consistent with Table of mathematical symbols. –Cosmopolitan (talk) 22:13, 17 March 2011 (UTC)

• Support: It is indeed a table and this would improve consistency. I think everybody will understand that table is a subset of list in terms of Wikipedia article titles. –CWenger (talk) 19:27, 19 March 2011 (UTC)
• Oppose: it is a list, so that's the name. Is there a specific reason to use 'table' for a list? -DePiep (talk) 23:49, 19 March 2011 (UTC)

That is, is there a reason to deviate from WP:LISTNAME? -DePiep (talk) 21:17, 23 March 2011 (UTC)

Oh, you're right, that is the standard convention, even for tables. In this case, we should rename Table of mathematical symbols, not this one. I'll request a move for that when this one closes. –Cosmopolitan (talk) 08:06, 24 March 2011 (UTC)

We agree. It is not to nitpic, but if a user looks for such a thing, it's good when they get it right first try in every situation by typing "list of such a thing". Again: we agree. -DePiep (talk) 17:39, 24 March 2011 (UTC)

The above discussion is preserved as an archive of a requested move. Please do not modify it. Subsequent comments should be made in a new section on this talk page. No further edits should be made to this section.

Standard Numeral

"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?" 67.194.27.28 (talk) 16:23, 17 April 2011 (UTC)