[Top] [All Lists]

Re: [ontolog-forum] Conjunction and Disjunction

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Rich Cooper" <rich@xxxxxxxxxxxxxxxxxxxxxx>
Date: Sat, 4 Jul 2009 12:34:05 -0700
Message-id: <20090704193441.C0200138CD2@xxxxxxxxxxxxxxxxx>

Rob wrote:




"Going to *the* bathroom" can also mean you went out back and fertilized the lemon tree.

(i.e., not only is "the" often used generically as "a", but also metaphorical).




Metaphor is too complex to deal with, IMHO, prior to the controlled language JS describes.  The problems of metaphor, at least as I see it, are distinct from the problems of linguistic mappings from reality to FOL.  Metaphor happens after that step, when you MUST use inference to reach assertions that cannot be directly read from the axioms. 





Rich Cooper


Rich AT EnglishLogicKernel DOT com

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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

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