Wikipedia:WikiProject Logic/Archive/Categories

Categories
User:SatyrBot has graciously accepted my request to tag all the appropriate talk pages with the 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)

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: ...in the interest of being conservative. Gregbard 00:20, 17 August 2007 (UTC)
 * Category:Automated theorem proving
 * Category:Rhetorical techniques
 * Category:Logic gates
 * Category:Theorem provers

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

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