Talk:Index of logic articles

List updater
In subsection A below, listed are articles which are missing from the Index of logic articles. They were found by looking in the categories in subsection C. One can add more categories to be searched to subsection C, see some suggestions in subsection D.

All this process can be restarted by clicking on the link at the bottom of subsection E.

Please note that anything around here is editable, but please don't modify the lines of the form

or their order.

C: Categories to be searched
The bot will look for potential additions to the Index of logic articles in this list of categories. You may add any other categories to this list, for example from subsection D below. Use the format Category:XXX (the colon shows up twice!).

Category:Logic Category:Concepts in logic Category:Logic literature Category:Logic books Category:Logic journals Category:Philosophical logic Category:History of logic Category:Critical thinking Category:Metalogic Category:Philosophy of logic Category:Theories of deduction Category:Non-classical logic‎ Category:Classical logic‎ Category:Logic organizations Category:Logical fallacies‎

D: Potential searchable categories
Move up to subsection C any categories which the bot should search for missing articles in the Index of logic articles.

Category:Belief revision -- Category:Classical logic -- Category:Formal sciences -- Category:Logic and statistics -- Category:Logic portal -- Category:Logic puzzles -- Category:Logic stubs -- Category:Logical fallacies -- Category:Logicians -- Category:Mathematical logic -- Category:Non-classical logic -- Category:Reasoning -- Category:Syntax (logic) -- Category:Wikipedia books on logic -- Category:Dilemmas -- Category:Interpretation (philosophy) -- Category:Latin logical phrases -- Category:Logic symbols -- Category:Logical consequence -- Category:Logical truth -- Category:Paradoxes -- Category:Supertasks -- Category:Theorems -- Category:Veracity -- Category:Conditionals -- Category:Definition -- Category:Dialectic -- Category:Identity -- Category:Logical positivism -- Category:Mereology -- Category:Necessity and sufficiency -- Category:Paraconsistent logic -- Category:Philosophy of language -- Category:Possibility -- Category:Probability -- Category:Semantics -- Category:Buddhist logic -- Category:History of statistics -- Category:Jansenism -- Category:Nyaya -- Category:School of Names -- Category:Term logic -- Category:Analysis -- Category:Arguments -- Category:Belief -- Category:Bias -- Category:Cognitive biases -- Category:Communication of falsehoods -- Category:Criticism -- Category:Debating -- Category:Inquiry -- Category:Persuasion techniques -- Category:Problem solving -- Category:Rhetoric -- Category:Skepticism -- Category:Stereotypes -- Category:Formal languages -- Category:Formal systems -- Category:Metatheorems -- Category:Model theory -- Category:Proof theory -- Category:Abstraction -- Category:Meaning (philosophy of language) -- Category:Constructivism -- Category:Constructivism (mathematics) -- Category:Formalism (deductive) -- Category:Intuitionism -- Category:Realism -- Category:Linear logic -- Category:Many-valued logic -- Category:Modal logic -- Category:Program logic -- Category:Substructural logic -- Category:Predicate logic -- Category:Propositional calculus -- Category:Mathematical logic organizations -- Category:Formal fallacies -- Category:Inductive fallacies -- Category:Informal fallacies -- Category:Relevance fallacies --

E: Articles in Index of logic articles not in categories
May be redirects or articles which should be removed/categorized.

Strict logic -- Laws of logic -- Boolean algebra (logic) -- Reductio ad absurdum -- Inference procedure -- Law of non-contradiction -- Sequent calculus -- Horn clause -- Illicit major -- Disjunction elimination -- Existential quantification -- Logical biconditional -- Language -- Interpretability -- Syllogism -- Provability logic -- Combinatory logic -- Strict implication -- Backward chaining -- Inductive logic -- Unification -- Exclusive nor -- Inverse (logic) -- Biconditional elimination -- Aristotelian logic -- Conjunction introduction -- Interpretability logic -- Truth condition -- Logic programming -- Conjunction elimination -- Elimination rule -- Logic gate -- Negation -- Mathematical logic -- Rule of inference -- First-order logic -- Argument form -- Temporal logic -- Relevant logic -- Clocked logic -- Contrapositive -- Syllogistic fallacy -- Abductive validation -- Trilemma -- Major term -- Logical assertion -- Bivalence and related laws -- List of rules of inference -- Iff -- Square of opposition -- Conjunctive normal form -- End term -- Tautology (logic) -- Plural quantification -- Strict conditional -- Inference rule -- Affirming the consequent -- Logical fallacy -- Implicant -- Cotolerance -- Categorical logic -- Fallacy of the four terms -- Deduction theorem -- Counterfactual conditional -- Intensional statement -- Mereology -- Contradiction -- Structural rule -- Boolean algebra (structure) -- Inductive logic programming -- Abacus logic -- Logical argument -- Converse Barcan formula -- College logic -- Cointerpretability -- Tolerance (in logic) -- Sequential logic -- Antecedent (logic) -- Heyting algebra -- List of basic discrete mathematics topics -- Lateral thinking -- Universal quantification -- Logical conjunction -- List of mathematical logic topics -- Natural deduction -- Necessary and sufficient -- Control logic -- Type theory -- First-order resolution -- Venn diagram -- Truth function -- Invalid proof -- Proposition -- Existential fallacy -- Scholastic logic -- Predicate (logic) -- Axiomatization -- Paraconsistent logics -- Minor premise -- Combinational logic -- First-order predicate calculus -- List of logicians -- Consequent -- Q.E.D. -- Uniqueness quantification -- Naive set theory -- Polysyllogism -- Axiomatic system -- De Morgan's laws -- Abduction (logic) -- Constructive dilemma -- Middle term -- Logical conditional -- Logical nor -- Ternary logic -- Curry's paradox -- Disjunctive normal form -- Pierce's law -- Open sentence -- Sequent -- Affine logic -- Introduction rule -- Karnaugh map -- Fluidic logic -- Affirming the antecedent -- Polish notation -- Logical disjunction -- Logico-linguistic modeling -- Deductive reasoning -- Barcan formula -- Illicit minor -- Sufficient condition -- Ordered logic -- Biconditional introduction -- Free variables and bound variables -- Logical operator -- Engineered language -- Double negative -- Logical nand -- Multi-valued logic -- Disjunction introduction -- Double negative elimination -- Converse (logic) -- Higher-order predicate -- Intuitionistic linear logic --

NB categorial logic and categorical logic are different subjects.

Charles Matthews 09:06, 4 May 2004 (UTC)

Logicians
Does it make sense for this list to have a famous logicians section, when there is a list of logicians? --- Charles Stewart 17:33, 20 May 2005 (UTC)