Sender: cowan@mail.reutershealth.com
Message-ID: <38BFFB83.40B4C399@reutershealth.com>
Organization: Reuters Health Information
To: "lojban@onelist.com" <lojban@onelist.com>
References: <95212582601@out.newmail.net>
MIME-Version: 1.0
Mailing-List: list lojban@onelist.com; contact lojban-owner@onelist.com
Precedence: bulk
Date: Fri, 03 Mar 2000 12:50:59 -0500
From: John Cowan <jcowan@reutershealth.com>
Subject: Re: [lojban] Use and abuse of sets
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 8bit
Content-Length: 1386
Lines: 32

From: John Cowan <jcowan@reutershealth.com>

Adam Raizen wrote:

> > "klesi" is the gismu for "set", because classes and sets are the same
> > concept, except for certain exceptions among the transfinite classes.
> 
> Not that I know much about set theory, but wouldn't the place
> structure of the bridi for "mathematical set" have to be close to "x1
> is the set with members x2 (complete specification)".

Predicates can't compel their arguments to be a complete specification,
unless the argument is (you guessed it!) a set.  That would be awfully
close to circularity for "klesi".  Therefore, klesi are defined in terms of the
superset x2 and a membership property x3, the "such that" which in
Lojban is "lo ka".

-- 

Schlingt dreifach einen Kreis vom dies! || John Cowan <jcowan@reutershealth.com>
Schliesst euer Aug vor heiliger Schau,  || http://www.reutershealth.com
Denn er genoss vom Honig-Tau,           || http://www.ccil.org/~cowan
Und trank die Milch vom Paradies.            -- Coleridge (tr. Politzer)

------------------------------------------------------------------------
GET A NEXTCARD VISA, in 30 seconds!  Get rates 
as low as 0.0% Intro APR and no hidden fees.
Apply NOW!
http://click.egroups.com/1/975/1/_/17627/_/952105867/
------------------------------------------------------------------------

To unsubscribe, send mail to lojban-unsubscribe@onelist.com