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)
|