Re: [ontolog-forum] Foundation ontology, CYC, and Mapping

[Pavithra <pavithra_kenjige@xxxxxxxxx>]

Duane,

The fourth one that was addressed by Pierce was pragmatism?

http://plato.stanford.edu/entries/peirce/

My point is:  People who study math and sciences and system's engineering, do not spend a lot of time in  linguistic area.    Yet they can have  good aptitude for Ontology!
In USA there is GRE or GMAT exams that just covers collage level language construction ability.

Regards,
Pavithra Kenjige


--- On Thu, 2/4/10, Duane Nickull <dnickull@xxxxxxxxx> wrote:

From: Duane Nickull <dnickull@xxxxxxxxx>
Subject: Re: [ontolog-forum] Foundation ontology, CYC, and Mapping
To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Date: Thursday, February 4, 2010, 7:03 PM

Pavitha:

On 2/4/10 3:46 PM, "Pavithra" <pavithra_kenjige@xxxxxxxxx> wrote:

Dr. Sowa,
 
-   An Elephant is an animal
-  Clyde is an elephant

• Therefore Clyde is an animal
• 
  

This is simple deduction example.  If you make a truth table and the first two are true, certainly the third statement must be true.
There is also Induction and Abduction to consider.

Induction example:

• Clyde, Tom and Harry are elephants
• Clyde, Tom and Harry are animals
• THEREFORE every bird flies.  This is of course not true and is the observation of a limited subset of instances.
  

Abduction Example (a wild stab at some hypothesis to validate an observation):

• every elephant is an animal
• Clyde is an animal
• THEREFORE” Clyde is an elephant.  Again, this is not true.
  

I think someone on the list also referred to a fourth sort of logic which mixed these (was it a quote form Pierce???)

Duane

---
Adobe LiveCycle Enterprise Architecture - http://www.adobe.com/products/livecycle/
My TV Show - http://tv.adobe.com/show/duanes-world/
My Blog – http://technoracle.blogspot.com/
My Band – http://22ndcenturyofficial.com/
Twitter – http://twitter.com/duanechaos

-----Inline Attachment Follows-----

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