22 March 2007
1) Any theorem that is disproved by contradiction must be thrown out.
2) ...except for
Bivalence and
LEM even though Russel & Gödel
kicked the
bottom out of them three generations ago. It's just too scary.
3) Probability, that
fluffy blue blankie we use where bivalence breaks down, is axiomatic even though it produces no significant results.
4) A logical tautology cannot also be a factual truth.
5) ...but the
Principle of Induction always holds, except when it doesn't, and when it doesn't it means there is something new to learn. Why?
Because that's the way it has always happened in the past.