SUO: Re: Comment On Procedure
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Graham,
I was in the middle of replying to one of your other notes
when this one came in, so I will "fuse" my responses below.
---------------------------------------------------
Graham Horn wrote:
>
> Jon,
>
> . Something between two extremes is occurring.
>
> * Either those of us continuing in this direction
> are blind to the problems you are foreseeing;
Different people have different experiences;
they learn different lessons from their experiences;
they get sensitive to different dangers from these lessons.
Perhaps a little bit of personal history will serve as an
explanation of "where I am coming from", as we used to say.
I am a true believer in the use of Logic -- that in itself
is no big deal, as I have been a true believer in just about
anything at one time or another -- but this is a mind-set that
has persisted for about as long as I can remember. I do not say
"Logic is F0L, and F0L is Logic, and that is all ye need to know",
because I do not think that we can avoid the need to quantify over
pre-designated sets of predicates, still, it's been so long since
I contemplated using the word "All" to range over anything other
than a "previously established harmonium of well-tempered tunes",
if you catch my riff, that it was only recently in this forum
that I had to be reminded that people might still interpret
me otherwise if I was not fastidious about qualifying it.
Being by nature a pragmatic thinker, I do at at least try to practice
all of the stuff that I prattle on about, and so, having attained the
age of at least a modicum of reason, that is, when I first set out on
my graduate studies in Mathematics, and again, when I took what I wit
that I had wot from these motley crews and tried to barter it for the
wages of it on the wine-dark seashores of AI, and CompSci, and verily
deep into the dark interior of that (not so) brave (not so) new world
of Psychology, well, even there, I remained the true defender of this,
my native, my all too naive faith in logic.
So what? So what happened was this.
> * Or we can see ways through the maze, over the
> hurdles, and of coping with the unforseen challenges;
I found myself in the middle of so many mazes and so many mires, out of which
moribund mess of morasses, whether they bound me as bewildering metaphormazes
or whether they struck me as fascinating meta-moirés, I could not see any way
to continue the metamorphosis of myself into myself that I call a way of life.
So, this time around, I made a concerted effort to get over
my childhood (disastrous) experiences with computers, and I
took another turn at the wheels of these machines to see if
they could help me build up the steam of consciousness that
it takes to extract myself from the matrices of mathematics.
Well, there are many episodes yet remaining for this harrowing tale --
I have only taken you as far as where I was living twenty years ago --
but let me sum up, for this interval, by saying that I have come by
my impression honestly, as everybody does, of course, of due course,
and just about everything that I have learned I have learned in the
hardest way possible -- I have always been rather dense in that way --
which is to say, by happening initially to think the exact opposite
of that which one is eventually forced, by dint of utter failure in
the chasing of one's initial tale, to come to entertain as the next
belief on the tree of hypotheses. In short, I have already paid my
dues to all of the cliches that I hear echoed here, and I have paid
them all of the heed that I ever will. There is a world elsewhere.
Have to take a break now,
Will finish up later on,
Jon Awbrey
---------------------------------------------------
> * Or possibly a mixture.
>
> . We will use our knowledge, experience and human
> ingenuity to attempt with the problems as best we can.
>
> . We won't ignore any pertinent contributions you make,
> especially when they are in plain enough language for us
> to capture their meanings.
>
> Cheers Graham Horn
---------------------------------------------------
Graham Horn wrote:
>
> John and Ian,
>
> . I strongly support Ian's approach. I believe it reflects
> what happened in the development, and subsequent formalisation,
> of traditional language vocabulary and grammar structures over
> thousands of years. I suggest it is thereby demonstrably practical.
>
> . In addition, I would suggest that an important benefit we get
> in his approach is that, in solving problems and inconsistencies
> that arise in our project, we can draw on those millennia of
> experience of developing traditional language structures.
>
> . I am particularly taken by the force of Ian's statement that:
> "... the top-down approach to ontology design, has been tried,
> and, as you know, it comprises the metaphysical component of
> the 2,500 year history of western philosophy. Unfortunately,
> this approach has not netted us any real conclusions. It has
> given us a nice KR language, the first-order predicate calculus,
> but it has not yielded any content which a majority of philosophers
> could agree on."
>
> Cheers Graham Horn
---------------------------------------------------
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