To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | David Whitten <whitten@xxxxxxxxxx> |
Date: | Wed, 25 Jun 2014 17:22:00 -0400 |
Message-id: | <CAH8N84wLmR7ZT1oYx9bRNm+_kuTjrbmwV1y0Jt0TKdWoB9SN8g@xxxxxxxxxxxxxx> |
Robert, You included analogy reasoning twice. I didn't see you mention abductive reasoning.
Most people also specifically list deductive reasoning. FOL and Common Logic (a superset of FOL) both have quantifiers ForAll and ThereExists
over its Universe of Discourse. FOL does NOT include relations & functions in its Universe of Discourse, Common Logic does.
and temporal logic. The basic unary (1-place) modal operators are commonly written □ (square box) for Necessarily and ◇ (diamond) for Possibly and ~ (tilde) for negation. I haven't seen any specific notation for situation logic or temporal logic. It may exist, but I haven't seen it commonly used. David Whitten 713-870-3834 On Wed, Jun 25, 2014 at 4:48 PM, <rrovetto@xxxxxxxxxxx> wrote:
_________________________________________________________________ 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 (01) |
<Prev in Thread] | Current Thread | [Next in Thread> |
---|---|---|
|
Previous by Date: | [ontolog-forum] FW: Reminder: ONTOLOG Going Forward: session this Thu 2014.06.26 with ONTOLOG Board of Trustees, Obrst, Leo J. |
---|---|
Next by Date: | Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, rrovetto |
Previous by Thread: | Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, rrovetto |
Next by Thread: | Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, rrovetto |
Indexes: | [Date] [Thread] [Top] [All Lists] |