comp.lang.ada
 help / color / mirror / Atom feed
From: David Trudgett <wpower@zeta.org.au.nospamplease>
Subject: Re: GNAT GPL 2005 Edition is now available
Date: Tue, 20 Sep 2005 11:22:55 +1000
Date: 2005-09-20T11:22:55+10:00	[thread overview]
Message-ID: <m3r7bk353k.fsf@rr.trudgett> (raw)
In-Reply-To: N6OdnWdO5aQgObfenZ2dnUVZ_s2dnZ2d@comcast.com


Hi Jeff,

Jeff Creem <jcreem@yahoo.com> writes:

>
> I think you need to go read the materials at gnu.org because
> freedom/free in their terms does not mean what you want it to
> mean. 

I think you're misunderstanding what I am saying, and to some extent I
have not been very clear myself in some wording I have chosen here and
there.

I also think I know perfectly well what Stallman and the FSF
want. They want everyone to write Free Software. They would even like
to force people to write Free Software if they want to *use* Free
Software. There are several different but interrelated points to make
about that. I will enumerate some of them here:

1. There is a moral viewpoint and a legal viewpoint. I have been
   dipping into both ends (hence some confusion, perhaps), but I am
   principally speaking from the moral viewpoint, which is at a higher
   level of abstraction from the legal. Hence my use of the word
   '*should*' in at least one place that I recall.

2. What RMS and the FSF *want*, what the GPL *says*, and how it gets
   interpreted in courts of -violence- I mean law, are three different
   things. All of those three things are different from what is
   morally right. It is *never* morally right, for instance, to use
   violence to force or coerce the actions of others, no matter
   whether one's "rights" are being ignored or infringed. Copyright
   law, if taken seriously, does precisely that: it says, "I will
   steal your possessions, abuse you, throw you in prison to be abused
   by violent criminals, and probably ruin your career if you use
   something that I have created in a way I do not wish." Only a
   sociopath or a sociopathic corporation would say such a thing, yet
   that is what copyright law is all about.

3. It is one thing for software to be Free, but quite another for
   humans to be free. Software has no right or claim to be Free.
   Software is an abstraction, it is not a being, it can have no
   rights. But human beings have the right to freedom simply by virtue
   of being human. This means that there is no basis whatsoever for
   Free Software unless it is grounded in human freedom. It is the
   *human being's* right to freedom, and nothing else, that
   legitimises Free Software. Free Software that makes humans unfree
   is therefore a contradiction in terms.

4. Taking a Free Software application created by someone else and
   making it one's own exclusive property (by, for example,
   withholding source code and charging for binary licences), is
   *theft*. It is *major* theft if it is done in such a way that the
   proprietary version "kills off" the Free version by force of law or
   market. There is a moral law against theft.

5. Using a compiler/run-time to produce software unrelated to that
   compiler/run-time, is not theft. It is using the compiler/run-time
   as intended by the technical nature of the compiler/run-time. This
   is not theft, but using a tool in the intended way.

6. A software author may specify any conditions of use he/she prefers,
   but has no *right* to do so, because no one can have a right to do
   something that cannot be (morally) done. Think of your favourite
   offensive example here, such as, "Only to be used by whites." (The
   fact that there may be statutes restricting this in a particular
   time and place is irrelevant, since we are discussing things at a
   moral level here.) It is obvious that one cannot have a *right* to
   use violence against other people (including via the proxy of the
   "law"), and since the use of violence is the only way you will be
   able to prevent people from doing what you do not want them to do,
   you cannot have a "right" to thus prevent them. All you can do is
   express your wishes and expect that by and large people will follow
   them (if they see merit in them -- something which is unlikely in
   the example cited above).

7. Therefore, an author may express the desire that his run-time code
   not be included or linked into any non-Free binary. The intent of
   this wish is to force users of the compiler to licence their own
   work under a particular licence. The intent is not to protect one's
   own Free Software, but to coerce the actions of others. Thus, the
   intent is essentially violent, as it is impossible to force the
   actions of others without recourse to the use of violence.

