From a.rosta@dtn.ntl.com Fri Oct 05 17:40:53 2001 Return-Path: X-Sender: a.rosta@dtn.ntl.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_4_1); 6 Oct 2001 00:38:36 -0000 Received: (qmail 97494 invoked from network); 6 Oct 2001 00:38:36 -0000 Received: from unknown (10.1.10.142) by 10.1.1.224 with QMQP; 6 Oct 2001 00:38:36 -0000 Received: from unknown (HELO mta07-svc.ntlworld.com) (62.253.162.47) by mta3 with SMTP; 6 Oct 2001 00:40:52 -0000 Received: from andrew ([62.253.88.29]) by mta07-svc.ntlworld.com (InterMail vM.4.01.03.00 201-229-121) with SMTP id <20011006004049.FTGT710.mta07-svc.ntlworld.com@andrew> for ; Sat, 6 Oct 2001 01:40:49 +0100 Reply-To: To: Subject: RE: [lojban] Set of answers encore Date: Sat, 6 Oct 2001 01:39:50 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0) Importance: Normal In-Reply-To: <117.5954490.28ecb3c6@aol.com> X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200 From: "And Rosta" X-Yahoo-Message-Num: 11378 pc: > arosta@uclan.ac.uk writes: > I presume then that you no longer consider > > John believes p such that p is true just in case Tully is a great > roman orator > > to be unproblematic. > > I'd go so far as to say I think it is just flat hopelessly wrong. As > noted, under really minimal real-world conditions it is always true. I still feel that there has to be a solution -- there has to be a way to talk about beliefs extensionally, because often we have no access to others' intensional beliefs and wish to make claims only about extensional beliefs. For example, one might want to say "John believes FDR was a great president" such that it is true even if John believes FDR to have been the leader and head of state but doesn't specifically believe him to have been president. If one actually knew that John didn't know FDR was specifically a president, then one could rephrase, but I'm talking about a way to make a true claim about John's beliefs without having to worry about every detail of how the beliefs are described. In an earlier message you wrote: > The reason for this rule is that, without it, you get absurdities like moving > from "Jim believes that 2+2 =4," to "Jim believes that Casaubon showed the > Smargdarine Tables were a third century pseudograph" on the grounds that > they are both true. > This is an extreme case to make a point. People do this sort of thing all > the time, with disastrous results. That is why the rule is needed. We want to be able to avoid these absurdities while still being able to say "John believes p, and the truth-conditions of p are q". > What sort of remedies can you see? My instinct would be to go for > possible worlds (x is a world of which p is true iff x is a world of > which y is true?), but you're an old hand at this stuff, so I'll > wait on your suggest > > Alas, all the possible world notions are themselves intensional (they > are *possible* worlds after all), so this doesn't help with an > extensional reading. I am inclined at the moment to go with > questions as a primitive notion and take two things that successfully > answer (are true members of) the same question as being > intersubstitutable. But even as I say this I start seeing problems, > so I am gong to pass for this round. Taking questions as a primitive notion is progress of a sort. I'll leave discussion of that to another message. --And.