I would say ontology precedes language which precedes logic, but the
latter makes our understanding of the former two much more precise and
allows us to represent and know what we think we know. (01)
Also, by the way, discussion in its own right about these issues is not
necessarily what we intend in the ONTAC forum. Instead, we would like
to ACHIEVE. (02)
Perhaps a restatement of our goals is necessary now -- and
periodically, to keep achievement of goals foremost in our minds and
our discussions? (03)
Pat and founding members: care to restate the GOALS we want to ACHIEVE? (04)
Thanks,
Leo (05)
ps. Discussion of all the philosophical, linguistic, and logical issues
that surround our goals is very interesting, but we tend to get
side-tracked and the readership (and writership, if you will) is
getting educated in these issues, but progress is nearly non-existent.
If I'm not mistaken, this distribution list is intended to resolve and
get things done. Admittedly it is not yet like the disciplined effort
to achieve specific goals that other standards based (or occasionally
non-standards based) activities are, but perhaps it should be? (06)
_____________________________________________
Dr. Leo Obrst The MITRE Corporation, Information Semantics
lobrst@xxxxxxxxx Center for Innovative Computing & Informatics
Voice: 703-983-6770 7515 Colshire Drive, M/S H305
Fax: 703-983-1379 McLean, VA 22102-7508, USA (07)
-----Original Message-----
From: ontac-forum-bounces@xxxxxxxxxxxxxx
[mailto:ontac-forum-bounces@xxxxxxxxxxxxxx] On Behalf Of John F. Sowa
Sent: Saturday, May 27, 2006 4:11 PM
To: ONTAC-WG General Discussion
Cc: editor@xxxxxxxxxxxxxxxx; semantic-web@xxxxxx
Subject: Re: [ontac-forum] Semantics and Ontology and Semiotics (08)
Folks, (09)
All this discussion resembles the parable about seven blind
men examining an elephant. Each one examines one part in
detail -- the trunk, the tail, an ear, a side, a leg, the
underside, or the back -- and draws conclusions that are
diametrically opposed to any of the others. (010)
Language has even more sides than an elephant. When we're
doing math, science, or business, we do use the logical side.
But frequently in science and very frequently in business,
we are at a loss about the meaning of some observation or
puzzle, and we have to fall back on vague intuitions. (011)
The hardest part of science is *not* deduction from axioms,
but the *discovery* of axioms that are suitable for precise
deduction. If all we had was logic, we would never be able
to analyze and talk about the typically vague intuitions
that lead to some of the greatest discoveries. But if we
didn't have the ability to do logic, we could never explore
the consequences of those intuitions, and we'd be cheated
in business by any shyster who could. (012)
Following are a couple of quotations: (013)
"As far as the laws of mathematics refer to reality,
they are not certain; and as far as they are certain,
they do not refer to reality." Albert Einstein (014)
"If scientific reasoning were limited to the logical
processes of arithmetic, we should not get very far
in our understanding of the physical world. One might
as well attempt to grasp the game of poker entirely
by the use of the mathematics of probability."
Vannevar Bush (015)
We cannot understand language if we don't recognize that
logic is part of every natural language. But we cannot
use logic effectively unless we recognize that our precise
axioms were derived from some initially vague intuitions. (016)
John Sowa (017)
_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-forum/
To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config:
http://colab.cim3.net/mailman/listinfo/ontac-forum/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki:
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatin
gWG (018)
_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-forum/
To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config:
http://colab.cim3.net/mailman/listinfo/ontac-forum/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki:
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG (019)
|