[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] Re: Reasoning by analogy
- To: lojban@googlegroups.com
- Subject: Re: [lojban] Re: Reasoning by analogy
- From: Jacob Thomas Errington <jake@mail.jerrington.me>
- Date: Sat, 02 Jan 2021 16:14:16 GMT
- Arc-authentication-results: i=2; gmr-mx.google.com; dkim=pass header.i=@mail.jerrington.me header.s=default header.b=Nt7d98MN; spf=pass (google.com: domain of jake@mail.jerrington.me designates 2001:41d0:2:267:: as permitted sender) smtp.mailfrom=jake@mail.jerrington.me
- Arc-authentication-results: i=1; gmr-mx.google.com; dkim=pass header.i=@mail.jerrington.me header.s=default header.b=Nt7d98MN; spf=pass (google.com: domain of jake@mail.jerrington.me designates 2001:41d0:2:267:: as permitted sender) smtp.mailfrom=jake@mail.jerrington.me
- 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 :content-transfer-encoding:in-reply-to:mime-version:message-id:from :references:to:subject:sender:dkim-signature; bh=QhQqAADDhehze9v/epVaayA7B30H8F3IGVRvoXT4oZ0=; b=uVIrro43ss9LVowzao0A4WAP0GnidyN6dztSJMKM/OD8ruw9KImBCY0jwKhel4EGr+ vTxfXhEvFWRlTtAgejR0T7cla7Z6+IBaoW6gRqcgsXdjuVgb7DGOaCargL7PWNfZViVQ J6cExScQlFjhHoWXvNOmuJz56gLfgaOKfjDxSCR6HjdKrJbmSzQ9fH1CplrCkbJnxiMZ Wz6sFUhVB56Qyp9Jeci6j/hOdKYFn/9e1T+E/2bNW8vjb0IQ4d2UgfrqzL4xLf+Q/QYY AEvanaRVLCf18ba1yj8SXBRDPQEv9ghB61ddbOdn3KYHgTYjZk5T0kgyMaZmuo/wE11p DUVA==
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=date:content-language:content-transfer-encoding:in-reply-to :mime-version:message-id:from:references:to:dkim-signature:subject; bh=pLsEllyejT9WusycoA7uB2Irvdk0qESodyJmPhxnaJs=; b=qsNJNkfhZ8oD06BQNDEWtUMPt1fmvUMTjfdRhRR1ASOyJDg3eFAddawbJomdDq/ME+ SHqJ7diq3/rS+HQ8MxtI3iLw0vHGXJed/HvNr7i4JP9pz4b8BTPjeW5cXjcLfi2lPVDq +k3FtyTuxy0ksoov8HF2rKJrSmiCyXy1IqKRFKwuTYIpirJJFNEDJvPCSYaSqGMtmoy+ 2MwG00AH4NXQ3GDQsVJQgGy6WTC6o7xYnc75Z25Htkj9vBmuXmm6hsKALOLPYYBroTtr crqfZRPP1sVt4y5dcRvn1rHySWpHgCF58A9bMu4hhF4Ta4wXJQWacM92BSAa313NC+T8 JzGg==
- Arc-seal: i=2; a=rsa-sha256; t=1609604059; cv=pass; d=google.com; s=arc-20160816; b=iwWW09cGYC2UkDT4j15ARjwGpPGPHHutd9HB19NfB4qbXnvAn5XGALesx4y4ZwjtiW DyBtVwbggmpXmO7jNpKWwq4/613GgVlaQzDCCH3lW4G6m2rtw5FSr0bLrb8g5p+3tWpK /CVfIn0NT89nrJ6ZyK1LOzml0/izxjDCoTUU3YM3GhJPLr2PwvQBVW+UQCc+OePdNDfW Xjw/m5hzujZ2WqfBRqADJXPn/I/yl6AOIqaWCl0WHsNXSRdNghUWI9kY3pxg2PG2Yw3A 7Fl8Wf763vAQWoxsTmcMlaETcWdO9iJAUEO22bYQv7PG3+JWwcEJA71ZPx7zjeu2IqkX W7dQ==
- Arc-seal: i=1; a=rsa-sha256; t=1609604057; cv=none; d=google.com; s=arc-20160816; b=na+V6ITFJBM8hDu+yX8/hM96heD5o2lltlLAjnSR3qY+w7H7WsLm6eDrqTWUXwiYZy Q+s84NvYoXqZPmD8r0j9nxB5lmp5ckaglOhgpArqSQYLDvwv6Uwv7WWAxixKZyd6P3WL MEjl6rjYPqExEyn3IwmLWja0vChh/WvcHjDk7aIVBbD8dJz8TxTvrOOvUTfTttBAkDdk dJ4uqk/HQb1qXxR6qkBUBp+guEliqcKR7n/6NJSFXDYMS/2txOK33n+fnW/Zzy9nEL8K waqxy06GA/QBC+mNEKHdylDMZ45FbfutlygRckFi0AkCXoGXes02HZjAtVGt44UuYl2G 9vyg==
- Delivery-date: Sat, 02 Jan 2021 08:14:22 -0800
- 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-transfer-encoding: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=QhQqAADDhehze9v/epVaayA7B30H8F3IGVRvoXT4oZ0=; b=sPaoPfzeoqLS6bb0o/tBBfECWgSGVtRuTFdoU1lUt1Cd8O8IZ4Y5O37AksmQiT34IA Su1fI9Azall+1Q1reFm9Abeg0WFdd0riuq5aC1KpfSD80n0ADuRz0sIZm1Lj+lmXcFy3 NPqNBU4hKQiuOqTVJRd/k28MIZjTpnZ7+yPSAdq3NL5Uuo00YS+I9msYiFTPBlX0eg8w KlvGYW5mWZ/xHBLInyHY1miThEMLrueE23R7hS9Yl/JPJtZQux4ek6ZPPD/tgV1Rn662 T/PDhTjWcupr9Wi3n0D8WpBeeTmQL018dN0KZ1B6YKyOVfka53Hc/PxKo42QbVtF79/d 3jxg==
- Envelope-to: lojban-list-archive@lojban.org
- In-reply-to: <86zh1s9mw5.fsf@cmarib.ramside>
- 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>
- Reply-to: lojban@googlegroups.com
- Sender: lojban@googlegroups.com
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?
I was thinking about the possibility of using a {fi'o} modal tag, so I
checked the grammar for places where {fi'o} can be used. As it turns
out, there aren't very many, and there are even fewer where {fi'o} could
be used for this purpose. I found only two possibilities:
You can put fi'o tags in more places than that. Try these in a parser.
.i do jamfu cadzu cilre kakne .iseni'ibo fi'o simsa la'e di'u do xance
cadzu cilre kakne
.i do jamfu co'e .i fi'o simsa bo do xance co'e
.i ko'a jai fi'o broda fe'u brode
More generally, {fi'o broda} is pretty much equivalent to a BAI cmavo,
so you can use it to form a connective with {bo}, you can use it with
{jai}, you can use it before a selbri, you can connect it with other
tags, and you can use it as a term if you follow it with a sumti or the
terminator {ku}.
Using a {fi'o} tag in front of {tu'e}:
do ka'e cilre fi lonu do cadzu fi lo jamfu
.iseni'ibo fi'o simsa la'edi'u tu'e
do ka'e cilre fu lo xego'i fi lonu do cadzu fi lo xance
Using a {fi'o} tag in front of the selbri:
do ka'e cilre fi lonu do cadzu fi lo jamfu
.iseni'ibo do fi'o simsa la'edi'u je ka'e
cilre fu lo xego'i fi lonu do cadzu fi lo xance
These would seem to be fairly general solutions, too: connecting the two
claims using either {.iseni'ibo fi'o simsa la'edi'u tu'e} or {.iseni'ibo
<leading sumti> fi'o simsa la'edi'u fe'u} should work for whatever bridi
are being held in analogy, right?
This seems okay to me, but I don't think it's as precise as it would be
to directly go for using {simsa}.
The usual strategy to interpret a {fi'o} clause is to rearrange to make
its selbri the top-level selbri. For example, I would interpret {mi fi'o
simsa do se bangu lo lojbo} as
mi do simsa lo ka lo lojbo cu bangu
+ a claim that {mi se bangu lo lojbo}
The same idea applies to BAI, so {.i broda .i seni'i bo brode} is
interpreted as
lo du'u broda cu nibli lo du'u brode
+ the fact that both {broda} and {brode} are claimed
When there are multiple BAI, tenses, fi'o-clauses, quantifiers, etc.
(generally called bridi operators) at the same level in a sentence,
they're interpreted from left to right.
Anyway, using the usual interpretation strategy, we don't get the right
meaning from your examples. They mean "it is possible that you learn to
walk on your feet ==> similar to that, it is possible that you learn by
the method of learning to walk on your hands to walk on your feet."
What strikes me about that is that it's saying that the similarity
between the possibility of learning to walk on your hands and on your
feet is implied by the possibility of learning to walk on your feet. But
I don't think there's a logical implication there at all, is there?
An analogy is not an implication. It's an observed similarly that is
used to make inferences. So the order of the bridi operators seems a bit
backwards in the fi'o examples.
Taking a step back and working from this idea of what an analogy is, we
want to say "walking on your hands is similar to walking on your feet,
which implies that _learning_ to walk on your hands is similar to
_learning_ to walk on your feet." Here's my take on that in Lojban:
.i lo xance lo jamfu cu simsa lo ka kakne co cadzu fi ce'u kei .e ja'e
bo lo ka makau xe cilre co cadzu fi ce'u
Hands and feet are similar in that one can walk on them, and therefore
similar in what way one can learn to walk on them.
This approach also generalizes: {ko'a ko'e simsa lo ka broda [kei] .e
ja'e bo lo ka brode}. For example,
lo najnimre lo plise cu simsa lo ka farvi bu'u lo tricu kei .e ja'e
bo lo ka makau tadji co kurji
Oranges and apples are similar in that they grow in trees, and
therefore similar in what way one cares for them.
.i mi'e la tsani mu'o
--
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/103d554a-d7f5-918e-bb82-6e025e41131b%40mail.jerrington.me.