Wikipedia:WikiProject Logic

Main        Participants        Templates        Categories        Standards        To do

Logic Task Force Logic Task Force Philosophy and Mathematics WikiProjects Philosophy Discussion Mathematics Discussion Assessment Philosophy Assessment Logic Index Logic Log Logic Statistics Mathematics Wikipedia 1.0 Mathematical logic Index Logic task force resources Logic Article Logic Category Logic Template Logic Portal New Articles Standards For Logical Notation Logic Stubs Mathematical Logic Stubs Pages Needing Attention Requested Articles: Logic Requested Articles: Mathematical Logic Deletion Sorting Logic Cleanup Listings Logic Article Alerts Most popular pages Logic lists Topic outline of logic List of logic topics List of mathematical logic topics List of fallacies List of logicians List of paradoxes List of rules of inference Philosophy Resources Requests For Comment (philosophy) Requests For Peer Review (philosophy) Philosophy Reference Resources Reference Desk (philosophy) Mathematics Resources Requests For Comment (mathematics) Mathematics Conventions Naming Conventions For Theorems Manual of Style (mathematics) Reference Desk (mathematics) Recent changes 1 2 3 4 Subprojects Logical Connectives Boolean Algebra Task Force Related Projects Philosophers Task Force Philosophical Literature Task Force Ethics Task Force Epistemology Task Force Philosophy of Science Task Force Philosophy of Language Task Force Theoretical Linguistics Task Force WikiProject Pseudoscience WikiProject Game theory WikiProject Constructed languages WikiProject Systems WikiProject Skepticism Welcome to the Logic Task Force, a joint task force of WikiProject Philosophy and WikiProject Mathematics, and covers, besides articles on mathematical logic and philosophical logic, also articles on logic in computer science, logic in linguistics, such as the formal semantics of natural language, and logic in the methodology of science, such as formal ontology. The task force is a set 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 task force is an effort to coordinate the work of those Wikipedians who are knowledgeable about logic and wish to improve Wikipedia's coverage of the topic. Getting started There are a few things you can do right now to get started helping the task force and the projects. Add yourself to the Participants Roster. Watchlist and monitor the Logic log. Watchlist and monitor the General Philosophy Discussion (watch) and the General Mathematics Discussion (watch). 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 {{Wikipedia:WikiProject Logic/Nav}} or the Logic Task List by adding {{LogicTasksBox}}. 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. The task force is a descendant of WikiProject Philosophy, as logic is a major branch 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: Mathematical logic worklist Philosophical logic worklist Categories ▼ Logic ► Logic-related lists ► Logicians ► Assumption ► Classical logic ► Concepts in logic ► Dichotomies ► Difference ► Fallacies ► History of logic ► Logic literature ► Mathematical logic ► Non-classical logic ► Logic organizations ► Logical paradoxes ► Philosophical logic ► Philosophy of logic ► Logic puzzles ► Reasoning ► Logic and statistics ► Wikipedia books on logic ► Logic stubs 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. Assessment statistics The assessment statistics for the task force are separated into two groups, mathematical and non-mathematical. Logic articles by quality and importance Quality Importance Top High Mid Low NA ??? Total FA 2 3 5 GA 2 5 5 1 13 B 8 22 24 13 2 69 C 2 48 78 69 20 217 Start 2 75 290 305 4 177 853 Stub 29 152 409 8 171 769 List 1 11 1 2 15 Category 1 306 307 Disambig 1 13 14 File 4 4 Portal 54 54 Project 4 4 Redirect 2 35 1 38 Template 1 20 21 NA 1 1 Assessed 14 183 567 798 449 373 2,384 Total 14 183 567 798 449 373 2,384 WikiWork factors (?) ω = 7003998200000000000♠9,982 Ω = 5.18 Foundations, logic, and set theory article ratings Priority Quality FA FL A GA B B C Start Stub List UA Total Top 0 0 0 0 4 10 0 4 0 0 0 18 High 0 0 0 0 4 19 1 41 1 1 0 67 Mid 0 0 1 0 5 41 4 129 62 2 0 244 Low 0 0 0 0 0 24 5 235 279 7 0 550 UA 0 0 0 0 0 0 0 0 0 0 0 0 Total 0 0 1 0 13 94 10 409 342 10 0 879 Last updated: Tue Jun 15 01:10:03 UTC 2010 Cleanup listing for this project is available. See also the tool's wiki page and the index of WikiProjects.