- From: Alan Ruttenberg <alanruttenberg@gmail.com>
- Date: Sat, 7 Feb 2009 07:17:34 -0800
- To: Jeremy Carroll <jeremy@topquadrant.com>
- Cc: semantic-web@w3.org
Hello Jeremy, My first reaction to your comment is that it is, at least, overbroad. At worse, the attitude it espouses is a threat to the utility and success of the Semantic Web. Some cases to consider: 1) The Semantic Web is for science too. Within that domain, precise definitions of many terms are essential if one is to make meaningful comparisons. 2) Your comments don't square with the experience with programming languages, where having terms (functions, operators, data structure constructors, etc) not being precisely defined leads to unportability and difficulty in maintenance. Why are SW representation languages not like programming languages? 3) Is the evolving nature of words, while undeniably operant, something to celebrate? Perhaps on the level of celebrating creativity it is. But the flip side is that the fact that we have so many natural language means that large groups of people have no way communicate with each other. Even within a single language dialect, idiom, and drift over time serve to put in place barriers to communication. I think it would be fair to say that this inability to communicate has had dire consequences in our history. Why do SW languages need to mimic natural languages? Why not let each serve a distinct (and to be celebrated) function? -Alan On Thu, Feb 5, 2009 at 10:34 PM, Jeremy Carroll <jeremy@topquadrant.com> wrote: > > > One of the occasional defects of people in SW is a tendency to arm chair philosophizing. > > I will indulge. > > A book I've been reading this week, had the following, rather over-egged, paragraph: > > "By language, I mean the dance of signs, the continuous process of symbolic exchange between people, the humming communication network of which the human life world consists. I mean also to invoke the vast strange and multi-dimensional world of linguistic mean-ing -- and I am hyphenating mean-ing, like be-ing, because <em>mean-ing is a process too</em>. We need to make this point because for so long European intellectuals studied only dead languages -- Latin, Greek and Hebrew -- and failed to grasp the way the transactions of life are carried out and the life world is produced and formed by the <em>motion</em> of living language." [1] > > In terms of meaning on the web, I see that the web as a place where the life world is produced, by active extensions of our linguistic apparatus. I hence have an aversion to techniques and technologies that somehow pretend that meaning on the web, and in particular the semantic web, should or could be made static and somehow lifeless. So, I have difficulty seeing the meaning of any URI as univocal or fixed or even particularly well-defined. This leads to some hesitation concerning systems of definitions and axioms built on top of such univocity. > > I think this worry becomes more so as axioms and systems of axioms become more complicated. (I just about see similarities between OWL2 and the Shorter Latin Primer I had at high school). > > A term which is too tightly nailed down in its relationship to other terms has been dug into an early grave. Having fixed its meaning, as our world moves on, the term will become useless. > > The trick, in natural language, is that the meaning of terms is somewhat loose, and moves with the times, while still having some limits. > This looseness of definition gives rise to some misunderstandings (aka interoperability failures), but not too many, we hope. > > So I wonder, as some people try to describe some part of their world with great precision, using the latest and greatest formal techniques, just how long that way of describing the world will last. Maybe there is a role in such precision in allowing us to be clear about differences of opinion --- but it doesn't seem to me to be a good foundation for building knowledge. > > Perhaps fortunately, I am an engineer not a philosopher! > > Jeremy > > > [1] Don Cupitt, 2001, Emptiness and Brightness, p95 > > >
Received on Saturday, 7 February 2009 15:18:08 UTC