Re: Quoting and unquoting variables in KIF
schubert@cs.rochester.edu
Date: Tue, 13 Apr 93 11:39:00 -0400
From: schubert@cs.rochester.edu
Message-id: <9304131539.AA06786@ash.cs.rochester.edu>
To: schubert@cs.rochester.edu, sowa@turing.pacss.binghamton.edu
Subject: Re: Quoting and unquoting variables in KIF
Cc: cg@cs.umn.edu, 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