To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | Alex Shkotin <alex.shkotin@xxxxxxxxx> |
Date: | Thu, 26 Jun 2014 12:29:33 +0400 |
Message-id: | <CAFxxRORZbw0v2sWSnQvRKVwHuAM8mxHYjgCR=85q3HOjL5ROiQ@xxxxxxxxxxxxxx> |
Robert, Q: @Alex: how would you call the non-fol def you originally mentioned (the VPC example)? A: Second Order logic. Q: @Alex: You said "there are a lot of work in science and technology using FOL++ &@. Where it does not matter how human being does thinking, but how things are." A: FOL++ &@ = mostly Second Order logic. And we use usually finit models to show how things are. And some math languages (first of all FOL) to request these models.
Alex 2014-06-26 0:48 GMT+04:00 <rrovetto@xxxxxxxxxxx>:
_________________________________________________________________ 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: | Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, Philip Jackson |
---|---|
Next by Date: | Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, Alex Shkotin |
Previous by Thread: | Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, Philip Jackson |
Next by Thread: | [ontolog-forum] FW: Reminder: ONTOLOG Going Forward: session this Thu 2014.06.26 with ONTOLOG Board of Trustees, Obrst, Leo J. |
Indexes: | [Date] [Thread] [Top] [All Lists] |