|Date:||Tue, 24 Jun 2014 05:25:29 +0200|
Thank you all for the feedback thus far. A couple of quick follows-ups:
@Alex Shkotin: question 3 is asking what the pro's and con's are of each non-FOL/non-syllogistic-based logic for ontology in addition to FOL-based logics.
- what do you mean by "closed-form definitions"?
- I'm not sure I agree about this, and so I understand Edward Barkmeyer's reservations as well, but perhaps i'm not getting the gist of the whole context you have in mind:
"Any term, such as 'primitive concept' or 'description' that is not specified in terms of logic does not belong in a standard-- except as an informal (non-normative) comment."
To add context to my original question: I'd basically like to know what non-FOL/non-syllogism logical formalisms are there for ontologies?
This question assumes that FOL is based on Aristotelean syllogistic logic. Based on my studies in philosophy FOL is essentially presented as a modern form or translation of it.
Now, my concern with this is that since syllogistic logic is not how the mind reasons, and is also very limited (in terms of producing truthful results/consequences, and expressivity, if not other things), why isn't a non-syllogistic-based logic used for ontologies? Why is FOL used?
If anyone can answer, or address this, I eagerly await your thoughts. Thanks.
Aside from that, please continue mentioning any other logics that are used.
On Tue, Jun 24, 2014 at 4:06 AM, Rich Cooper <rich@xxxxxxxxxxxxxxxxxxxxxx> wrote:
By the same logic, a concept can be the product of
_________________________________________________________________ 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, Rich Cooper|
|Next by Date:||Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, John F Sowa|
|Previous by Thread:||Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, Rich Cooper|
|Next by Thread:||Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, Alex Shkotin|
|Indexes:||[Date] [Thread] [Top] [All Lists]|