[Top] [All Lists]

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

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Duane Nickull <dnickull@xxxxxxxxx>
Date: Thu, 4 Feb 2010 16:03:38 -0800
Message-id: <C790A05A.AF5E%dnickull@xxxxxxxxx>

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


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

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>