|From:||David Whitten <whitten@xxxxxxxxxx>|
|Date:||Wed, 25 Jun 2014 17:22:00 -0400|
You included analogy reasoning twice. I didn't see you mention abductive reasoning.
Most people also specifically list deductive reasoning.
I notice you forgot that FOL also includes negation.
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.
A lot of people differentiate modal logic, situation logic
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
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]|