Wikipedia:WikiProject Logic/Categories
From Wikipedia, the free encyclopedia
Contents |
[edit] Categories
User:SatyrBot has graciously accepted my request to tag all the appropriate talk pages with the {{logic2}} template. We must choose which categories shall be included. If you have comments, additions or exclusions, make them to the list below and perhaps give some comment on the talk page. I propose to leave these open for debate for a week (until noon Monday July 23 (UTC)) after which time I will submit the list for processing. Gregbard 10:27, 16 July 2007 (UTC)
[edit] Update
Here is a link to the category tree
I have sent the list for processing. Gregbard 12:46, 23 July 2007 (UTC)
New update: This is the product of the discussion. This is the list to untag, and the new list of categories to tag. In addition to those removed from the original, I have also excluded:
- Category:Automated theorem proving
- Category:Rhetorical techniques
- Category:Logic gates
- Category:Theorem provers
...in the interest of being conservative. Gregbard 00:20, 17 August 2007 (UTC)
[edit] To be untagged (B)
- Category:Axioms of set theory
- Category:Cardinal numbers
- Category:Cognitive biases
- Category:Computational complexity theory
- Category:Computational models
- Category:Computer arithmetic
- Category:Decision theory
- Category:Descriptive complexity
- Category:Descriptive set theory
- Category:Dichotomies
- Category:Forcing
[edit] New list to be included
- Category:Algebraic logic
- Category:American logicians
- Category:Appeals to emotion
- Category:Arguments
- Category:Arguments against the existence of God
- Category:Arguments for the existence of God
- Category:Austrian logicians
- Category:Axiom of choice
- Category:Axioms of modal logic
- Category:Boolean algebra
- Category:Brazilian logicians
- Category:British logicians
- Category:Bulgarian logicians
- Category:Categorical logic
- Category:Causal fallacies
- Category:Chinese logicians
- Category:Combinatory logic
- Category:Czech logicians
- Category:Dutch logicians
- Category:English logicians
- Category:Formal fallacies
- Category:Formal languages
- Category:Fuzzy logic
- Category:Genetic fallacies
- Category:German logicians
- Category:Greek logicians
- Category:History of logic
- Category:Icelandic logicians
- Category:Indian logicians
- Category:Inductive fallacies
- Category:Informal arguments
- Category:Informal fallacies
- Category:Japanese logicians
- Category:Latin logical phrases
- Category:Laws of thought
- Category:Logic
- Category:Logic books
- Category:Logic conferences
- Category:Logic families
- Category:Logic in computer science
- Category:Logic Portal
- Category:Logic programming
- Category:Logic puzzles
- Category:Logic stubs
- Category:Logical calculi
- Category:Logical fallacies
- Category:Logical languages
- Category:Logicians
- Category:Logicians by nationality
- Category:Mathematical logic
- Category:Mathematical logicians
- Category:Mathematical logic hierarchies
- Category:Mathematical logic stubs
- Category:Mathematical relations
- Category:Modal logic
- Category:Model theory
- Category:Philosophical arguments
- Category:Philosophical logic
- Category:Polish logicians
- Category:Quantification
- Category:Relevance fallacies
- Category:Rules of inference
- Category:Russian logicians
- Category:Sentential logic
- Category:Substructural logic
- Category:Systems of formal logic
- Category:Types of scientific fallacy
- Category:Verbal fallacies
- Category:Wikipedian logicians
- Category:WikiProject Logic