Metaphors-Can They Create Better Software Laws?
"Start with this:
- Programs are like recipes.
- A shrink-wrapped software suite is like a cook-book.
- Operating systems are like kitchens.
- Digital music files are like piano rolls.
Sensing a possible loss of control, software makers are now going try the analogy of car leasing. And they will no doubt try to obscure the difference that makes leasing a bad analogy: The owner of a car (an instance of a proprietary design) has an ongoing economic interest in the state of the leased car, otherwise it would be a sale. You can destroy an instance of downloaded 'leased' software and there is absolutely zero economic impact on the 'owner.' There is nothing to be returned. Can this legitimately be called a 'lease?' I don't think so, but watch for metaphor spin ;-)
I suppose another possibility is the metaphor of program execution as performance, to tap into the kinds of control traditionally available to authors of plays and musical scores (which I don't know about, other than copyright). Of course, if you are singing emm-I-see, kay-eewhy, emmo, ew-ess, eee, then there's probably trademark rights involved (gee, I hope that was fair use ;-)"
Programs are like recipes.
Kinda. Programs are more deterministic than recipes, but OK.
A shrink-wrapped software suite is like a cook-book.
Yes and no. A library is like a cookbook, surely. A shrink-wrapped software suite is...a recipe you pay for. No analog.
"Operating systems are like kitchens."
Kitches aren't made of recipes. Operating systems are like...holding a banquet while you cook. (running programs to make other programs)
"Digital music files are like piano rolls."
AAHHH! No! This is exactly what digital music files are NOT. Piano rolls are a manufactured product that has a cost in physical materials. Digital music files have no physical parts--they are pure information. Once you have created one music file, you can have as many copies made as you want at zero cost.
--
Linux MAPI Server!
http://www.openone.com/software/MailOne/
(Exchange Migration HOWTO coming soon)
I don't say this as a standard "kill the lawyers" gripe, but as a statement of fact. Indeed, I would not want to live somewhere where law was based on true, Lewis Carrol-style logic.
The wonder of logic is that, given enough information, it produces perfect results. The problem with logic is that, given insufficient information, it is silent. While this is fine in a math class, this is not good enough for the legal situations we place ourselves or wind up in.
Hell, we humans are good at illogic, exactly because life rarely gives us all the information in advance. BTW, this is likely a problem for AI.
Yes, the measure of truth in law is convincing a judge or jury that your argument is superior or correct. That is because we haven't found the Cosmic Truthmeter, and a judge or jury is the closest thing we can find. Don't complain unless you can find something better ;^>
--The basis of all love is respect
The only real way to learn about and discuss some new thing in the world is to confront it directly and figure out what it really means to you and to everyone else. Using a metaphor to consider it may seem a leapfrog tool to get over the learning curve, but the danger of instilling a sort of idée fixe and being unable to see the real ramifications of the new thing is too real, and too evident from past attempts in this direction. I'd be particularly careful what metaphors you present to legistlatively powerful neophytes, because the mind pollution they can create is very hard to undo.
-- Life is short. Forgive quickly. Kiss slowly. ~ Robert Doisneau
Thinking in metaphors is equivalent to reasoning by analogy, a weak form of induction that makes you feel good about your conclusions but has no real logical validity.
IANAL, but I gather that reasoning by analogy is what passes for logic in the law. This only makes sense when you realize that what's important in court or the legislature is convincing the judge/jury/lawmakers that your argument is the correct one - verisimilitude rather than reality.
To a Lisp hacker, XML is S-expressions in drag.