This Wikipedia:WikiProject is intended to improve coherence and terminology across pages that belong in the various logic categories, especially those that belong in the mathematical logic categories.
What is the motive for starting a logic WikiProject?
- To help reach agreement on nomenclature for various logical systems, on notations used in formal logic, and to establish a few conventional definitions that have agreed places where their definitions can be found;
- To make categories useful:
- To establish a sort of style guide for categories;
- To reach agreement on what are the inclusion criteria for categories;
- To have a project-wide to-do list of most wanted improvements to the logic pages.