8. The author's expressed desire in item 7 is therefore based on an
   immoral premise, and consequently there is no moral duty to respect
   the desire, the ends of which are immoral (just as there would be
   no moral duty to respect the author's wishes for only white people
   to use his compiler). Of course, one may still respect the author's
   wishes out of courtesy (especially if there are viable alternatives
   to using the author's compiler), but there is no moral compunction
   to do so. Whether or not there is a legal compunction in a
   particular time and place is irrelevant to this discussion.


> (Or at least you misunderstood what I meant when i used the
> quoted "Free") It is the stated position of the FSF that software
> should be "free". What they mean by that is not that developers should
> be free to do what they want. 

Yes, precisely what I was saying above: they want to make software
"Free" at the expense of human freedom. This is a contradiction in
terms. Software can have no rights. Only humans can.


> What the FSF wants is for end users to be free to get acess to
> source code for which they have binaries and for them to be free to
> give the source to others.  

This is a laudable desire, but, as everyone learns at mother's knee,
the ends do *not* justify the means. Actually, the ends *are* the
means.



> Several years ago they changed the acroynm for the Library GNU
> Public License (LGPL) to Lesser GNU Public License because the FSF
> believes it to be less "free".

This is pure sophistry on their part. There is no way that a GPL'ed
library can be more "Free" than an LGPL'ed library. The only
difference is what it forces other people to do with their own code.
The intent of using the GPL on libraries is *viral*, to use the common
term. GPL on non-library code (ordinary applications) is *not* viral,
and is perfectly safe for anyone to use, by the way (just for the
record -- I know you know that).

There are problems with the GPL. One is that it is not suitable for
library code because of its "viral" nature, which it needs to protect
normal applications. So, that's right: viral GPL'ed library code is
*not* morally acceptable, since the intent is *not* to protect one's
own work, but to coerce others. Now, how effective that coercion *is*
will depend on various factors, such as alternatives available, but
_coercion_ it remains.

Another problem is that there is not always a distinction between
application and library code. The compiler/run-time issue is a small
example, but a bigger example is the world of languages like Common
Lisp. Common Lisp programs work just like "libraries", so there is no
real distinction between "application" and "library" in Common
Lisp. For this reason, I should review my use of the GPL on my noughts
and crosses game in Common Lisp.


> You also said
>
>> As a final comment, I would add that I am not against the GPL in any
>> way except where it is used to gratuitously limited other people's
>> freedoms. The purpose of the GPL is to protect the freedom of
>> software, not to force other people to produce free software. A
>> compiler is a special class of program that allows the GPL to be
>> abused, because the *purpose* of a compiler is to facilitate the
>
> This is not correct. The purpose of the GPL IS to force people to
> write free software. 

Actually, *your* statement is incorrect. Sorry to be so contrary. Only
the GPL applied to a library is intended to coerce others.


David

-- 

David Trudgett
http://www.zeta.org.au/~wpower/

The whole system of domination might unravel if the idea of taking
matters into one's own hands spreads its evil tentacles.

    -- Noam Chomsky
       <http://www.chomsky.info/articles/20041217.htm>



  parent reply	other threads:[~2005-09-20  1:22 UTC|newest]

Thread overview: 203+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-09-15  6:50 GNAT GPL 2005 Edition is now available Jamie Ayre
2005-09-15  7:34 ` Jacob Sparre Andersen
2005-09-15  8:44   ` Ludovic Brenta
2005-09-15  9:27     ` Martin Dowie
2005-09-15 10:03       ` Ludovic Brenta
2005-09-15  9:33     ` Brian May
2005-09-15 10:15       ` Ludovic Brenta
2005-09-15 22:58         ` Brian May
2005-09-15  9:39     ` Jacob Sparre Andersen
2005-09-15 10:50     ` Samuel Tardieu
2005-09-15 11:19       ` Stephane Riviere
2005-09-15 11:30     ` GtkAda and GPL/GMGPL, was: Re: GNAT GPL 2005 Edition is Simon Clubley
2005-09-15 11:42       ` Ludovic Brenta
2005-09-15 12:00     ` GNAT GPL 2005 Edition is now available Samuel Tardieu
2005-09-15 12:44       ` Ludovic Brenta
2005-09-15 12:55         ` Samuel Tardieu
2005-09-15 13:37       ` Samuel Tardieu
2005-09-18 15:24       ` Florian Weimer
2005-09-15 13:01     ` Dr. Adrian Wrigley
2005-09-15 15:39       ` Martin Dowie
2005-09-15 16:09         ` Larry Kilgallen
2005-09-15 17:27       ` Dr. Adrian Wrigley
2005-09-15 23:26         ` Jeff Creem
2005-09-16  0:02           ` Dr. Adrian Wrigley
2005-09-16  1:37             ` Jeff Creem
2005-09-16 15:16           ` Jeffrey Carter
2005-09-15 14:27     ` Ludovic Brenta
2005-09-15 15:35       ` Andreas Schwarz
2005-09-15 16:44         ` Georg Bauhaus
2005-09-15 17:05           ` Niklas Holsti
2005-09-15 17:17           ` Adrien Plisson
2005-09-15 18:08             ` Georg Bauhaus
2005-09-15 20:39               ` almost free development tools (Was: GNAT GPL 2005 Edition is now available) Adrien Plisson
2005-09-15 18:18           ` GNAT GPL 2005 Edition is now available Martin Krischik
2005-09-18 16:10           ` Florian Weimer
2005-09-15 18:14         ` Martin Krischik
2005-09-15 22:59           ` Andreas Schwarz
2005-09-15 17:20       ` Simon Clubley
2005-09-15 17:43       ` chris
2005-09-15 18:58       ` Ludovic Brenta
2005-09-15 21:08         ` Georg Bauhaus
2005-09-15 21:24           ` Georg Bauhaus
2005-09-18 16:10             ` Florian Weimer
2005-09-19 12:44               ` Georg Bauhaus
2005-09-19 16:08                 ` Pascal Obry
2005-09-19 16:20                   ` Georg Bauhaus
2005-09-15 21:25           ` Tapio Kelloniemi
2005-09-15 21:28             ` Tapio Kelloniemi
2005-09-16  8:28               ` Ludovic Brenta
2005-09-16 10:41                 ` Tapio Kelloniemi
2005-09-18 16:01           ` Florian Weimer
2005-09-15 23:21         ` GNAT GPL 2005 Edition is now available - A Vote and some other comments Jeff Creem
2005-09-18 15:48         ` GNAT GPL 2005 Edition is now available Florian Weimer
2005-09-18 18:10           ` Jacob Sparre Andersen
2005-09-15 20:32       ` Tapio Kelloniemi
2005-09-16 12:36       ` xavier
2005-09-16 21:57       ` Björn Persson
2005-09-17 10:05         ` [OT] Reasons for using Debian (Was: GNAT GPL 2005 Edition is now available) Jacob Sparre Andersen
2005-09-17 17:41           ` Björn Persson
2005-09-18 16:17           ` [OT] Reasons for using Debian Florian Weimer
2005-09-18 15:42       ` GNAT GPL 2005 Edition is now available Florian Weimer
2005-09-18 16:15         ` Ludovic Brenta
2005-09-18 16:39           ` Florian Weimer
2005-09-18 17:05             ` Ludovic Brenta
2005-09-20  9:50               ` Florian Weimer
2005-09-20 10:28                 ` Ludovic Brenta
2005-09-18 17:32             ` Martin Krischik
2005-09-18 18:25           ` Jacob Sparre Andersen
2005-09-18 21:19             ` Ludovic Brenta
2005-09-19 13:06               ` Jacob Sparre Andersen
2005-09-15 16:01     ` Niklas Holsti
2005-09-15 16:27     ` Jeffrey Carter
2005-09-15 16:59       ` Georg Bauhaus
2005-09-15 18:42       ` Ludovic Brenta
2005-09-16  9:17     ` David Trudgett
2005-09-16 14:15     ` Ludovic Brenta
2005-09-18 13:13     ` Ludovic Brenta
2005-09-18 17:24       ` Florian Weimer
2005-09-19 14:12       ` Marc A. Criley
2005-09-20  5:09         ` Ludovic Brenta
2005-09-18 18:59     ` Niklas Holsti
2005-09-18 21:27       ` Ludovic Brenta
2005-09-19  7:23         ` Brian May
2005-09-19  7:49         ` Samuel Tardieu
2005-09-15  8:10 ` David Trudgett
2005-09-15  8:50   ` Ludovic Brenta
2005-09-15  8:56     ` wojtek
2005-09-15 18:08       ` Martin Krischik
2005-09-15 20:09         ` Samuel Tardieu
2005-09-15 22:33           ` Björn Persson
2005-09-15 23:13             ` Samuel Tardieu
2005-09-18 15:30           ` Florian Weimer
2005-09-19  7:56             ` Samuel Tardieu
2005-09-19 12:46               ` Ole-Hjalmar Kristensen
2005-09-19 20:08                 ` Björn Persson
2005-09-19 21:23             ` Björn Persson
2005-09-19 23:05         ` wojtek
2005-09-19 23:55           ` Larry Kilgallen
2005-09-21  7:17             ` Preben Randhol
2005-09-21 12:26               ` Larry Kilgallen
2005-09-21 13:22                 ` Preben Randhol
2005-09-20 13:50           ` Steve
2005-09-20 18:01             ` Ludovic Brenta
2005-09-20 19:10               ` Larry Kilgallen
2005-09-20 19:17                 ` Ludovic Brenta
2005-09-21  2:22               ` Steve
2005-09-21  4:48               ` Steve Whalen
2005-09-21 23:30           ` chris
2005-09-27  9:28             ` Ole-Hjalmar Kristensen
2005-09-15 18:06     ` Martin Krischik
2005-09-15 19:34       ` Martin Dowie
2005-09-15 20:14       ` Samuel Tardieu
2005-09-21  7:27         ` Preben Randhol
2005-09-21  7:57           ` Samuel Tardieu
2005-09-21  7:58           ` Brian May
2005-09-15 11:55   ` Jeff Creem
2005-09-16  8:36     ` David Trudgett
2005-09-16 10:14       ` Larry Kilgallen
2005-09-16 10:56         ` Ludovic Brenta
2005-09-16 12:20           ` Samuel Tardieu
2005-09-16 12:59             ` Ludovic Brenta
2005-09-16 13:58               ` Niklas Holsti
2005-09-16 15:37               ` Georg Bauhaus
2005-09-17 14:09                 ` Ludovic Brenta
2005-09-16 16:45               ` Tapio Kelloniemi
2005-09-16 18:12                 ` Marc A. Criley
2005-09-17  6:58                   ` Martin Dowie
2005-09-17 10:20                     ` Jacob Sparre Andersen
2005-09-17 12:47                       ` Georg Bauhaus
2005-09-17 13:37                         ` Jacob Sparre Andersen
2005-09-17 14:17                       ` Martin Krischik
2005-09-17 17:42                         ` Jacob Sparre Andersen
2005-09-17 17:48                           ` Ludovic Brenta
2005-09-17 18:41                             ` Ludovic Brenta
2005-09-17 19:06                             ` Björn Persson
2005-09-17 20:39                               ` Ludovic Brenta
2005-09-17 22:59                                 ` Björn Persson
2005-09-17 23:32                                   ` tmoran
2005-09-18  0:25                                     ` Brian May
2005-09-18 15:35                           ` Florian Weimer
2005-09-17 13:08                     ` Marc A. Criley
2005-09-17 14:44                       ` Martin Dowie
2005-09-17 16:19                       ` Martin Dowie
2005-09-19 19:22                       ` Marc A. Criley
2005-09-21  7:57                     ` Preben Randhol
2005-09-21  8:25                       ` Niklas Holsti
2005-09-21  8:39                       ` Martin Dowie
2005-09-21  8:59                         ` Niklas Holsti
2005-09-21 11:02                           ` Martin Dowie
2005-09-21 13:20                             ` Alex R. Mosteo
2005-09-21 17:29                             ` Jeffrey Carter
2005-09-21 20:26                               ` Martin Dowie
2005-10-07  0:56                             ` Randy Brukardt
2005-09-21 13:47                       ` Marc A. Criley
2005-09-19  1:20                   ` chrismiller677
2005-09-19 11:24                     ` Brian May
2005-09-19 13:19                       ` Martin Dowie
2005-09-19 13:35                         ` Martin Dowie
2005-09-19 13:38                       ` Dirk Craeynest
2005-09-19 14:49                         ` Georg Bauhaus
2005-09-19 19:17                         ` Björn Persson
2005-09-19 11:39                     ` Georg Bauhaus
2005-09-21  7:56                   ` Preben Randhol
2005-09-21  8:03                     ` Samuel Tardieu
2005-09-21 10:57                       ` Preben Randhol
2005-09-21 10:58                         ` Preben Randhol
2005-09-21 12:11                         ` Jacob Sparre Andersen
2005-09-21 12:32                           ` Hyman Rosen
2005-09-21 13:03                             ` Samuel Tardieu
2005-09-21 13:16                           ` Preben Randhol
2005-09-21 13:49                             ` Jacob Sparre Andersen
2005-09-21 20:30                           ` Tapio Kelloniemi
2005-09-21 17:27                         ` Jeffrey Carter
2005-09-21 19:11                           ` Pascal Obry
2005-09-16 20:31               ` Björn Persson
2005-09-17  2:51               ` David Trudgett
2005-09-17  5:56                 ` Simon Wright
2005-09-17 14:31                 ` Ludovic Brenta
2005-09-17 15:55                   ` Martin Krischik
2005-09-16 13:26             ` Stephane Riviere
2005-09-16 15:44             ` Jeffrey Carter
2005-09-19  6:47               ` Steve Whalen
2005-09-19 23:49           ` wojtek
2005-09-20  0:06             ` wojtek
2005-09-19 12:57         ` Ole-Hjalmar Kristensen
2005-09-16 10:56       ` Jeff Creem
2005-09-16 14:19         ` Marc A. Criley
2005-09-16 20:27         ` Björn Persson
2005-09-20  1:22         ` David Trudgett [this message]
2005-09-20  8:36           ` Georg Bauhaus
2005-09-20 12:02           ` Hyman Rosen
2005-09-15  8:49 ` wojtek
2005-09-15 13:18   ` Thomas Quinot
2005-09-15 10:30 ` Brian May
2005-09-15 10:54   ` Friess Michael
2005-09-15 22:17     ` Brian May
2005-09-15 22:31       ` Britt Snodgrass
2005-09-15 15:11 ` Larry Kilgallen
2005-09-15 15:20   ` Ludovic Brenta
2005-09-15 16:08     ` Larry Kilgallen
2005-09-15 17:53     ` Simon Clubley
2005-09-15 22:10 ` Björn Persson
2005-09-15 23:19   ` Samuel Tardieu
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox