Received: from mail-vx0-f189.google.com ([209.85.220.189]:57202)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCMvjp-TQBRCn0Zr5BBoENWcTSw@googlegroups.com>)
	id 1RrsC8-0005vj-7b; Mon, 30 Jan 2012 06:27:01 -0800
Received: by vcbfk26 with SMTP id fk26sf1634249vcb.16
        for <multiple recipients>; Mon, 30 Jan 2012 06:26:49 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:mime-version:date:in-reply-to:references:user-agent
         :x-http-useragent:message-id:subject:from:to:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:x-google-group-id:list-post:list-help:list-archive:sender
         :list-subscribe:list-unsubscribe:content-type
         :content-transfer-encoding;
        bh=1OduCu8UhR2YSkoofbDJJnX7OqmRY4Rtk0N2Y3CJEP8=;
        b=Rr0GnhGHj89xSu/WCqxJhQojug3Zyxqm4A9zzLiMutAEy2+LI7gFykM8CBH6Ri6Qif
         hNEkzKpccsCeF/uHbG5nLaM5+ptiFr8dF0U+t6qJglHD4Wd29ojxhM1RqnFAtPgVSqCB
         OCznC9+DtkICgXItDqX6cge+vvZIh75gW95zc=
Received: by 10.52.22.3 with SMTP id z3mr1535466vde.2.1327933607019;
        Mon, 30 Jan 2012 06:26:47 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.52.109.100 with SMTP id hr4ls2698938vdb.3.gmail; Mon, 30 Jan
 2012 06:26:46 -0800 (PST)
MIME-Version: 1.0
Received: by 10.52.23.80 with SMTP id k16mr1527792vdf.7.1327933606067; Mon, 30
 Jan 2012 06:26:46 -0800 (PST)
Received: by n6g2000vbz.googlegroups.com with HTTP; Mon, 30 Jan 2012 06:26:46
 -0800 (PST)
Date: Mon, 30 Jan 2012 06:26:46 -0800 (PST)
In-Reply-To: <CAOQ8VDUiKEBinS=zPOxjuHGgQ9KrKQhnZvr7Oq8C3BsC-eNuMA@mail.gmail.com>
References: <AANLkTimsBYcgNQjQ1o2Z21onOw1tQg38YxJkwZ_MoDLi@mail.gmail.com>
 <CAMKwHj1Z8Dy-tdmtEmJeArXVFLTDGRkZ4ppHTEUnUh_1yfDM9Q@mail.gmail.com> <CAOQ8VDUiKEBinS=zPOxjuHGgQ9KrKQhnZvr7Oq8C3BsC-eNuMA@mail.gmail.com>
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_7_2)
 AppleWebKit/535.19 (KHTML, like Gecko) Chrome/18.0.1017.2 Safari/535.19,gzip(gfe)
Message-ID: <61177a1e-351e-4e94-a0f6-30d308feeaed@n6g2000vbz.googlegroups.com>
Subject: [lojban] Re: Metalinguistic sumti-to-selbri operator
From: Daniel Brockman <dbrockman@gmail.com>
To: lojban <lojban@googlegroups.com>
X-Original-Sender: dbrockman@gmail.com
X-Original-Authentication-Results: ls.google.com; spf=pass (google.com: domain
 of dbrockman@gmail.com designates internal as permitted sender)
 smtp.mail=dbrockman@gmail.com; dkim=pass header.i=@gmail.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

I just found out about latros' {me'au} and {me'ei}.

Yes: his {me'au} is exactly the same as my {me'ei}.

(His {me'ei} seems to be a somewhat redundant synonym for {lo ka}.).

Since his definitons of these words seem to be a couple of months
old, I kind of wish he would invert his words to make {me'ei} match
what I and others have already been using for four years.

But it's a great validation of the concept to see someone else come
up with exactly the same thing.

On Dec 19 2011, 5:12=A0am, tsani nicte <nicty...@gmail.com> wrote:
> I think this is an interesting proposal, but on behalf of latros, I'm
> mentioning that he has created a definition for [me'ei] already.
> Also, his definition is already on jbovlaste:http://jbovlaste.lojban.org/=
dict/me'ei
> Also, he (and some others) have already begun to use it, which his other
> coined terms po'oi, no'oi, and me'au, for transcending the limits of
> first-order predicate logic, which is kind of what your proposal seems to
> do (unless I'm seriously misunderstanding, which I easily might.)
>
>
>
>
>
>
>
> On Sun, Dec 18, 2011 at 3:59 PM, Jonathan Jones <eyeo...@gmail.com> wrote=
:
> > I don't think I understand this. How would you say what {.i do ko'a me'=
ei
> > lo melbi} says without using me'ei?
>
> > On Fri, Jun 18, 2010 at 2:01 PM, Daniel Brockman <dbrock...@gmail.com>w=
rote:
>
> >> I think we should have a generic operator for converting a sumti refer=
ring
> >> to a selbri into a selbri. =A0I propose calling it {me'ei}. =A0It'd be=
 part
> >> of ME.
>
> >> For example,
>
> >> =A0 =A0i do ko'a me'ei lo melbi
> >> =A0 =A0You have a beautiful relation to ko'a.
>
> >> =A0 =A0i pe'i la xalbo na me'ei lo smuni be lo cmene be vo'a
> >> =A0 =A0I don't think xalbo lives up to his name.
>
> >> This plugs a language hole that may be somewhat theoretical but in my
> >> opinion
> >> is pretty fundamental. =A0It also provides a way to define things like
> >> {me'oi}:
>
> >> =A0 =A0{me'oi foo} =3D {me'ei lo smuni be zo'oi foo}
>
> >> And if you don't like {bu'a}, which is a bit awkward to quantify,
> >> depending on
> >> your standard for awkwardness, you can just use {me'ei da}.
>
> >> All in all, it's a powerful tool for talking about and manipulating
> >> predicates.
>
> >> For example, one could define a brivla like this:
>
> >> =A0 =A0{kibro} =3D {me'ei lo smuni be zo kibro bei la jbovlaste}
>
> >> Now, maybe that's not how you interpret it, but at least now you can
> >> talk about it in a precise manner.
>
> >> Thoughts?
>
> >> --
> >> You received this message because you are subscribed to the Google Gro=
ups
> >> "lojban" group.
> >> To post to this group, send email to lojban@googlegroups.com.
> >> To unsubscribe from this group, send email to
> >> lojban+unsubscribe@googlegroups.com.
> >> For more options, visit this group at
> >>http://groups.google.com/group/lojban?hl=3Den.
>
> > --
> > mu'o mi'e .aionys.
>
> > .i.e'ucai ko cmima lo pilno be denpa bu .i doi.luk. mi patfu do zo'o
> > (Come to the Dot Side! Luke, I am your father. :D )
>
> > =A0--
> > You received this message because you are subscribed to the Google Grou=
ps
> > "lojban" group.
> > To post to this group, send email to lojban@googlegroups.com.
> > To unsubscribe from this group, send email to
> > lojban+unsubscribe@googlegroups.com.
> > For more options, visit this group at
> >http://groups.google.com/group/lojban?hl=3Den.

--=20
You received this message because you are subscribed to the Google Groups "=
lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou=
ps.com.
For more options, visit this group at http://groups.google.com/group/lojban=
?hl=3Den.