[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[lojban] Multiple-variable abstractions (WAS: Re: Reasoning by analogy)
- To: lojban@googlegroups.com
- Subject: [lojban] Multiple-variable abstractions (WAS: Re: Reasoning by analogy)
- From: scope845hlang343jbo@icebubble.org
- Date: Wed, 06 Jan 2021 19:13:03 +0000
- Arc-authentication-results: i=2; gmr-mx.google.com; spf=pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) smtp.mailfrom=scope845hlang343jbo@icebubble.org
- Arc-authentication-results: i=1; gmr-mx.google.com; spf=pass (google.com: domain of scope845hlang343jbo@icebubble.org designates 2607:f2f8:a1d8::b19:0:f0b as permitted sender) smtp.mailfrom=scope845hlang343jbo@icebubble.org
- 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:mime-version:message-id :in-reply-to:date:references:subject:to:from:sender:dkim-signature; bh=t/iSpLRMWqv6yfvO64MqnwinATOsa7cXQdxUxP3F8EI=; b=Ux3sbBXcBbozq28JZEFKLghkxbS6x19EuYQmm8taia1zYNuqwpsoGZJ70mFJRIa+36 T0XUHQRgd6HH3ekvG2gSaP7702mkUBZn5WUDTZXP50dXVZWLHJf8iDqmnn/CEwMJfGXl yT1huQKhbppcyuAudYTG6SMA+TUxrsi62YoNlbDWVZb3faIBEICw12iatnJMkoSD9oj4 MmbkAPEdgtVzRLhcrc3GeawvCWxuRkXHSR8KBoA4zg0Fm7IZSutzEtdmGW/jnB9q4cSY q5z0olu2k6yQxjV19uf0RrC2Eb/A6/oNTMWy+pMrNWfZfuW3gkij9A/r05OIKwNY0ItJ KqNQ==
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:message-id:in-reply-to:date:references:subject:to:from; bh=33fymm5Uzo/wsPLgYQNhU/co1TteVw7BMJ24P0mEtpM=; b=kMcMsqjr4O00NRiSaoajHrq/ggdFnEAw2umreczORXI+5jOOnRpi0XAoaqSi8WS084 YXgurG4L7tJRMjJyqn306PyBOoBjWO6DhbqzDkbvDqXDwEgLNXocu5xVG4oitOgUOUMk yzZ8z2NmoTSuZhFqoSbt2yGl4eTPA0tXVw6em4/v/4cYVjcqFMvYczCGM9TCceZ8qkw0 iBtRr9gmx4fQxi8G0lD3UReqfuMKrO47airIdwJJe65bAeiAWeqNe4a4rB+F4WohxsI5 v+znTm/rb+EaH7G+qnE5MWxGEf8sI8+HcJ/ArFArf74EnO4EfAe4Z5ldKfO1N934RP8P c//Q==
- Arc-seal: i=2; a=rsa-sha256; t=1609980001; cv=pass; d=google.com; s=arc-20160816; b=eDRKJo2mx/Gqp1oxWMTrq08RJA3OprGRN1azzrIB89CCc+J7sXYO4hczhGZcd/oQEv L9TozgQ7vK6Ta6NMUwRXGy+hQbe0j+I9NdB8gf/k2ZvbkWHLXEYnAd4nQYdoccgMl05i jYN3J0GA+VxQCYxZ/nr/tirGWCsl8FSM+5fNUj0/AtHvttZfdvxHvu99E0Cn4lamJtJT DqzYTgcJB9TbCx7AKcLlfca7BL16r6gwMOIM/B5upfGPruz62c592B3uUUyuZm+sC5or vvSXRh0YFq4MEUwy+eOGDhLiBY74RlOZ32sQmFqbFhglvL1J1O0BlUZRLX0CC/5hlI7y 0RVw==
- Arc-seal: i=1; a=rsa-sha256; t=1609980000; cv=none; d=google.com; s=arc-20160816; b=xAgLf8UyjrEAFt+D/RSzsjJTHUnLkoOktcUL69UpWIqLjveFyfRDk8PyoIfhRHmtG4 zNcn/b/JWh3fMfjkeqOmBfqLfvpE3bPWzp9eTm0lmqD74Ae+Hf1LhFbApmZfeBWsBHlw yqVzZXsDr6fllpFlOGC1v2FUFOQOPa20MKPgB/qddi3Vu/YxsnCWYuBOFxQvkPL2nrve XATtmETJbiEYYPUXYd07ERt0/NFAU2720SMSkVLcXUU8JYjaGSxXMUtOOhHgSWx2RKjs b17Fau/9Xb9fl4sH8IrZulR381tKKC551XXY2iGWPmi42FO1q646/K10L4glIMWxsD5h V/xg==
- Delivery-date: Wed, 06 Jan 2021 16:40:06 -0800
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:to:subject:references:date:in-reply-to:message-id :mime-version: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=t/iSpLRMWqv6yfvO64MqnwinATOsa7cXQdxUxP3F8EI=; b=CHaj7DWqBBtkCb4MgCXhVeUubCyBaQxFtB8+mmld9wNarCR0LqxIi7m+o9yyBKzkAZ Vo7meQpWf9jnqGlbni4dICq2hlUpYiP4NDT7NUa+QtRr8Ubga4h/5uqFfPkKRBp7aEbb C1AISVj7FovH2g6LtuJj6jyLH1EpyHUdf5v3gJLcgdvBSTGffNRlp9JZnWjTQLHFP45J 1+lwwEuqg9ghXBhv0ZR/0gaKvkFMDEucM6UxJe7Lt1loBEs6Rcxt68+RoUU9DgFFaFGD VRJLdtw25d7o9Ws9xSu0tokbT1TpTRv5gHvMj/1gVNHKDU49kUOJeDq9WMahcWeJYFcN Sq/Q==
- Envelope-to: lojban-list-archive@lojban.org
- In-reply-to: <103d554a-d7f5-918e-bb82-6e025e41131b@mail.jerrington.me> (Jacob Thomas Errington's message of "Sat, 02 Jan 2021 16:14:16 GMT")
- List-archive: <https://groups.google.com/group/lojba>
- List-help: <https://groups.google.com/support/>, <mailto:lojban+help@googlegroups.com>
- List-id: <lojban.googlegroups.com>
- List-post: <https://groups.google.com/group/lojban/post>, <mailto:lojban@googlegroups.com>
- List-subscribe: <https://groups.google.com/group/lojban/subscribe>, <mailto:lojban+subscribe@googlegroups.com>
- List-unsubscribe: <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>, <https://groups.google.com/group/lojban/subscribe>
- Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
- References: <86o8iru85f.fsf@cmarib.ramside> <dd954228-c706-98f2-5709-eaed3cb94703@mail.jerrington.me> <86blep9yni.fsf@cmarib.ramside> <8ff75cde-1243-5188-489e-e11276a75a07@mail.jerrington.me> <86zh1s9mw5.fsf@cmarib.ramside> <103d554a-d7f5-918e-bb82-6e025e41131b@mail.jerrington.me>
- Reply-to: lojban@googlegroups.com
- Sender: lojban@googlegroups.com
Jacob Thomas Errington <jake@mail.jerrington.me> writes:
> On 2021-01-01 19:56, scope845hlang343jbo@icebubble.org wrote:
>
>> What about something like this:
>>
>> la lojban. bangu mi'o <-->
>>
>> la lojban. ce'o mi'o ckaji loka ce'u bangu ce'u
>
> The problem there is using a binary relation {lo ka ce'u ce'u bangu}
> where ckaji2 should be a unary relation. If we allow this, then we
> can't unambiguously interpret {ko'a ce'o ko'e ckaji lo ka broda}. Is
> it unpacking the tuple or not?
An example of a sentence exhibiting that ambiguity might be {ko'a ce'o
ko'e ckaji loka porsi}. Would that mean {ko'a ce'o ko'e porsi} or {ko'a
porsi ko'e}? It would be ambiguous.
A way to resolve such ambiguity might be to treat {lo ka broda} as a
solitary sumti (not a sequence) when the {ka} phrase doesn't contain
{ce'u}, but as a sequence when it contains multiple {ce'u}. Such a rule
could become unwieldy when the property contains many arguments, i.e.
{lo ka ce'u broda ce'u ce'u ce'u ...}. So, I might propose the
following rule:
(1) The property is interpreted as a sequence when two or more {ce'u}
are explicity expressed within it.
(2) Otherwise (when there are zero or one {ce'u}), it is interpreted
as a solitary sumti (as opposed to a sequence).
(3) Any unexpressed places following the second {ce'u}, if any, are
assumed to be {ce'u}.
This rule would introduce two questions: (A) How would one speak about a
sequence with just one element?, and (B) How would one differentiate
between properties with different numbers of arguments (arities)?
If I say {ko'a ce'o zi'o ckaji lo ka ce'u porsi}, I'm speaking about a
sequence containing one element, {ko'a}, but I'm not saying that {ko'a
porsi}. On the other hand, if I say {ko'a ckaji loka ce'u ce'u porsi},
then it'd be true that {ko'a porsi}; it'd be the sequence {lo porsi ce'o
lo se porsi be ri}. The problem of specifying a sequence with just one
element (A) is a challenged posed by Lojban's infix syntax, not by
abstractors like {ka}.
Issue (B), however, does not suggest any easy solutions. Would {lo ka
ce'u broda ce'u} be a property with two arguments, or a property with
more than two arguments, such as {lo ka ce'u broda ce'u ce'u} or {lo ka
ce'u broda ce'u ce'u ce'u}, with the trailing {ce'u} unexpressed? It
might be possible to quantify the number of arguments.
A ternary property, {lo ka ce'u broda ce'u ce'u}, could be expressed as
something like {lo ci ka broda} or {lo cimei ka broda}. However, the
tanru form would introduce the semantic ambiguity inherent in tanru.
And the form with an inner quantifier might run afoul of Lojban's normal
interpertation of quantifiers.
This could be solved, however, by treating quantified abstractions as
"magic", kind of like the way quantified variables of selma'o GOhA are
treated magically in the terms of a prenex (preceeding {zo'u}). I.e.,
{ro bu'a zo'u broda} doesn't mean the same thing as {roda zo'u broda},
because {ro bu'a zo'u} is magic. So, if we consider {lo su'o ka} magic,
could we use this mechanism to speak about multi-variable properties?
--
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 view this discussion on the web visit https://groups.google.com/d/msgid/lojban/86zh1lhoao.fsf_-_%40cmarib.ramside.