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

[Ali Hashemi <ali.hashemi@xxxxxxxxxxx>]

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.

//Ali

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.

-Ed

--
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

-- 
(•`'·.¸(`'·.¸(•)¸.·'´)¸.·'´•) .,., 
_________________________________________________________________
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)