From ia@xxxxx.xxxxx.xx.xxx Wed Dec 1 15:20:04 1999
X-Digest-Num: 299
Message-ID: <44114.299.1625.959273825@eGroups.com>
Date: Wed, 1 Dec 1999 23:20:04 -0000
From: "Iain Alexander" <ia@xxxxx.xxxxx.xx.xxx
Subject: RE: "What I have for dinner depends on what there is in the fridge"

On 30 Nov 99, at 7:03, Jorge Llambias wrote:

> But we
> haven't as yet been able to explicitly determine the logic
> behind {kau}, even though the subject came up several times
> before.

I may well have suggested something like this before, but I think the logic 
behind {kau} is that

E(x kau)

means

lambda x: E(x)

i.e. the function which assigns truth values to the expression E(...) given any 
value of the {kau}-tagged variable x.

This implies you know the whole story - who came and who didn't come 
(given the long-ago-snipped example).

It's a rather abstract view of the situation, but it works for me. :-)

co'o mi'e .i,n.

-- 
Iain Alexander PGP 1024-bit key id B501A0AD
ia@stryx.demon.co.uk I.Alexander@bra0105.wins.icl.co.uk