From jjllambias@hotmail.com Mon Mar 11 12:56:52 2002 Return-Path: X-Sender: jjllambias@hotmail.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: unknown); 11 Mar 2002 20:56:52 -0000 Received: (qmail 27431 invoked from network); 11 Mar 2002 19:58:47 -0000 Received: from unknown (216.115.97.167) by m6.grp.snv.yahoo.com with QMQP; 11 Mar 2002 19:58:47 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.144) by mta1.grp.snv.yahoo.com with SMTP; 11 Mar 2002 19:58:47 -0000 Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Mon, 11 Mar 2002 11:58:47 -0800 Received: from 200.49.74.2 by lw8fd.law8.hotmail.msn.com with HTTP; Mon, 11 Mar 2002 19:58:46 GMT To: lojban@yahoogroups.com Bcc: Subject: inner quantifiers Date: Mon, 11 Mar 2002 19:58:46 Mime-Version: 1.0 Content-Type: text/plain; format=flowed Message-ID: X-OriginalArrivalTime: 11 Mar 2002 19:58:47.0143 (UTC) FILETIME=[27D04770:01C1C937] From: "Jorge Llambias" X-Originating-IP: [200.49.74.2] X-Yahoo-Group-Post: member; u=6071566 X-Yahoo-Profile: jjllambias2000 Whatever our preferences in terms of import for the {Q broda cu brode} forms, it is always the case that: Q lo su'o broda cu brode = ge da broda gi Q broda cu brode After all, the inner quantifier in {Q1 lo Q2 broda} is just the claim that there are (exactly) Q2 broda. I was going to write that it is the claim that {Q2 da broda}, but that doesn't work for Q2 = ro, da'a, so'e, so'a... In fact, {da'a}, {so'e}, {so'a} cannot be inner quantifiers, as they result in nonsense! This means that independently of the system of choice, we have, in addition to any others, these uncontroversial forms: A+ ro lo su'o broda cu brode E+ no lo su'o broda cu brode I+ su'o lo su'o broda cu brode O+ me'iro lo su'o broda cu brode mu'o mi'e xorxes _________________________________________________________________ Chat with friends online, try MSN Messenger: http://messenger.msn.com