Club

Go to The Main Page Add Club to favorite!

Wikipedia:WikiProject Logic 

WikiProject Logic
Welcome to Wikiproject Logic!
Shortcuts:
WP:LGC
WP:WPLOG
Article· Portal· Category · Task force· Stubs· Stubs· Deletion· Noticeboard· New articles

Core areas: Aesthetics · Epistemology · Metaphysics · Logic · Social and political · Ethics
Major fields: Philosophy of mind · Philosophy of science · Philosophy of language · Philosophy of religion
Traditions: Continental · Analytic · Marxism · Anarchism · Eastern
Periods: Ancient · Medieval · Modern · Contemporary


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
WikiProject Logic task list
Charles Stewart's watchlist | stubs | edit this list | discuss these tasks | Category:Logic | Portal:Logic | RFC (philosophy) | RFC (mathematics) | Requested Articles/Redlinks
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 cleanup listing for this project is available, updated by WolterBot. More information...




Thanks for helping out!

Contents

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.

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

Logic task force (Original members in bold.)

 v • d • e 



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.

Templates

Navigation Template

Putting {{logic}} at the bottom of a page will add this navigation template to it:

v • d • e
Logic
Portal · Category · WikiProject · Logic stubs · Mathlogic stubs · Cleanup · Noticeboard

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:

Logic portal

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:

Socrates
Philosophy portal
This article is within the scope of the WikiProject Philosophy, which collaborates on articles related to philosophy. To participate, you can edit this article or visit the project page for more details.
??? This article has not yet received a rating on the quality scale.
??? This article has not yet received an importance rating on the importance scale.

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 Mathematics
Mathematics portal
This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating: NA Class NA  Field: Foundations, logic, and set theory
Please update this rating as the article progresses, or if the rating is inaccurate. Please also add comments to suggest improvements to the article.


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:

\lnot(p\land\lnot p)  This logic-related article is a stub. You can help by expanding it.


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 member of the Logic task force




Could not update stat
UP