From a.rosta@xxxxx.xxxx Sun Nov 28 11:54:39 1999
X-Digest-Num: 296
Message-ID: <44114.296.1606.959273825@eGroups.com>
Date: Sun, 28 Nov 1999 19:54:39 -0000
From: "And Rosta" <a.rosta@xxxxx.xxxx
Subject: RE: "What I have for dinner depends on what there is in the fridge"

> From: John Cowan <cowan@locke.ccil.org>
> 
> 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.

That doesn't seem to render the meaning of the sentence in question.
For example, if something I have for dinner tastes like something
in the fridge, then your sentence is true, but it is not sufficient
to make my sentence true.

Try again. In the meantime I will too, but I keep on getting 
interrupted or distracted before I can think my way all the way
to a solution.

--And.