Folks, (01)
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. (02)
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. (03)
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. (04)
Following are a couple of quotations: (05)
"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 (06)
"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 (07)
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. (08)
John Sowa (09)
_________________________________________________________________
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 (010)
|