[Top] [All Lists]

Re: [ontolog-forum] Ontological Means for Systems Engineering

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Mon, 26 Jan 2009 11:54:19 -0600
Message-id: <7A0D48FF-57BD-4282-BE5D-73D5AB316259@xxxxxxx>

On Jan 26, 2009, at 9:55 AM, Schiffel, Jeffrey A wrote:

On Jan 23, 2009, at 2:25 PM, Schiffel, Jeffrey A wrote:

...  A system is smaller than the world. A system of systems is
still very small
compared to the world. They each have a known number of interacting
parts. But
the nature of the interactions is perhaps limits how ontologies in
the usual
sense can be used. The limitation is that ontologies are based in

???  No they aren't. Where did you get this odd notion from?


By which I mean such as set theory, algebra, combinatorics, logic, etc.

OK. But set theory is not particularly discrete. Sets are the basis for all mathematics, including continuous mathematics. Similarly, logic is not particularly concerned with discrete structures: one can use logics to describe the continuum. (There is a technical issue in that purely first-order logic cannot completely characterize the finite/infinite distinction and hence cannot fully describe continuity; but then pure FOL cannot fully characterize finitude, either.) 

On the other hand, ontologies don't seem to have any obvious connection with combinatorics or algebra. 


IHMC                                     (850)434 8903 or (650)494 3973   
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes

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>