Re: Quoting and unquoting variables in KIF
Date: Tue, 13 Apr 93 11:39:00 -0400
Message-id: <>
Subject: Re:  Quoting and unquoting variables in KIF
Cc:, interlingua@ISI.EDU
> ... those 4 or 5 conditions that I stated in my last note.  But at 
> least they are a step in the right direction:  they don't cause all 
> tautologies and mathematical theorems to collapse into the constant T ..

Well, of course there've been other proposals, including ones framed
within possible worlds semantics, for avoiding this collapse (and also
avoiding collapse of (premises & conclusion) into (premises) -- the
example I gave). However, I'm inclined to agree that some proof-theoretic
or computational notion is needed to do full justice to our intuitions.
There've been moves in that direction as well, e.g., by Konolige. -Len