From @gate.demon.co.uk,@uga.cc.uga.edu:lojban@cuvmb.bitnet Fri Jun 09 22:04:51 1995 Received: from punt2.demon.co.uk by stryx.demon.co.uk with SMTP id AA3324 ; Fri, 09 Jun 95 22:04:49 BST Received: from punt2.demon.co.uk via puntmail for ia@stryx.demon.co.uk; Thu, 08 Jun 95 04:40:12 GMT Received: from gate.demon.co.uk by punt2.demon.co.uk id aa00529; 8 Jun 95 5:39 +0100 Received: from uga.cc.uga.edu by gate.demon.co.uk id ab25215; 7 Jun 95 20:44 GMT-60:00 Received: from UGA.CC.UGA.EDU by uga.cc.uga.edu (IBM VM SMTP V2R2) with BSMTP id 3454; Wed, 07 Jun 95 15:42:40 EDT Received: from UGA.CC.UGA.EDU (NJE origin LISTSERV@UGA) by UGA.CC.UGA.EDU (LMail V1.2a/1.8a) with BSMTP id 4843; Wed, 7 Jun 1995 13:59:30 -0400 Date: Wed, 7 Jun 1995 13:58:10 -0400 Reply-To: Logical Language Group Sender: Lojban list From: Logical Language Group Subject: example of si'o? X-To: lojban@cuvmb.cc.columbia.edu To: Iain Alexander Message-ID: <9506072044.ab25215@gate.demon.co.uk> Status: R I saw the following on sci.lang, and suspect that it may be a useful example of si'o, the concept abstract. jmc@cs.Stanford.EDU "John McCarthy" writes: > I am surmising that the argument about flouting Leibniz's law (things > with the same properties are the same) goes something like this. If > Pat knows Mike's telephone number, and Mary's telephone number is the > same as Mike's, then we get a contradiction if we think that the > knowledge predicate applies to the telephone number and add that Pat > doesn't know Mary's telephone number. There are lots of ways to > weaken the formalism so it doesn't lead to contradiction. The one in > my 1979 paper "First Order Theories of Iondividual Concepts and > Propositions", reprinted in my 1990 book _Formalizing Common Sense_ > goes as follows. > > Use different terms for telephone numbers and concepts of telephone > numbers. Mike's telephone number can be the same as Mary's without > the concept of Mike's telephone number being the same as the concept > of Mary's telephone number. We make knowledge applicable to concepts. lojbab