Return-path: Envelope-to: lojban-list-archive@lojban.org Delivery-date: Fri, 15 Jan 2021 07:26:18 -0800 Received: from mail-lf1-f63.google.com ([209.85.167.63]:40924) by stodi.digitalkingdom.org with esmtps (TLS1.3) tls TLS_AES_128_GCM_SHA256 (Exim 4.94) (envelope-from ) id 1l0QzP-000nH4-Lg for lojban-list-archive@lojban.org; Fri, 15 Jan 2021 07:26:18 -0800 Received: by mail-lf1-f63.google.com with SMTP id x186sf3212671lff.7 for ; Fri, 15 Jan 2021 07:26:15 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1610724374; cv=pass; d=google.com; s=arc-20160816; b=0VTyO4o0kdaYCD0LcXweB4Gb9ZOhMrmlOhzRz+ld/mDDEefG/gjjmEefRwQN66lAJQ f8x4GZGFJN2eparTNgkG1z9/jlk8X6m/Jm8JOHuonHn/Qbf3r4Kp+3bMLeC0RBU7/CbB eSQxOaSsrq/Xn5cK7u+P3S3j+t1mPXiHayaHIRsFPmTyVCkhbzpJ8cvPQA1JyJs9VLbO fi7xhBRZJ9MKy9nXDSY6lQQrMo12g3ZPI94TFgaZ74iypUYnPcivID+TfkHiwpEBS2pU j6yn8xE9iVCKALZXhXpOfAcs7CJ/kW+Royf9aSETJo91kFR6UujElwyl/x+fAlZ1Z4Uk kOKQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:date:content-language :in-reply-to:mime-version:message-id:from:references:to:subject :sender:dkim-signature; bh=RXcHt0vP0K1jWXHL1AI0znXXZ9zFdryohe48OqqETA4=; b=DkWrmFFbSsuDeJutX7Gil38hDXIA5BU3hcRwCPnnYsSXrwXTzCFzpOLVbmkj5Jp8cI 9P1ZWnQBhMDsy31l0ET7sxCOhRKiPxfWuieMwcvvdkhQlLyTscMKk4tWtVGbuL674GHq R+hYDwRYsdQxj+h6155k/n0YGJk3Uuu8x4Daq5Lw0IoPHI8FO3DgdBwmxETBZFwBwxTa yC/BtqD7sZoAw1olB3E4RAKpJENat57Nr5wkXAlGg2c2v/ZV64Dbm1I2CRpf1nW28aII 9+1JCQZVu/ycWmciplMQBijwuO5j9YJNFGxozMpwZ48PNLE/DyvFxAra5V2viaTzwXiG ukqg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@mail.jerrington.me header.s=default header.b=m14urqqW; spf=pass (google.com: domain of jake@mail.jerrington.me designates 2001:41d0:2:267:: as permitted sender) smtp.mailfrom=jake@mail.jerrington.me DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:subject:to:references:from:message-id:mime-version :in-reply-to:content-language:date:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:list-subscribe :list-unsubscribe; bh=RXcHt0vP0K1jWXHL1AI0znXXZ9zFdryohe48OqqETA4=; b=dUpvCmKc9SDT8q8Z6kkM2qv68c6ZntsC3R4hqQMos/iqvXLiA9E+So9DKhiV/rBSAL MpmwVF8CCGbGot82TUWFMWnUeX+Ai4FbRpSiRUQDTspm+qamaZdt5MNdTSkkeEQqmBnz 4C3jRhi6VtKhZKQZKF62nqzToTMvjNn67dF7VWD/Ay9IMb51xBeycd5sELUwtmfEb4Kh hl2NAJJALe9+xC7tAWUm2P10xSpvJHehKgb4bStN6bGl8CmJhczAgKIacOt0hMoFuM6+ hJAIu0UDOa/rvg43DT5HutpcF3TvIrwAVc1XCATsR6M+TvulPA+CXfcXtgHLyBC4ksNg zo0A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:subject:to:references:from:message-id :mime-version:in-reply-to:content-language:date:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=RXcHt0vP0K1jWXHL1AI0znXXZ9zFdryohe48OqqETA4=; b=bqVnqRVqfyFWLTEjpnQsuE2o56OQWMH9w0qVIKLPoNm+HKIxHX8nxI7fMiho00Gb54 WgTrI6HumOIDEjGCnkJRZOWzuCGtT8sj6U2zx8iCc07TNryB1wSne6/e9IseOopYkqEX CVSphGtFmew4Lni/CC/tFcBWWr9y6DS+IrVVv7gfSS9Y0k3qY6OFC5iXJ8MFLOD7czLN LqkqLfrxPlT7xXGo+/uMnR66CYxzzC93Egr/wBG/LeAaLf6ynRX2ZOY+ostn0hRh15f2 1/3JhGwAndw+jXvB9zdGGHNeMp5JOtTRM1z9BbWWzqsBNGD4551nscaDaOuELofN9RUK eH2A== Sender: lojban@googlegroups.com X-Gm-Message-State: AOAM531BNxsVPbt6BryLnWKjRh9l5NnzkM7e/sX2+aXozthyPA45ejTV xiW4nRXM5t36ZVYPP9eSWHM= X-Google-Smtp-Source: ABdhPJzJroqLJcXtObGHyB7WhEPZmEfl3THjJDsJJ29RyMYhw+A6BqkNUKTZ5z+PNqq2xLhhTJ3RoA== X-Received: by 2002:a2e:6c03:: with SMTP id h3mr5713708ljc.360.1610724373992; Fri, 15 Jan 2021 07:26:13 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 2002:a2e:89d3:: with SMTP id c19ls1627321ljk.0.gmail; Fri, 15 Jan 2021 07:26:12 -0800 (PST) X-Received: by 2002:a2e:6a12:: with SMTP id f18mr5303993ljc.174.1610724372721; Fri, 15 Jan 2021 07:26:12 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1610724372; cv=none; d=google.com; s=arc-20160816; b=rJ6XULDgS/A/FjJp7vpuHU1P0qga4faujCLGfYuJdgJ4678EvDn9NHELkBBR/lTgfm sWm6hpESVLnu/Pkl3lQT69yDC3JNPVK9vYbK+XWHP+WDTvh/t0W6eEHq7tLMIyzhOK1E ou3CijdGvrpDHv6lDfAEMGv+Z9zAviGXkR+VSnNXWoESVyiWB1zH1c+yxEEBtQl/wZX/ p8P2G0kSuEIFGBrTwkV7kTkGuvDwHnVa2h2wXbL6VOtG8jfBLVjtIfa9LYl/tS4jpz6s Eyqq+iitls0nz5lTBchea8p7WWtaW4e+r/L0jqKhtAjrpNycA5QG1drSOGq2EMohfFyS /5jw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=date:content-language:in-reply-to:mime-version:message-id:from :references:to:dkim-signature:subject; bh=NnHyxK0bG46VmFKLi6TX14/vvZvUmV4oNGKrii+qIyw=; b=lQuPaOuPgxjpqINTEgATWVHFUOzVQ8AlJDz3hJ0822dKzo2VPRNEl7ZHLO3946XX6B 42EPqWjJrMEwymfrANaXJzxfvlR4LdcQcsBEhAHjKzK7koDg+vNuxNJGdRHYkxbgW9Z+ HtO2rkuq9/u3pooG52myFS21U8R2j2EOD1BCNpMfOYDvLszVOHDGlDhpmOTF6OACkMpg 1ul5YjCB9Fwwf9PQRZX0B6eQf0pK4D7wg4sB0IsWHUSsqzUmufKDgrCSPLQTC6qONCms Yw7ly3uCJoNWMhQoEapJqqoPyrh1ZcxGmDK1iCqTOpYOlxNaWp2MB2xxuhcyicnloFDw R5EQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@mail.jerrington.me header.s=default header.b=m14urqqW; spf=pass (google.com: domain of jake@mail.jerrington.me designates 2001:41d0:2:267:: as permitted sender) smtp.mailfrom=jake@mail.jerrington.me Received: from out0.migadu.com (out0.migadu.com. [2001:41d0:2:267::]) by gmr-mx.google.com with ESMTPS id d3si496099ljj.4.2021.01.15.07.26.12 for (version=TLS1_2 cipher=ECDHE-ECDSA-CHACHA20-POLY1305 bits=256/256); Fri, 15 Jan 2021 07:26:12 -0800 (PST) Received-SPF: pass (google.com: domain of jake@mail.jerrington.me designates 2001:41d0:2:267:: as permitted sender) client-ip=2001:41d0:2:267::; Subject: Re: [lojban] Second-order quantification has uses To: lojban@googlegroups.com References: X-Report-Abuse: Please report any abuse attempt to abuse@migadu.com and include these headers. From: Jacob Thomas Errington Message-ID: <2d4edcc7-043a-d01a-85e8-e996e770b301@mail.jerrington.me> MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/alternative; boundary="------------9FF3F98A0F30D7903F96126A" Content-Language: en-US X-Migadu-Flow: FLOW_OUT X-Migadu-Auth-User: jake@mail.jerrington.me Date: Fri, 15 Jan 2021 15:26:12 GMT X-Original-Sender: jake@mail.jerrington.me X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@mail.jerrington.me header.s=default header.b=m14urqqW; spf=pass (google.com: domain of jake@mail.jerrington.me designates 2001:41d0:2:267:: as permitted sender) smtp.mailfrom=jake@mail.jerrington.me Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Spam-Checked-In-Group: lojban@googlegroups.com X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , X-Spam-Score: -2.8 (--) X-Spam_score: -2.8 X-Spam_score_int: -27 X-Spam_bar: -- This is a multi-part message in MIME format. --------------9FF3F98A0F30D7903F96126A Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: quoted-printable On 2021-01-13 20:59, Mark E. Shoulson wrote: > On 1/8/21 1:17 PM, Corbin Simpson wrote: >> coi >> >> I wanted to follow up on a point of la tsani's from the thread=20 >> "Reasoning by analogy". The point is raised that perhaps {bu'a} is=20 >> not very useful. > > I think I recall (the?) one time I felt a use for {bu'a}, but I did=20 > have to have it explained to me that {ro bu'a zo'u} doesn't mean "for=20 > all things that bu'a" but rather "for all predicates bu'a," which is=20 > an exception to the usual rules=E2=80=94precisely because otherwise it's = hard=20 > to use {bu'a}! > > > Esther 8:1: "For she (Esther) had told him (Ahasuerus) what he=20 > (Mordecai) was to her [viz. her cousin]" > > > .i .ebu pu cusku fi .abu fe lo du'u my bu'akau .ebu > > > I guess it doesn't need the quantification after all (this originally=20 > occurred to me before the invention of {kau}, I think.)=C2=A0 Does there= =20 > need to be some quantification anyway, though?=C2=A0 To mean some=20 > particular implied (ellipsized) relationship, and not some random one=20 > like {viska} or {te djuno} or something? > > For these kinds of "you're free to be as you are" type of statements, I=20 actually think there's a connection to indirect questions. In a sense,=20 there is a hidden indirect question when we say "as you are", since it=20 appears in a subclause and we're not actually _saying_ what "as you are"=20 is supposed to be. It's kind of like saying "tell me who I am". So in Lojban: .i do zifre lo ka mokau Or to rephrase your example: .i .ebu pu cusku fi .abu fe lo du'u my .ebu mokau .i mi'e la tsani mu'o --=20 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 e= mail to lojban+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= lojban/2d4edcc7-043a-d01a-85e8-e996e770b301%40mail.jerrington.me. --------------9FF3F98A0F30D7903F96126A Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

