ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Next steps in using ontologies as standards

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Matthew West <dr.matthew.west@xxxxxxxxx>
Date: Fri, 23 Jan 2009 11:32:53 -0000
Message-id: <4979aaf8.29a1260a.4e94.02a7@xxxxxxxxxxxxx>
Dear Paola,    (01)

> >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 glue
> that builds the conceptual scaffolding    (02)

[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. At
least category theory is an alternative.
> 
> If you take out the logic that makes up the relationships between all
> the elements and components of an ontology, all we end up with is a
> pile of conceptual scrap    (03)

[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 expressed
in logic, but there are other options than logic.    (04)

Regards    (05)

Matthew West                            
Information  Junction
Tel: +44 560 302 3685
Mobile: +44 750 3385279
matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
http://www.matthew-west.org.uk/    (06)

This email originates from Information Junction Ltd. Registered in England
and Wales No. 6632177.
Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
Hertfordshire, SG6 3JE.    (07)





_________________________________________________________________
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    (08)

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