[Top] [All Lists]

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

To: edbark@xxxxxxxx, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Ali Hashemi <ali.hashemi@xxxxxxxxxxx>
Date: Mon, 26 Jan 2009 14:54:56 -0500
Message-id: <5ab1dc970901261154o2cd5b6dcl369d1237bea75fc8@xxxxxxxxxxxxxx>
Just to clarify,

I was using logic as a catch-all to refer to reasoning systems (i think similar to the way Ed used it a few emails ago.)

However, in an off forum email, he pointed out:

Ed wrote:

Category theory is a "reasoning system" in the same sense that "real analysis" or "linear
algebra" or "graph theory" is a reasoning system. It is just that the objects it reasons
about are properties of systems.  It isn't reasoning about reasoning; it is reasoning
about the behaviors of the systems.

Which is where my initial query came from. I guess i'm more interested in what makes something seem sensible / reasonable to another agent, and it is in this context that I appeal to an underlying "logic."

Perhaps a moot point from using terms too vaguely.


On Mon, Jan 26, 2009 at 2:26 PM, Ed Barkmeyer <edbark@xxxxxxxx> wrote:
Ed Barkmeyer wrote:
> Matthew West wrote:
>> I was unaware that Category Theory was distinct from logic.

Actually, Ali Hashemi wrote that.  Sorry Matthew.  For the nth time,
I confused the quotes of quotes.


Edward J. Barkmeyer                        Email: edbark@xxxxxxxx
National Institute of Standards & Technology
Manufacturing Systems Integration Division
100 Bureau Drive, Stop 8263                Tel: +1 301-975-3528
Gaithersburg, MD 20899-8263                FAX: +1 301-975-4694

(•`'·.¸(`'·.¸(•)¸.·'´)¸.·'´•) .,.,

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    (01)

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