Re: Contexts and quantifiers in KIF

• Mail folder: Interlingua Mail
• Next message: sowa: "Re: Contexts and quantifiers in KIF"
• Previous message: sowa: "Re: Contexts and quantifiers in KIF"
• In-reply-to: sowa: "Re: Contexts and quantifiers in KIF"
• Reply: sowa: "Re: Contexts and quantifiers in KIF"

Date: Fri, 16 Apr 93 08:13:18 -0700
From: Jim Fulton <jfulton@atc.boeing.com>
Message-id: <9304161513.AA13149@atc.boeing.com>
To: cmenzel@kbssun1.tamu.edu, sowa@turing.pacss.binghamton.edu
Subject: Re: Contexts and quantifiers in KIF
Cc: cg@cs.umn.edu, cmenzel@tamu.edu, interlingua@ISI.EDU,
        jfulton@atc.boeing.com, srkb@ISI.EDU

Chris, 

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.

Jim