Received: from mail-ig0-f188.google.com ([209.85.213.188]:50716) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1XYJ2F-0004Hz-2P for lojban-list-archive@lojban.org; Sun, 28 Sep 2014 11:17:31 -0700 Received: by mail-ig0-f188.google.com with SMTP id hn18sf421634igb.5 for ; Sun, 28 Sep 2014 11:17:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=XfM56bP/+2QX4/te5TLNKh9e7+BMt4h/XOSp66HFDZg=; b=DLVAKpjP2/JCcBc+zCH+RQrjtZHuYI3vD43mbFgLVZ1Cp+5ITCpeodoeR3hBxN/6Kq z2tdNFkYYuVoMbxJH9li71wOdoe1cLy5niZYv9gFxik0Qu1GG0nIYjdafG7HDs5icvi5 0r0GVoLv+mm7dF+hESsdkeUJeCPhc46HNBfO4O8eEuBFz0dxpppXUJjXQpX9lQvG3dFu ZSDmQjsFBONA++3t3pDG061L7jKZcZo3H4Rp1sjkt3jwAcLL7GZev2N3RXGpJBQX8lU7 q26b/reTCT1n75aGGt0R1vpwXjlWdHxxZpGsVseTtYfJjq2Nll09KI3Hb0Nzm2bB/Ib2 wJ9A== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=XfM56bP/+2QX4/te5TLNKh9e7+BMt4h/XOSp66HFDZg=; b=Ohcf+XHC9+LSWGui0eURDIW+dTw5+4jS9KKmZh3GwHyae4+grsBfF24mHEAl7nGWAd cuyHpOCew/lzUzfSxhd0UpErk+E/DTdXkZjNYXyLiDPdmzdmOzt6p9+Yx07803tWr/aF tWKVdK7Goly5kn3hJZdtdRjVFA5L8fBRKgDZnF4nmLA1MQ2CMon/DjH3tRBUhLX6xVyZ X89+Qdd9pD11VjRHLPxU12M1nsL+eQpamxoCYlBfZjx5jY/XqhcsAsnzvkObhAxNM5ve RSRwWtFlLM6zcc9ikPYPSTiMYLOfYZxMJGGsDckHJCH8xEyxLk+dcFiZmrOmQCDnp2Ad BwOA== X-Received: by 10.140.34.208 with SMTP id l74mr310252qgl.1.1411928240494; Sun, 28 Sep 2014 11:17:20 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.140.31.163 with SMTP id f32ls356564qgf.39.gmail; Sun, 28 Sep 2014 11:17:20 -0700 (PDT) X-Received: by 10.140.20.246 with SMTP id 109mr357038qgj.0.1411928240261; Sun, 28 Sep 2014 11:17:20 -0700 (PDT) Date: Sun, 28 Sep 2014 11:17:19 -0700 (PDT) From: TR NS To: lojban@googlegroups.com Message-Id: <0019ea31-f581-4531-930b-12bf30c421a9@googlegroups.com> In-Reply-To: References: <5427DCE6.9020900@gmx.de> Subject: Re: [lojban] Speaker specificity: {.i da'i na vajni} MIME-Version: 1.0 X-Original-Sender: transfire@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary="----=_Part_382_215895608.1411928239599" X-Spam-Score: -2.0 (--) X-Spam_score: -2.0 X-Spam_score_int: -19 X-Spam_bar: -- ------=_Part_382_215895608.1411928239599 Content-Type: text/plain; charset=UTF-8 On Sunday, September 28, 2014 11:02:52 AM UTC-4, la gleki wrote: > > any better? > http://mw.lojban.org/index.php?title=poi%27i > > Not really. First off, there's nothing like a definition of a term that uses the term to define itself ;-) * poi'i: x1 is such that poi'i abstraction is true; x1 binds ke'a within the abstraction.* So please help me understand. It is a NU so what kind of abstraction is it? It's not an event, or a property, or a truth-value, etc. What kind? As far as I can tell it is not an abstraction at all, but a clause like {poi}, or in some examples {noi}, or perhaps a generic {su'u}. The term prenex is being used a lot here too, and I get the feeling the answer I might get is that it is a "prenex abstractor". But what does that mean? A way to talk about prenexes? e.g. "the prenex, all dogs, is ..." but that's not how the examples are, so that's not it. I don't get it. Let's take one of the examples: mi poi'i ke'a viska ke'a - I see myself. That doesn't look like an abstraction, it looks like a relative clause. And in this case an incidental one. So how is that different from: mi noi ke'a viska ke'a - I, who (incidentally) I see. Take another example: le poi'i ke'a viska ke'a - the ones who see themselves So that at least looks like an abstraction. But why can't we just say, le poi ke'a viska ke'a -- You received this message because you are subscribed to the Google Groups "lojban" group. To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com. To post to this group, send email to lojban@googlegroups.com. Visit this group at http://groups.google.com/group/lojban. For more options, visit https://groups.google.com/d/optout. ------=_Part_382_215895608.1411928239599 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On Sunday, September 28, 2014 11:02:52 AM UTC-4, la gleki = wrote:


Not re= ally. First off, there's nothing like a definition of a term that uses the = term to define itself ;-)

    poi'i: x1 is such that poi'i abstraction is = true; x1 binds ke'a within the abstraction.

So please help me understand. It is a= NU so what kind of abstraction is it? It's not an event, or a property, or= a truth-value, etc. What kind? As far as I can tell it is not an abstracti= on at all, but a clause like {poi}, or in some examples {noi}, or perhaps a= generic {su'u}. The term prenex is being used a lot here too, and I get th= e feeling the answer I might get is that it is a "prenex abstractor". But w= hat does that mean? A way to talk about prenexes? e.g. "the prenex, all dog= s, is ..." but that's not how the examples are, so that's not it. I don't g= et it. 

Let's take one of the examples:
    mi poi'i ke'a viska ke'a - I see myself.

That doesn't look like an abstraction, it looks like= a relative clause. And in this case an incidental one. So how is that diff= erent from:

    mi noi ke'a viska ke'a -= I, who (incidentally) I see.

Take another exa= mple:

    le poi'i ke'a viska ke'a - the= ones who see themselves

So that at least looks li= ke an abstraction. But why can't we just say,

&nbs= p;   le poi ke'a viska ke'a


--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsub= scribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http:= //groups.google.com/group/lojban.
For more options, visit http= s://groups.google.com/d/optout.
------=_Part_382_215895608.1411928239599--