Re: Simple yet Profound Metatheorem

Charlie-Boo says...

>Change "you are not interested in" to "there's nothing gained in the
>final analysis", then the answer is: It shows that Frege is wasting his
>time since nobody has ever come up with a wff that he produces that
>case analysis does not.

Propositional intuitionistic logic is a *refinement* of case
analysis. It's not supposed to prove more wffs, it is supposed
to prove *fewer* wffs, and it succeeds.

--
Daryl McCullough
Ithaca, NY

.