Re: Quoting and unquoting variables in KIFschubert@cs.rochester.edu
Date: Tue, 13 Apr 93 11:39:00 -0400
To: firstname.lastname@example.org, email@example.com
Subject: Re: Quoting and unquoting variables in KIF
Cc: firstname.lastname@example.org, 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