Welcome to the Logic Task Force, a joint subproject of WikiProject Philosophy and WikiProject Mathematics. The task force is a group of pages in the "Wikipedia" article namespace which are devoted to the management of a specific topic or family of topics within Wikipedia; and, simultaneously, a group of editors who use those pages to collaborate on encyclopedic work. It is not a place to write encyclopedia articles directly, but a resource to help coordinate and organize the writing and editing of those articles. This group focuses on articles in the field of Logic.
The Logic Task Force is a community of Wikipedians who share an interest in logic and who wish to improve the general quality of Wikipedia's logic articles. It is an effort to coordinate the work of Wikipedians who are knowledgeable about logic.
Getting started
There are a few things you can do right now to get started helping the task force and the project.
Add {{User WP Logic}} to your user page. It will automatically add you to Category:Logic task force members. You may also choose to place the Logic Navigation Banner on your user page by adding {{Logic/Nav}} or the Logic Task List by adding {{LogicTasksBox}}.
How to participate
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.
Tag the talk page of all articles relevant to the project with either the {{Philosophy}} or {{Maths rating}} banner.
Goals
To find and identify all substantive forms of logic and expand the Wikipedia presence of those forms.
To improve the quality, range and consistency of Wikipedia's articles about logic.
To assess these articles in a manner consistent with the Task Force assessment guidelines.
To build a community of contributors.
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 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, 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 guide for categories
To have a project-wide to-do list of most wanted improvements to the logic pages.
Scope
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.
It is proposed that the WikiProject Mathematics take responsibility for these categories by tagging appropriate articles under WikiProject Mathematics with the field=foundations field:
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).
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.
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:
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
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.
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:
{{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:
