To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | rrovetto@xxxxxxxxxxx |
Date: | Sat, 5 Jul 2014 08:51:43 -0400 |
Message-id: | <CADM4J9y9258YTuDr-dHRpgwwfN7jWniecqdsgLpZ32DC0R3zyQ@xxxxxxxxxxxxxx> |
In spite of natural language having quantifier words and syll & FOL based on that, as JS mentioned (if I understood correctly), and based on what's been said thus far, then it's possible to create non-FOL, non-syllogistic logics, correct? And are logics without quantifiers doable? _________________________________________________________________ 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, John F Sowa |
---|---|
Next by Date: | Re: [ontolog-forum] Patent application for using a formal ontology in NLP, Rich Cooper |
Previous by Thread: | Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, John F Sowa |
Next by Thread: | Re: [ontolog-forum] Types of Formal (logical) Definitions in ontology, John F Sowa |
Indexes: | [Date] [Thread] [Top] [All Lists] |