On 2021-01-13 20:59, Mark E. Shoulson wrote:

On 1/8/21 1:17 PM, Corbin Simpson wrote:
coi

I wanted to follow up on a point of la tsani's from the thread "Reasoning by analogy". The point is raised that perhaps {bu'a} is not very useful.

I think I recall (the?) one time I felt a use for {bu'a}, but I did have to have it explained to me that {ro bu'a zo'u} doesn't mean "for all things that bu'a" but rather "for all predicates bu'a," which is an exception to the usual rules=E2=80=94precisely because otherwise it's hard to use {bu'a}!


Esther 8:1: "For she (Esther) had told him (Ahasuerus) what he (Mordecai) was to her [viz. her cousin]"


.i .ebu pu cusku fi .abu fe lo du'u my bu'akau .ebu


I guess it doesn't need the quantification after all (this originally occurred to me before the invention of {kau}, I think.)=C2=A0 Does there need to be some quantification anyway, though?=C2=A0 To mean some particular implied (ellipsized) relationship, and not some random one like {viska} or {te djuno} or something?


For these kinds of "you're free to be as you are" type of statements, I actually think there's a connection to indirect questions. In a sense, there is a hidden indirect question when we say "as you are", since it appears in a subclause and we're not actually _saying_ what "as you are" is supposed to be. It's kind of like saying "tell me who I am".


So in Lojban:

.i do zifre lo ka mokau


Or to rephrase your example:

.i .ebu pu cusku fi .abu fe lo du'u my .ebu mokau


.i mi'e la tsani mu'o

--
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 view this discussion on the web visit https://groups.google.com/d/msgid/= lojban/2d4edcc7-043a-d01a-85e8-e996e770b301%40mail.jerrington.me.
--------------9FF3F98A0F30D7903F96126A--