ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] The Relation Between Logic and Ontology inMetaphysic

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: paola.dimaio@xxxxxxxxx
Date: Sat, 17 Mar 2007 10:32:48 +0700
Message-id: <c09b00eb0703162032w1c9c1c61nb297789c5eaf89c5@xxxxxxxxxxxxxx>
Hi Chris and all    (01)

This thread is starting to become very alienating to all those who
really are not interested in this discussion, and find it a self
gratification exercise, however (unlike others on this list) I respect
the fact that people should be allowed to discuss the perspective that
most interest s them, even if this will only be intellegible by a
small number of people.    (02)

(gorgonzola anyone?)    (03)

Maybe we should start a SIG    (04)

Coming from a linguistic and software engineering background, I feel
'offended' from your claim below (not too seriousuly offended, but
hurt)    (05)

I came across  Tom Gruber's and John Sowa's works a few years back as
I was developing
conceptual frameworks for the systems I worked on. I was workin on the
internet and associated technologies, and became more and more aware
of the importance
of computational semantics and related technologies to be built into systems    (06)

Then I specialised in CMS technology and started studying the new
layers of semantic management that were  built in, then with content
structures, then knowledge architectures.    (07)

My specialisation is to create semantic structures and information
systems that hold water    (08)

I consider myself highly compentent, and I assure you that your degree
in mathematical logic would not help you to do my job, nor many other
jobs associated with ontology engineering from a 'business' viewpoint.    (09)

I may not be able to contribute intelligently to this thread because
it is beyond my competence, but believe me, I would not hire any of
you guys to work on a project
cause it will never get anywhere    (010)

 :-),    (011)

To make systems work, we have to make conceptual compromises all the time
(something that none of you here seems interested in - which is your
prerogative btw)    (012)

 I build controlled vocabularies, work with developers to have them
impemented,  make sure that ontology layer is  not overlooked at
project mangement level, and I dont' see your (albeing interesting)
discussion  can help me, and people like me    (013)

There is nothing in this thread that can help me there,  but I still
read the posts as I can learn new things (not a mathematician, but
interested in scientific enquiry)    (014)

Reality can be navigated and understood in many ways, your preferred way is
maths and logic, which is great.
 But I assure you that knowledge and reality extend beyond what can be
represented by mathematical logic    (015)

 Semantic technologies work with words, science and philosophy are to
some extent intertwined, as discussed recently.    (016)

You dont have to agree , I am not sure whether finding consensus on
such big issues should be our goal. Its easier to attempt to reach
consensus on 'operational' goals    (017)

I dont want to end up saying 'some guys on this list are  total idiots'
I prefer to say, these guys have a totally different viewpoint from mine.    (018)


Language and grammar are more relevant to ontology than mathematical logic
 the good news is you dont have to agree with what I say, cause you
decide where your reality begins and where it ends (and so do I)    (019)

I do not want to argue with you, or any other mathematicians on this
list that maths is just a way of understanding the world, and that
there are many other ways (because if you really think that, this is
really is a misery)    (020)

To take the semantic and ontological discourse entirely into a narrow
field' that only you and your peers can engage with, is extremely
unfair to the rest of the world, and only interesting to a small group
of people.    (021)

I intend to study more maths, algebra and logic when I have time,
cause I do think they are the most appropriate  abstraction and
representation methods  of certain logical inferences, but these days
I am interested in non mathematical representation of ontologies cause
 from my viewpoint semantic relationships can only be partly modelled
by mathematical logic    (022)

I consider the attempt to rescrict ontology discourse to a pure
mathematical  exercise unacceptable by all accounts.    (023)

Peter:  I think we should start a polling tool and some user profiling
for this group
so we can determine whether this list is just for mathematicians to
impose their view of the world onto others, or else indeed for people
with different backgrounds and levels of interests in  new
technologies    (024)

If it turns out the latter, then offensive' statements like the one
below (and like the gorzonzola one earlier)  and any attempt to
restrict the discourse to a single, partial point of view should be
moderated rigorously in the future    (025)

Best    (026)

Paola Di Maio    (027)


On 3/17/07, Christopher Menzel <cmenzel@xxxxxxxx> wrote:
> > What might be nice (but possibly impossible) is to agree on some
> > frame of
> > reference or common definitions of the terms used in this thread
> > and others.
> > Without such, I fear this community will be doomed to argue the
> > very basic
> > tenets of ontology without arriving at consensus.
>
> I whole-heartedly agree.  The thing is, the frame of reference in
> which those terms are defined is settled and fixed, namely,
> mathematical logic.  There should be no issue of their meanings in a
> mature community devoted to ontological engineering.  Knowledge of
> basic mathematical logic -- minimally: formal languages, model
> theory, proof theory -- is as fundamental to ontological engineering
> as the calculus is to electrical engineering, and no one can be
> considered a serious practitioner of the discipline without it.
>
> Chris Menzel
>
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
>    (028)


-- 
--------------------------------------------
Paola Di Maio
School of IT, MFU.ac.th
--------------------------------------------    (029)

"For as long as space and time endures
may I too abide to dispel misery and ignorance"    (030)

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (031)

<Prev in Thread] Current Thread [Next in Thread>