Re: Help with a problem

On 24 Nov 2005 14:13:18 -0800, "George Dance" <georgedance04@xxxxxxxx>
wrote:

>
> I wouldn't argue that they're insufficient to prove anything. But I'd
> question the idea that those are 'the' rules of natural deduction.
> They're the rules of one system of nd; but there are many sound and
> complete nd systems, just as there are many sound and complete
> axiomatic systems.
>

"All systems of nd are equal, but some systems of nd
are more equal than others."


F.
.

Relevant Pages