Re: Contexts and quantifiers in KIFJim Fulton <firstname.lastname@example.org>
Date: Fri, 16 Apr 93 08:13:18 -0700
From: Jim Fulton <email@example.com>
To: firstname.lastname@example.org, email@example.com
Subject: Re: Contexts and quantifiers in KIF
Cc: firstname.lastname@example.org, email@example.com, interlingua@ISI.EDU,
Thanks for putting some detail behind my intuitions. I think you and I
are in close harmony. The interpretation I want to give to modal statements
is suggested by the operator
it is possible for there to be a world such that ...
which is subtly different from
there is a possible world such that ....
Furthermore, as you rightly notice, I do believe that there are sentences
that are true today in this real world that are built from that operator
(indeed, from several different flavors of that operator) in which the
that-clause will never have been true.