Re: virus: Pancritical rationality

David McFadzean (
Fri, 04 Apr 1997 17:37:12 -0700

At 07:26 PM 04/04/97 -0400, tom.holz wrote:

>I was just taught that (weak) induction went like this:
>If, assuming Raven #X is black, Raven #(X+1) can be proven to black, and
>Raven #1 is observed to be black, then all ravens are black.

That is analytic induction and is logically valid in mathematics. (Of
course it applies to things like numbers, not ravens).

>Were you describing more common logical error made by many (lesser <g>)
>people in their models of reality?

Yes, synthetic (empirical) induction is logically invalid. But the invalid
part if assuming that you can prove assertions from it, rather than
generate provisional assumptions.

David McFadzean       
Memetic Engineer      
Church of Virus