ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Anthropology of Colour

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Mon, 17 Mar 2008 21:50:09 -0500
Message-id: <47DF2DE1.6080003@xxxxxxxx>
Christopher Menzel wrote:
> ...
> (1) John buttered the toast
> ...
> (2) John buttered the toast slowly
>
> ...if [a la Davidson] we represent the logical form of (1) and (2) as
>
> (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.    (01)

I left the toast out of those Davidsonian representations, but the
general point is of course unchanged.    (02)

For the record, a better representation might have been simply:    (03)

(1'')  (Ex)(Event(e) & Buttering(e,j,t))    (04)

where, intuitively, "Buttering(e,j,t)" expresses "e is a buttering of t
by j".    (05)

-chris    (06)


_________________________________________________________________
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    (07)

<Prev in Thread] Current Thread [Next in Thread>