Subject: Re: The regrettable use of "all" in Section 7 of the GPL
From: Alex Rousskov <rousskov@measurement-factory.com>
Date: Thu, 19 Feb 2004 10:34:08 -0700 (MST)

On Thu, 19 Feb 2004, Mahesh T. Pai wrote:

>  > Therefore, the distribution of all GPLed software is, at least in
>  > the U.S., forbidden by the terms of the GPL, and should come to a
>  > screeching halt.  I have spoken.
>
> This is a logical fallcay. I fail to recall tht exact term. But the
> rule is this:-
>
> Statement 1:- X implies Y
> Statement 2:- Y implies Z
>
> Statement 1 and 2 does not mean that X implies Z.

AFAIK, it does under normal/traditional logic laws. Implication is
transitive: If X implies Y and Y implies Z, then X implies Z.

However, my understanding is that there is no consensus on this list
that X implies Y or that Y implies Z.

Alex.
--
license-discuss archive is at http://crynwr.com/cgi-bin/ezmlm-cgi?3