Talk:List of logic symbols

Removing the advanced and rarely used logical symbols section

edit

Philosophy.dude back in 2009 added a number of what are supposedly rarely used logical symbols, but I can't seem to find any support for many of them actually being used in the way he described them at all. I propose removing the entire section unless he or someone else can find some sources for them. AlphabeticThing9 AlphabeticThing9 (talk) 03:18, 4 December 2023 (UTC)Reply

I have found the source. Apparently they come from unicode tables. I'm not 100% sure that whoever wrote those descriptions for the unicode table actually understood the symbols, but they at least aren't uncorroborated fictions. AlphabeticThing9 (talk) 18:05, 4 January 2024 (UTC)Reply

I think we should remove some symbols

edit

They are:

∁ , because it's set theory and not used in logic well-formed formulae or metalogic (eg. ⊢).

⊙ , we should either merge this with "material equivalence" or remove it.

The ⊥ ↓ entry in the "advanced and rarely used symbols". I have never seen ⊥ used that way. In every textbook I have seen, ⊥ means "false". So I think this entry confuses people who would read this page. Also it's redundant because there is already an entry for Pierce's arrow ↓. ElskverdigHug (talk) 12:48, 4 January 2024 (UTC)Reply