X-Digest-Num: 295
Message-ID: <44114.295.1603.959273825@eGroups.com>
Date: Sat, 27 Nov 1999 22:20:27 -0500 (EST)
From: John Cowan <cowan@ccil.org>
Subject: Re: "What I have for dinner depends on what there is in the fridge"
X-Yahoo-Message-Num: 1603
Content-Length: 715
Lines: 28

And Rosta scripsit:
> 
> From: "And Rosta" <a.rosta@pmail.net>
> 
> Can anyone render this into either logical form using
> only standard quantifiers (but quantification over possible
> worlds is permissible) or lojban without using {kau}?
> 
>   What I have for dinner depends on what there is in the fridge.

I think that 2nd-order logic does the trick:

	Ef: Ex: Ey: fxy & I have x for dinner & y is in the fridge

Or in words:

	There is a relation between something and something else, such
	that the former is what I have for dinner and the latter is
	what is in the fridge.


-- 
John Cowan                                   cowan@ccil.org
       I am a member of a civilization. --David Brin