Comments below. (02)
> relationships (03)
So your ontology contains relationships. (04)
>(hence the logic they rely upon for their existence) (05)
And your ontology contains some logic.
And it also contains dependency relationships between the relationships and
their logic. (06)
Do the dependency relationships (as relationships) also have some "logic
they rely upon for their existence"?
And is there an infinite regression or does this stop somewhere? (07)
> exist irrespective of the formalism they are expressed with
> the formalism is merely a representation
> even natural language relies on logic for its structure (08)
The reason I ask is that I prefer an ontology where relationship only depend
upon what they relate - without any need for a logic.
I am not sure how much this is a question of taste and 'de gustibus non est
disputandum'. For me the simplicity of not needing the logic works. (09)
> On Fri, Jan 23, 2009 at 6:32 PM, Matthew West
> <dr.matthew.west@xxxxxxxxx> wrote:
> > Dear Paola,
> >> >I do not see how it gets you to saying ontology includes logic.
> >> It looks to me that logic is inherent, intrinsic to what there is,
> >> therefore to ontology, as a description of it. I am not sure
> >> 'includes' is the best way to say it, but surely, its part of the
> >> that builds the conceptual scaffolding
> > [MW] This would be true if logic was the only possible formalism that
> > ontology could be expressed in, but as I explained earlier it isn't.
> > least category theory is an alternative.
> >> If you take out the logic that makes up the relationships between
> >> the elements and components of an ontology, all we end up with is a
> >> pile of conceptual scrap
> > [MW] First, I don't think that is true, but if you take logic away
> you have
> > to consider what you are going to use to express what is commonly
> > in logic, but there are other options than logic.
> > Regards
> > Matthew West
> > Information Junction
> > Tel: +44 560 302 3685
> > Mobile: +44 750 3385279
> > matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
> > http://www.matthew-west.org.uk/
> > This email originates from Information Junction Ltd. Registered in
> > and Wales No. 6632177.
> > Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
> > Hertfordshire, SG6 3JE.
> > _________________________________________________________________
> > Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> > Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-
> > Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> > Shared Files: http://ontolog.cim3.net/file/
> > Community Wiki: http://ontolog.cim3.net/wiki/
> > To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> > To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
> Paola Di Maio
> i-Semantics 2009, 2 - 4 September 2009, Graz, Austria. www.i-
> SEMAPRO 2009, Malta
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (011)