Talk:List of logic symbols

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
Mid	This article has been rated as Mid-priority on the project's priority scale.

Philosophy: Logic Mid‑importance

This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy articles

Mid

This article has been rated as Mid-importance on the project's importance scale.

Associated task forces:
/
	Logic

Typography Mid‑importance

	This article is within the scope of WikiProject Typography, a collaborative effort to improve the coverage of articles related to Typography on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.TypographyWikipedia:WikiProject TypographyTemplate:WikiProject TypographyTypography articles
Mid	This article has been rated as Mid-importance on the importance scale.

Writing systems Mid‑importance

	Writing portal This article falls within the scope of WikiProject Writing systems, a WikiProject interested in improving the encyclopaedic coverage and content of articles relating to writing systems on Wikipedia. If you would like to help out, you are welcome to drop by the project page and/or leave a query at the project’s talk page.Writing systemsWikipedia:WikiProject Writing systemsTemplate:WikiProject Writing systemsWriting system articles
Mid	This article has been rated as Mid-importance on the project's importance scale.

Archives

Archive 1

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]