From jcowan@reutershealth.com Tue Aug 21 08:59:19 2001 Return-Path: X-Sender: jcowan@reutershealth.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_3_1); 21 Aug 2001 15:59:19 -0000 Received: (qmail 73504 invoked from network); 21 Aug 2001 15:54:08 -0000 Received: from unknown (10.1.10.27) by l10.egroups.com with QMQP; 21 Aug 2001 15:54:08 -0000 Received: from unknown (HELO mail.reutershealth.com) (204.243.9.36) by mta2 with SMTP; 21 Aug 2001 15:54:08 -0000 Received: from reutershealth.com (IDENT:cowan@[192.168.3.11]) by mail.reutershealth.com (Pro-8.9.3/Pro-8.9.3) with ESMTP id LAA05834; Tue, 21 Aug 2001 11:55:57 -0400 (EDT) Message-ID: <3B8283EE.5060506@reutershealth.com> Date: Tue, 21 Aug 2001 11:53:18 -0400 User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:0.9.3) Gecko/20010801 X-Accept-Language: en-us MIME-Version: 1.0 To: And Rosta Cc: lojban , nicholas Subject: Re: [lojban] Retraction, Part 1 References: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit From: John Cowan X-Yahoo-Message-Num: 9857 And Rosta wrote: > I must admit I haven't come across an exposition of the iota operator > such that I have understood exactly what it is. It is +veridical -definite -specific +singular: \iota x p(x) = "the one x such that p(x) is true (or nothing if there is no such x)". Russell's example: \iota x (x wrote _Waverly_) means "the (unique) author of _Waverly_" and refers to Walter Scott. Typographical note: the iota is rotated 180 degrees. -- Not to perambulate || John Cowan the corridors || http://www.reutershealth.com during the hours of repose || http://www.ccil.org/~cowan in the boots of ascension. \\ Sign in Austrian ski-resort hotel