From cowan@ccil.org Tue Sep 25 20:41:21 2001 Return-Path: X-Sender: cowan@mercury.ccil.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_3_2_2); 26 Sep 2001 03:41:21 -0000 Received: (qmail 14236 invoked from network); 26 Sep 2001 03:41:19 -0000 Received: from unknown (10.1.10.26) by l9.egroups.com with QMQP; 26 Sep 2001 03:41:19 -0000 Received: from unknown (HELO mercury.ccil.org) (192.190.237.102) by mta1 with SMTP; 26 Sep 2001 03:41:19 -0000 Received: from cowan by mercury.ccil.org with local (Exim 3.12 #1 (Debian)) id 15m5Zj-0007W2-00; Tue, 25 Sep 2001 23:41:31 -0400 Subject: Re: [lojban] Set of answers encore In-Reply-To: <1e.1bcbd312.28e250e2@aol.com> from "pycyn@aol.com" at "Sep 25, 2001 05:28:02 pm" To: pycyn@aol.com Date: Tue, 25 Sep 2001 23:41:30 -0400 (EDT) Cc: lojban@yahoogroups.com X-Mailer: ELM [version 2.4ME+ PL66 (25)] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Message-Id: X-eGroups-From: John Cowan From: John Cowan pycyn@aol.com scripsit: > Well, this is not a problem about indirect questions, since it does not seem > to arise for my theory, so I think I'll skip it, after asking "in what > language am I to render these?" since that seems a crucial question for how > to do it. Notice, by the way, that if John knows that Bill is not the king > of France, that is enough to guarantee that Bill is not the king of France. > So the issue is about belief only. But then I do not understand it, for > clearly, if John's belief that Bill is not the king of France is true, then > Bill is not the king of France. My turn to be missing something here. > Expatiate, please. I believe the distinction meant is between: 1) Among John's consciously held beliefs is "Bill is not king of France". 2) It is a consequence of John's beliefs that Bill is not king of France. This is the same distinction that makes one reading of "John knows that Tully is famous Roman orator" true and the other false, given that John knows that Cicero is a f.r.o, but not that Cicero = Tully. -- John Cowan http://www.ccil.org/~cowan cowan@ccil.org Please leave your values | Check your assumptions. In fact, at the front desk. | check your assumptions at the door. --sign in Paris hotel | --Miles Vorkosigan