To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | William Frank <williamf.frank@xxxxxxxxx> |
Date: | Fri, 4 Jan 2013 10:38:40 -0500 |
Message-id: | <CALuUwtD+B5WQuBwFAtZM5q=ge3mH-N0MEaBewGSbPyc4p_hPNA@xxxxxxxxxxxxxx> |
On Fri, Jan 4, 2013 at 5:40 AM, Matthew West <dr.matthew.west@xxxxxxxxx> wrote: Dear John and William, Mathew, Thanks so much for your fullsome explanation. I spoke in ignorance of what you were doing here.
Related to what you say below, at least in the common western languages I know about, and their cocomitant patters of thought 1/ types of things (in a general, unmodelled sense, so not differentiated from classes, etc. etc. etc.) are a special case, treated different from n-nary relations, and it is even normal to reify n-nary relations and events into types of things. For example, marriage, giving, singing, hurricanes, battles, colds. 2/ these types are used as a foundation for most everything else: for example, "KIND of an X." 'Kind' without what the X is makes little sense. And to me, most importantly, the 'SAME X as'. (I believe that 'same' always carries an implicit same 'what?' ) In fact, I recall believingthat many-sorted logics were much closer models of thought in most languages, and even once wrote a paper modeling syllogisms with many sorted logics. So, as you suggest below, for teaching the basics, starting with types of things, and THEN explaining that they are unary relations, is a good idea. But, I am just not sure that the added complexity of a language in which unary predicates, representing unary relations, are a totally separate grammatical category from other predicates is worth the trouble. MW: The problem is that in ordinary English we often use words ambiguously.
-- William Frank 413/376-8167 _________________________________________________________________ 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) |
Previous by Date: | Re: [ontolog-forum] Simplifying the language and tools for teaching and using ontology, Matthew West |
---|---|
Next by Date: | Re: [ontolog-forum] Simplifying the language and tools for teaching and using ontology, sowa |
Previous by Thread: | Re: [ontolog-forum] Simplifying the language and tools for teaching and using ontology, Matthew West |
Next by Thread: | Re: [ontolog-forum] Simplifying the language and tools for teaching and using ontology, Matthew West |
Indexes: | [Date] [Thread] [Top] [All Lists] |