From jjllambias@hotmail.com Tue Aug 20 08:28:59 2002
Return-Path: <jjllambias@hotmail.com>
X-Sender: jjllambias@hotmail.com
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: mail-8_0_7_4); 20 Aug 2002 15:28:59 -0000
Received: (qmail 29845 invoked from network); 20 Aug 2002 15:28:58 -0000
Received: from unknown (66.218.66.216)
  by m3.grp.scd.yahoo.com with QMQP; 20 Aug 2002 15:28:58 -0000
Received: from unknown (HELO hotmail.com) (216.33.241.209)
  by mta1.grp.scd.yahoo.com with SMTP; 20 Aug 2002 15:28:58 -0000
Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC;
  Tue, 20 Aug 2002 08:28:58 -0700
Received: from 200.49.74.2 by lw8fd.law8.hotmail.msn.com with HTTP;
  Tue, 20 Aug 2002 15:28:58 GMT
To: lojban@yahoogroups.com
Bcc: 
Subject: Re: [lojban] Re: I like chocolate
Date: Tue, 20 Aug 2002 15:28:58 +0000
Mime-Version: 1.0
Content-Type: text/plain; format=flowed
Message-ID: <F209vLVKi3s1wsXZZTH00000589@hotmail.com>
X-OriginalArrivalTime: 20 Aug 2002 15:28:58.0443 (UTC) FILETIME=[4D8431B0:01C2485E]
From: "Jorge Llambias" <jjllambias@hotmail.com>
X-Originating-IP: [200.49.74.2]
X-Yahoo-Group-Post: member; u=6071566
X-Yahoo-Profile: jjllambias2000


la filip cusku di'e

>what does "intensional" mean?

It is easier to start with "extensional".

When you refer to a set extensionally, you examine
each of its members one by one in order to determine
whether or not they have a given property. For example,
if you say {lo broda cu brode} then the claim is that
when you examine brodas one by one, there will be at
least one for which the claim "it is broda" is true.
This is what quantifiers do, they "run over" the members
of a set one by one.

An intensional reference, on the other hand, does not
care about each member of the set. It only draws on
what it takes to be a member of the set. When you
say "I like chocolate", there is no quantity of
chocolate such that you are making a claim about it.

mu'o mi'e xorxes


_________________________________________________________________
Chat with friends online, try MSN Messenger: http://messenger.msn.com


