Wikipedia:WikiProject Logic
How to participate in the Logic WikiProject | |
---|---|
This project is open to all Wiki editors. Adding your name indicates that you are willing to work with others on the development of Wikipedia's logic articles, and be an involved member of the project.
Be bold and add yourself to our Participants Roster. Once you are on the roster, be sure to add the Logic WikiProject task list to your user page. To do this, place | |
Logic sub-projects | |
Parentage
Similar Wikiprojects
Subprojects | |
Logic Task List | |
![]() WikiProject Logic task list
|
Goals and Tasks: how you can help | |
---|---|
This WikiProject is a community of Wikipedians who share an interest in logic and who wish to improve the general quality of Wikipedia logic articles, and how they are accessed. It is an effort to coordinate the work of Wikipedians who are knowledgeable about logic.
To improve the quality and range of Wikipedia articles on logical topics: To provide a framework for consistency within the project's subject:
![]() A list of articles needing cleanup associated with this project is available. See also the tool's wiki page and the index of WikiProjects.
Thanks for helping out! |
Scope and Goals
The scope of the Logic task force is articles about reasoning, concepts in logic, critical thinking, history of logic, biographical articles about logicians, mathematical logic, foundations of mathematics, and set theory. Our goal is to find and identify all substantive forms of logic and expand the Wikipedia presence of those forms.
The task force is a descendant of WikiProject Philosophy, as logic is a major subfield of philosophy. The task force also serves as the group most focused on the Foundations field of WikiProject Mathematics. The task force keeps two worklists:
In addition, the task force places a high priority on the following goals:
- To serve as a nexus and discussion area for contributors from all fields with knowledge in logic.
- To identify those areas of logic which lack sufficient coverage on Wikipedia.
- To improve those articles which need help.
- To create a general map of the logic articles and subjects on Wikipedia and present the articles in a way that shows their connections.
- To help reach agreement on nomenclature for various logical systems (eg. logic vs. calculus vs. system), on notations used in formal logic, and to establish a few conventional definitions that have agreed places where their definitions can be found;
- To establish a sort of style guide for categories;
- To reach agreement on what are the inclusion criteria for categories;
- To figure out what the logic pages are, and which are most central, to allow a synoptic overview of the logic pages;
- To sort out what should go where with overlapping articles (eg. Organon, term logic, Aristotelian logic, and syllogism);
- To have a project-wide to-do list of most wanted improvements to the logic pages.
Categories
The following categories are within the purview of the task force.
Philosophy
It is proposed that at some point we get a bot to tag the all the articles in these categories with the WikiProject Philosophy banner in the logic=yes
field:
- Category:American logicians
- Category:Appeals to emotion
- Category:Arguments
- Category:Arguments against the existence of God
- Category:Arguments for the existence of God
- Category:Austrian logicians
- Category:Brazilian logicians
- Category:British logicians
- Category:Bulgarian logicians
- Category:Categorical logic
- Category:Causal fallacies
- Category:Chinese logicians
- Category:Czech logicians
- Category:Dutch logicians
- Category:English logicians
- Category:Formal fallacies
- Category:Fuzzy logic
- Category:Genetic fallacies
- Category:German logicians
- Category:Greek logicians
- Category:History of logic
- Category:Icelandic logicians
- Category:Indian logicians
- Category:Inductive fallacies
- Category:Informal arguments
- Category:Informal fallacies
- Category:Japanese logicians
- Category:Latin logical phrases
- Category:Laws of thought
- Category:Logic
- Category:Logical fallacies
- Category:Logical languages
- Category:Logicians
- Category:Logicians by nationality
- Category:Philosophical arguments
- Category:Philosophical logic
- Category:Polish logicians
- Category:Relevance fallacies
- Category:Rules of inference
- Category:Russian logicians
- Category:Types of scientific fallacy
- Category:Verbal fallacies
Mathematics
It is proposed that the WikiProject Mathematics take responsibility for these categories by tagging appropriate articles under WikiProject Mathematics with the field=foundations
field:
- Category:Algebraic logic
- Category:Axiom of choice
- Category:Axioms of modal logic
- Category:Boolean algebra
- Category:Combinatory logic
- Category:Formal languages
- Category:Logic in computer science
- Category:Logic programming
- Category:Logic puzzles
- Category:Logical calculi
- Category:Mathematical logic
- Category:Mathematical logicians
- Category:Mathematical logic hierarchies
- Category:Mathematical logic stubs
- Category:Mathematical relations
- Category:Modal logic
- Category:Model theory
- Category:Quantification
- Category:Sentential logic
- Category:Substructural logic
- Category:Systems of formal logic
Standards
In addition to the standards suggested for all Wikipedia articles, special attention to the following while expanding logic articles:
Guidlines for Philosophy articles
- Guidelines for readability in philosophy articles.
- Style guide for philosophy articles.
- Requirements for criticisms in philosophy articles
- In-text citations should be made using the Cite.php system.
Guidlines for Mathematics articles
- Wikipedia:WikiProject Mathematics/Conventions (a working list of terminology conventions)
- Wikipedia:Naming conventions (theorems)
- Wikipedia:Manual of Style (mathematics)
- Wikipedia:Algorithms on Wikipedia (proposed)
- Wikipedia:Scientific citation guidelines
Logic-specific guidelines
These standards, as with all Wikipedia guidelines, are not obligatory. However, it should be noted that any article that is seeking featured article status should comply with these standards.
Note that new standards should be subjected to consensus building before being added here (a consensus should be reached on the discussion page).
Participants
- Andrew Helwer (talk · contribs)
- Andrewa (talk · contribs)
- Belshay (talk · contribs)
- Botterweg14 (talk · contribs)
- Chalst (talk · contribs)
- Shemitz (talk · contribs)
- Dchmelik (talk · contribs)
- FormalDude (talk · contribs)
- JEN9841 (talk · contribs)
- jflopezfernandez (talk · contribs)
- Knorlin (talk · contribs)
- Shonfeder (talk · contribs)
- SpiralSource (talk · contribs)
- NicolinoChess31415926 (talk · contribs)
- Non-pegasus (talk · contribs)
- MaxineLund (talk · contribs)
- jvlse (talk · contribs)
- TheUsualHuman (talk · contribs)
Recognized content
Featured articles
Good articles
Did you know (DYK)s
Formerly recognized content
Former featured articles
Former good articles
Wikipedia:Version 1.0 Editorial Team selections
Things to do
Looking for something to do? The following table lists some of the places on Wikipedia where Logic related requests, suggestions and tasks have been collected together.
- New Members: Invite editors to join the project.
- Suggest or edit a Logic article needing attention:Wikipedia:Pages needing attention/Logic
- Request or write a Logic article: Requested articles
- Assess an article's importance and quality: Wikipedia:WikiProject_Logic/Assessment
- Expand a Logic stub Category:Logic stubs / Category:Mathematical logic stubs
- Expand a new article: Wikipedia:WikiProject Logic/New articles
- Maintain the Logic portal: Portal:Logic
- Help to resolve a dispute: Requests for comment (philosophy) / Requests for comment (mathematics)
- Ask or answer a question about Logic Reference desk (philosophy) / Reference desk (mathematics)
Templates
Navigation Template
Putting {{logic}}
at the bottom of a page will add this navigation template to it:
This template should be placed at the bottom of pages of all important articles about major logical topics. It appears originally as collapsed.
Portal Pointer
{{portalpar|Logic}}
adds a box which leads to the combined philosophy category/portal. It looks like this:
It should appear at the bottom of each logic article, immediately before the categories list.
Task Box
{{LogicTasks}}
will add the Philosophy WikiProject task list to a page. To add the pretty boxed version seen above, use {{LogicTasksBox}}
instead. (Note: Both are case-sensitive.)
This list is regularly updated by participants, and is used for reporting pages that need attention. If you find such a page, feel free to edit Template:LogicTasks to add it to the list. Please add items to the task list by placing them at the top of the list. You may also remove items from the bottom of the list if it is too long.
If you wish to place the box on your own User or User_talk page, it would be much appreciated. (Keep in mind that the box is currently auto-justified to the right.)
Project pages
Putting {{philosophy|logic=yes}} will add this notice to it:
![]() | The WikiProject banner below should be moved to this page's talk page. If this is a demonstration of the template, please set the parameter |category=no to prevent this page being miscategorised. |
![]() | Philosophy: Logic NA‑class | ||||||||||||||||||
|
This message should be placed at the top of the talk pages of all philosophical logic articles.
Putting {{maths rating|field=foundations}} at the top of a page will add the WikiProject Mathematics banner to it.
This message should be placed at the top of the talk pages of all mathematical logic articles.
These messages should be placed at the top of the talk pages of all appropriate logic articles in the respective area mathematics or philosophy. This includes
- articles that members of the WikiProject Logic are actively trying to improve.
- articles about major logical topics.
- articles that need special attention. (In this case, you should also add the article name to the Logic WikiProject task list. You can view a list of these articles by clicking on What links here on the template page.)
Logician Infobox
Putting the text found at Template:Infobox Philosopher at the top of a biographical page will add a box for basic biographical information. This infobox is primarily a navigation tool. See the discussion at Template talk:Infobox Philosopher for more information.
Stubs
{{logic-stub}}
will add the Template:logic-stub template to the page. This is how it looks:
Add it to the bottom of the discussion page of a logic-related stub. You can view a list of these stubs at Category:Logic stubs or by clicking on What links here on the template page.
Invitation to join this project
{{LogicInvit}}
Will add the Template:LogicInvit template to the page. This is how it looks:
![]() | Thank you for your recent contribution to a few logic articles. Have you considered joining the Wikipedia:WikiProject Logic? It is an effort to coordinate the work of Wikipedians who are knowledgeable about logic in an effort to improve the general quality and range of Wikipedia articles on logic topics. We at the project invite your participation and correspondence. Be well. |
This is to be placed on the user:talk of potential participants. if you spot someone who might be interested in this project, place this template on their talk page. Don't forget to sign it - it looks more personal. Don't forget to check the Participants Roster first, just in case they are already a member.
You can view a list of who has received invitations by clicking on What links here on the template page.
Userboxes
Add this text to your user page to display a userbox that identifies yourself and your support for WikiProject Logic:
{{User:UBX/Logic}}
{{User WP Logic}}
![]() | This user is a participant in the Logic task force. |