Desired IEP topics: LOGIC

Note: A '*' indicates a particularly desirable article topic.
      A '%' indicates that the topic has partial coverage in
      the encyclopedia, but needs greater coverage. 

abduction
abstract entities
algorithm
analogy, argument from
axiom of choice
axiom system
Bayes's theorem
Boolean algebra
Cantor, Georg / Cantor's theorem *
Church, Alonzo / Church's theorem / Church's thesis / Church-Turing thesis *
combinatory logic
completeness
computability
conditional proof
conditionals
consistency
contradiction
conversational implicature
decidability *
decision procedure
deduction theorem
default logic
definite description
deontic logic *
diagonal procedure
dilemma
dynamic logic
effective procedure
enthymeme
epistemic logic *
Euler diagram
excluded middle
existential import
extensionality
formalism *
free logic *
function
fuzzy logic *
higher-order logic *
Hilbert, David
ideal language
identity
identity of indiscernibles
illocutionary logic
implication
independence proofs
induction %
inference
infinitary logic
infinite regress
infinity
intensional logic *
intensionality
intuitionism / intuitionist logic *
Kripke, Saul / Kripke semantics
lambda calculus *
Lesniewski, Stanislaw *
Lewis, C.I. *
Lewis, David
Lob's theorem
logical form
logicism
Lukasiewicz, Jan
many-valued logic *
Marcus, Ruth Barcan
mathematical induction
metalanguage/object-language distinction
metalogic
metamathematics
model theory *
modus ponens / modus tollens
negation
oblique context
opaque context / opacity
ordinal logic
Peano postulates
philosophy of logic
Pierce, Charles S.
pleonetetic/pluralitive logic
Polish logic
predicate logic
probability
proof theory / provability
propositional logic
psychologism
quantification
quantifying in, problem of
quantum logic *
Quine, W.V. *
Ramsey, F.P.
recursion / recursive functions
relevance logic *
Russell, Bertrand / Principia Mathematica *
scope
set theory *
Sheffer stroke (/ Nicod dagger?)
Skolem-Lowenheim theorem
Tarski, Alfred / Tarski's theorem *
tautology 
temporal logic *
tense logic *
theory of descriptions
theory of types / type-theory
thought experiment
truth-functionality
truth-value semantics
Turing, Alan / Turing test
use/mention distinction
vagueness *
Venn diagram
vicious circle
warrant

Please let me know (klement@philos.umass.edu) if you can think of
additions.