Wikipedia:WikiProject Logic

From Wikipedia, the free encyclopedia

Jump to: navigation, search
WikiProject Logic
Welcome to 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 {{LogicTasksBox}} at the top of your page.

Logic sub-projects
Logic Task List
WikiProject Logic task list
Maintain Wikipedia:Pages needing attention/Logic and help the pages needing attention Formal interpretation, and Logical interpretation Proposition is in need of attention Logical connective is in need of attention Join the newly formed Boolean algebra task force. Descriptivist theory of names needs edit particularly in first section after TOC Logical connectives: (subproject page) integration, and consistent format Develop Standards for notation

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:

Regularly update the Logic Portal Ensure Category:Logic is accurate and up-to-date Assess these articles in a manner consistent with the WikiProject Logic assessment page. Monitor Recent changes to logic topics Monitor Recent changes to basic logic topics Monitor Recent changes to pages connected to Portal:Logic Monitor Recent changes to pages in Category Logic Clearly sort out which articles are (a)logic (including symbolic/mathematical logic) (b) philosophy of logic (c) which are "other" including history of logic, logician, elementary mathematics, technical mathematics, applications of logic etc. Provide guides for the lay reader to the proper area. Tag all articles relevant to the project with the {{Logic2}} banner. To build a community of contributors: Participants Roster Recruit new members.

A cleanup listing for this project is available, updated by WolterBot. More information...



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:

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 


Charles Stewart User:Philogo User:Paul August User:Paolo Liberatore User:Dbuckner User:Charles Matthews User:CSTAR User:KSchutte User:Jiy User:Nahaj User:PWilkinson User:Dbtfz User:Kripkenstein User:Stevekimcomcastnet User:Trovatore User:Michael Campbell Gregbard 01:39, 12 July 2007 (UTC) Arthur Rubin22:32, 28 June 2007 (UTC) (via logical operator subproject) Removed self due to merger of this project into Wikipedia:WikiProject Philosophy Banno 02:55, 14 July 2007 (UTC) Anarchia Cronholm144 07:57, 14 July 2007 (UTC) Danman3459 12:41, 14 July 2007 (UTC) Rick Norwood 12:55, 14 July 2007 (UTC) Simões 21:53, 14 July 2007 (UTC) --pizza1512 Talk Autograph 23:08, 14 July 2007 (UTC) NerdyNSK 00:28, 15 July 2007 (UTC) UBeR 14:30, 15 July 2007 (UTC) Dan Gluck 12:11, 16 July 2007 (UTC) Hotfeba 17:16, 16 July 2007 (UTC) Sholto Maud 05:46, 17 July 2007 (UTC) DesolateReality 08:43, 21 July 2007 (UTC) RickardV 14:49, 23 July 2007 (GMT) PWilkinson 17:14, 31 July 2007 (UTC) logicaltwist 17:14, 03 August 2007 (UTC) Josang 17:00, 7 August 2007 (AEST) Outofthebox 01:50, 8 August 2007 (UTC) LaleenaTalk to meContributions to Wikipedia 20:41, 9 August 2007 (UTC) Allispaul 14:15, 18 August 2007 (UTC) Horao 18:15, 18 August 2007 (CET) Leibniz 19:50, 19 August 2007 (UTC) Killtacular 06:43, 21 August 2007 (UTC) Nahaj 16:16, 31 August 2007 (UTC) Rootwhisk 06:42, 12 September 2007 (UTC) Liempt 06:55, 21 September 2007 (UTC) Tanstaafl28 13:11, 29 September 2007 (UTC) Voice-of-All 20:07, 6 October 2007 (UTC) Heelan Coo 23:21, 25 October 2007 (UTC) Hans Adler 13:28, 13 November 2007 (UTC) Ischaramoochie 17:25, 11 January 2008 (UTC) George Thomson (GeorgeFThomson (talk) 18:48, 24 January 2008 (UTC)) Valeria de Paiva Alastair Haines (talk) 11:32, 24 April 2008 (UTC) Phlyming (talk) 02:59, 30 April 2008 (UTC) Whc3 Tylerp9p


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:

Socrates 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
This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
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:


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:


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





You are viewing a mobilized version of this site...
View original page here

Mobilized by Mowser Mowser