Received: from mail-pw0-f61.google.com ([209.85.160.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PsoKf-0004Fi-TF; Thu, 24 Feb 2011 19:27:11 -0800 Received: by pwi1 with SMTP id 1sf241059pwi.16 for ; Thu, 24 Feb 2011 19:26:59 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:x-beenthere:received-spf:mime-version :in-reply-to:references:date:message-id:subject:from:to :x-original-sender:x-original-authentication-results :x-google-group-id:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=zLcyp+fVhjstMTtXYLWYet37G+Bq0U1MDWlBhoHTNgI=; b=Nx2YWOTb3MIx4Pd387QRAuiFTNvCgxI1jR5VDUJ37pD/zOmSS++JOv1lG4JhThRWeA Q/nIP7A7awpSLzKSjWkv6aM6Rr3I/635SIgAHc1HA1C/nDoBw8edd6YPDh+TMoSj967q YS/7UjilosYkpiq1nN4xefA45gDozn+q4eEi0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:in-reply-to:references:date :message-id:subject:from:to:x-original-sender :x-original-authentication-results:x-google-group-id:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type; b=BKdbj0jtaKcYuN3+KXyY/3aGdKjxEzW79kC5y0IEgyM51diwIo8F2EBdPEIguPcM6D Kn8jm+SDqbCn0Ism2BnJxta7eXKWUg40vYL7J+4w8+GiJLg+SrHvCw1iByF/XTKLKzYH TF1W7XOSP9rW2+rfjqDJHsTkKFIKp7cf7uQpU= Received: by 10.142.218.3 with SMTP id q3mr48210wfg.33.1298604411375; Thu, 24 Feb 2011 19:26:51 -0800 (PST) X-BeenThere: lojban-beginners@googlegroups.com Received: by 10.142.201.17 with SMTP id y17ls999862wff.1.p; Thu, 24 Feb 2011 19:26:50 -0800 (PST) Received: by 10.142.201.5 with SMTP id y5mr256864wff.29.1298604410162; Thu, 24 Feb 2011 19:26:50 -0800 (PST) Received: by 10.142.201.5 with SMTP id y5mr256862wff.29.1298604410107; Thu, 24 Feb 2011 19:26:50 -0800 (PST) Received: from mail-px0-f178.google.com (mail-px0-f178.google.com [209.85.212.178]) by gmr-mx.google.com with ESMTPS id x35si217990wfd.0.2011.02.24.19.26.49 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 24 Feb 2011 19:26:49 -0800 (PST) Received-SPF: pass (google.com: domain of blindbravado@gmail.com designates 209.85.212.178 as permitted sender) client-ip=209.85.212.178; Received: by pxi1 with SMTP id 1so271335pxi.37 for ; Thu, 24 Feb 2011 19:26:49 -0800 (PST) MIME-Version: 1.0 Received: by 10.142.143.9 with SMTP id q9mr1303119wfd.30.1298604408870; Thu, 24 Feb 2011 19:26:48 -0800 (PST) Received: by 10.142.53.5 with HTTP; Thu, 24 Feb 2011 19:26:48 -0800 (PST) In-Reply-To: References: <201102232335.57096.phma@phma.optus.nu> <201102241123.58373.phma@phma.optus.nu> Date: Thu, 24 Feb 2011 22:26:48 -0500 Message-ID: Subject: Re: [lojban-beginners] Re: BAI zi'o From: Ian Johnson To: lojban-beginners@googlegroups.com X-Original-Sender: blindbravado@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of blindbravado@gmail.com designates 209.85.212.178 as permitted sender) smtp.mail=blindbravado@gmail.com; dkim=pass (test mode) header.i=@gmail.com X-Google-Group-Id: 94518172 Reply-To: lojban-beginners@googlegroups.com Precedence: list Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: lojban-beginners@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=000e0cd152d47e99da049d12e605 Content-Length: 9843 --000e0cd152d47e99da049d12e605 Content-Type: text/plain; charset=ISO-8859-1 Hmm, so predicates, even without zi'o, are not inextricable from their places. That's interesting, although it stabs the "lojban has a pure logical core" thing a bit more than it was already stabbed, since predicates are functions from n-tuples to truth values in formal logic, and having no x4 for klama means you have no 5-tuple that is related by klama. mu'o mi'e .latros. On Thu, Feb 24, 2011 at 9:53 PM, Michael Turniansky wrote: > > If I say that "mi klama lo zdani lo zarci no da" it does NOT necessarily > mean that I didn't go home from the store. It simply means that IF I did, > I followed no path doing so. I got there by teleporting point-to-point > ("There is no path X such I went to home from the store along it"). Tagged > places work exatly the same way > --gejyspa > > > > > On Thu, Feb 24, 2011 at 7:45 PM, Ian Johnson wrote: > >> That's inconsistent with what you said earlier. That is, if {no da} >> *really* works the same between both cases, then {lo du'u ko'a broda no da >> cu nibli lo du'u ko'a na broda} and {lo du'u ko'a broda broda TAG no da cu >> nibli lo du'u ko'a na broda} must both be true. I know the former is true; >> you said the latter is false. >> >> > > >> >> mu'o mi'e .latros. >> >> On Thu, Feb 24, 2011 at 11:23 AM, Pierre Abbat wrote: >> >>> On Thursday 24 February 2011 10:13:11 Ian Johnson wrote: >>> > That seems like a pretty significant irregularity to me; if {no da} >>> fills a >>> > predicate place, it is as if {na} were put in, but if {no da} fills a >>> TAG >>> > place, it isn't. Or is it that {broda TAG} is a new predicate which is >>> > false when {broda TAG no da} is true even though {broda} itself may be >>> > true? >>> >>> "noda" works the same way whether it's in a numbered place or a tagged >>> place. >>> Prepositions (including tense markers) can be negated, though, whereas FA >>> cannot. >>> >>> Pierre >>> -- >>> I believe in Yellow when I'm in Sweden and in Black when I'm in Wales. >>> >>> -- >>> You received this message because you are subscribed to the Google Groups >>> "Lojban Beginners" group. >>> To post to this group, send email to lojban-beginners@googlegroups.com. >>> To unsubscribe from this group, send email to >>> lojban-beginners+unsubscribe@googlegroups.com. >>> For more options, visit this group at >>> http://groups.google.com/group/lojban-beginners?hl=en. >>> >>> >> -- >> You received this message because you are subscribed to the Google Groups >> "Lojban Beginners" group. >> To post to this group, send email to lojban-beginners@googlegroups.com. >> To unsubscribe from this group, send email to >> lojban-beginners+unsubscribe@googlegroups.com. >> For more options, visit this group at >> http://groups.google.com/group/lojban-beginners?hl=en. >> > > -- > You received this message because you are subscribed to the Google Groups > "Lojban Beginners" group. > To post to this group, send email to lojban-beginners@googlegroups.com. > To unsubscribe from this group, send email to > lojban-beginners+unsubscribe@googlegroups.com. > For more options, visit this group at > http://groups.google.com/group/lojban-beginners?hl=en. > -- You received this message because you are subscribed to the Google Groups "Lojban Beginners" group. To post to this group, send email to lojban-beginners@googlegroups.com. To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en. --000e0cd152d47e99da049d12e605 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hmm, so predicates, even without zi'o, are not inextricable from their = places. That's interesting, although it stabs the "lojban has a pu= re logical core" thing a bit more than it was already stabbed, since p= redicates are functions from n-tuples to truth values in formal logic, and = having no x4 for klama means you have no 5-tuple that is related by klama. =

mu'o mi'e .latros.

On Thu, Fe= b 24, 2011 at 9:53 PM, Michael Turniansky <mturniansky@gmail.com> wrote:
=
If I say that "mi klama lo zdani lo zarci no da" it does NOT = necessarily mean that I didn't go home from the store.=A0 It simply mea= ns that IF I did,=A0 I followed no path doing so. I got there by teleportin= g point-to-point ("There is no path X such I went to home from the sto= re along it").=A0 Tagged places work exatly the same way
=A0=A0=A0=A0=A0=A0 --gejyspa




=
On Thu, Feb 24, 2011 at 7:45 PM, Ian John= son <blindbravado@gmail.com> wrote:
That's inconsistent with what you said earlier. That is, if {no da} *re= ally* works the same between both cases, then {lo du'u ko'a broda n= o da cu nibli lo du'u ko'a na broda} and {lo du'u ko'a brod= a broda TAG no da cu nibli lo du'u ko'a na broda} must both be true= . I know the former is true; you said the latter is false.


=A0

mu'o mi'e .latros.

On Thu, Feb = 24, 2011 at 11:23 AM, Pierre Abbat <phma@phma.optus.nu> wro= te:
On Thursday 24 February 2011 10:13:11 Ian Johnson wrote:
> That seems like a pretty significant irregularity to me; if {no da} fi= lls a
> predicate place, it is as if {na} were put in, but if {no da} fills a = TAG
> place, it isn't. Or is it that {broda TAG} is a new predicate whic= h is
> false when {broda TAG no da} is true even though {broda} itself may be=
> true?

"noda" works the same way whether it's in a numbered pl= ace or a tagged place.
Prepositions (including tense markers) can be negated, though, whereas FA cannot.

Pierre
--
I believe in Yellow when I'm in Sweden and in Black when I'm in Wal= es.

--
You received this message because you are subsc= ribed to the Google Groups "Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+un= subscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/g= roup/lojban-beginners?hl=3Den.


--
You received this message because you are subscribed to the Google Groups &= quot;Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+un= subscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/g= roup/lojban-beginners?hl=3Den.

--
You received this message because you are subscribed to the Google Groups &= quot;Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+un= subscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/g= roup/lojban-beginners?hl=3Den.

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