Jump to content

Wikipedia:WikiProject Logic

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Rick Norwood (talk | contribs) at 13:00, 28 May 2008. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
WikiProject Logic
Welcome to Wikiproject Logic!
Template:Topicwpphil


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 {{LogicTasksBox}} at the top of your page.

Logic sub-projects

Parentage

This WikiProject is a descendent of WikiProject Philosophy.

Similar Wikiprojects

WikiProject Logic has substantial overlap with WikiProject Mathematics.

Subprojects

WikiProject Logic Article Assessment
Logical Connectives
Boolean algebra task force
Logic Task List
  • This list should be actively updated: Discuss



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:

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:

  1. To serve as a nexus and discussion area for contributors from all fields with knowledge in logic.
  2. To identify those areas of logic which lack sufficient coverage on Wikipedia.
  3. To improve those articles which need help.
  4. To create a general map of the logic articles and subjects on Wikipedia and present the articles in a way that shows their connections.
  5. 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;
  6. To establish a sort of style guide for categories;
  7. To reach agreement on what are the inclusion criteria for categories;
  8. To figure out what the logic pages are, and which are most central, to allow a synoptic overview of the logic pages;
  9. To sort out what should go where with overlapping articles (eg. Organon, term logic, Aristotelian logic, and syllogism);
  10. To have a project-wide to-do list of most wanted improvements to the logic pages.
  11. Clearly sort out which logic articles are philosophy, which are elementary mathematics, and which are technical mathematics, and provide guides for the lay reader to the proper area.

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:

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:

Standards

In addition to the standards suggested for all Wikipedia articles, special attention to the following while expanding logic articles:

Guidlines for Philosophy articles

Guidlines for Mathematics articles

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


Recognized content

Good articles

Formerly recognized content

Former good articles

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.

Templates

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:

WikiProject iconPhilosophy: Logic NA‑class
WikiProject iconThis page 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.
NAThis page does not require a rating on Wikipedia's content assessment scale.
Associated task forces:
Taskforce icon
Logic

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 this notice to it:

WikiProject iconMathematics NA‑class
WikiProject iconThis page 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.
NAThis page does not require a rating on Wikipedia's content assessment scale.


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}}

~(p&~p)This user studies the concept of logic.



{{User WP Logic}}

This user is a participant in the
Logic task force.