Talk:Index of logic articles

message: 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.
=== A: Articles missing from the Index of logic articles ===
===B: Place here articles not wanted either in the Index of logic articles or in subsection A. ===
===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)
thread_title:  List updater 

message: 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)
thread_title: E: Articles in [[Index of logic articles]] not in categories

message: 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)
thread_title: Logicians