ontolog-forum
[Top] [All Lists]

## Re: [ontolog-forum] CL and Butterings

 To: "[ontolog-forum] " Pat Hayes Tue, 18 Mar 2008 11:38:25 -0500
 ```At 11:24 AM -0500 3/18/08, Chris Menzel wrote: >On Tue, 18 Mar 2008, Pat Hayes wrote: >>> (1') (Ex)(Event(e) & Buttering(e) & Agent(e,j)) >>> >>> and >>> >>> (2') (Ex)(Event(e) & Buttering(e) & Agent(e,j) & Slow(e)) >>> >>> respectively, it is obvious that (1') now follows from (2') by simple >>> predicate logic. >> >> I expect you mean to bind e rather than x > >Of course. > >> You might have pointed out that Common Logic already allows the >> "Harman" constructions without extending the language. This is legal >> CLIF: >> >> (forall ((S HarmanOperator) P x)(if ((S P) x) (P x))) > >Indeed it is! I missed a good "teaching moment" there. :-) > >> However, for all that, I prefer the Davidson way of writing things: >> >> (forall ((S HarmanOperator) P x)(if >> ((S P) x) >> (exists ((e Event))(and (P e)((Davidize S) e) (agent e x) )) >> )) > >I expect that should be the "Davidsonize" operator. :-) Seems to me, >though, that "P" is being used ambiguously here. When I butter the >toast, it seems reasonable to say that there is both a buttering >relation between me and the toast as well as an event that is a >buttering. If so, we don't want a single predicate indicating the >buttering relation and the buttering-event property, but rather two >predicates that are systematically correlated with one another.    (01) I guess. Sigh. Im always trying to reduce concept-inflation, however. It gets to be impossible to remember which is which if we have to have too many butterings. If they naturally had different numbers of arguments, then we can conflate them into one multirelation, but in this case they are both unary. Also the natural 'thing' that is involved with the event seems to vary from verb to verb. The toast (object) is buttered, but its the dancer (subject) who dances. Sigh.    (02) Pat    (03) >-chris > > >_________________________________________________________________ >Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  >Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx >    (04) -- --------------------------------------------------------------------- IHMC (850)434 8903 or (650)494 3973 home 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32502 (850)291 0667 cell http://www.ihmc.us/users/phayes phayesAT-SIGNihmc.us http://www.flickr.com/pathayes/collections    (05) _________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (06) ```
 Current Thread Re: [ontolog-forum] Adverbs (was Anthropology of Colour), (continued) Re: [ontolog-forum] Adverbs (was Anthropology of Colour), Michael Gruninger Re: [ontolog-forum] Adverbs (was Anthropology of Colour), Pat Hayes Re: [ontolog-forum] Adverbs (was Anthropology of Colour), Pat Hayes Re: [ontolog-forum] Adverbs (was Anthropology of Colour), Ed Barkmeyer Re: [ontolog-forum] Adverbs (was Anthropology of Colour), Christopher Spottiswoode Re: [ontolog-forum] Anthropology of Colour, Christopher Menzel Re: [ontolog-forum] Anthropology of Colour, Jerry Hobbs Re: [ontolog-forum] Anthropology of Colour, Michael Gruninger Re: [ontolog-forum] Anthropology of Colour, Pat Hayes [ontolog-forum] CL and Butterings, Chris Menzel Re: [ontolog-forum] CL and Butterings, Pat Hayes <=