French GPL-compatible License

[Rui Miguel Seabra]

On Wed, 2004-07-14 at 08:19 +0100, Rui Miguel Seabra wrote:
> On Tue, 2004-07-13 at 19:10 +0100, Niall Douglas wrote:
> > > GPL, 2.b
> > > You must cause any work that you distribute or publish, that in whole
> > > or in part contains or is derived from the Program or any part
> > > thereof, to be licensed as a whole at no charge to all third parties
> > > under the terms of this License.
> > 
> > The key phrase here is "... under the terms of this License". This is 
> > NOT the same as "... under this License".
> 
> No. It is very clear, at least to me.
> 
> Theory:
> "Under the terms of this License" != "a compatible license"
> 
> Proof by example of falsehood:
> 
> If "Under the terms of this License" == "a compatible license"
> then all compatible licenses have the same terms.
> 
> X11 is compatible with the GPL and does not have the same terms (which
> are required).
> 
> Hence "Under the terms of this License" != "a compatible license"
> 
> q.e.d.

Argh, mornings... the proof only makes full sense inverted:

Theory:
"Under the terms of this License" == "a compatible license"

Proof by example of falsehood:

Assumption:
If "Under the terms of this License" == "a compatible license"
then all compatible licenses have the same terms.

Verification:
X11 is compatible with the GPL and does not have the same terms (which
are required).

Conclusion:
Hence "Under the terms of this License" != "a compatible license"

q.e.d.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 189 bytes
Desc: This is a digitally signed message part
URL: <http://lists.fsfe.org/pipermail/discussion/attachments/20040714/bb296b83/attachment.sig>