[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: Fri, 15 Jan 2021 15:14:13 GMT
- Arc-authentication-results: i=2; gmr-mx.google.com; dkim=pass header.i=@mail.jerrington.me header.s=default header.b=oYwyENOu; spf=pass (google.com: domain of jake@mail.jerrington.me designates 2001:41d0:2:863f:: 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=oYwyENOu; spf=pass (google.com: domain of jake@mail.jerrington.me designates 2001:41d0:2:863f:: 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 :in-reply-to:mime-version:message-id:from:references:to:subject :sender:dkim-signature; bh=ZN1kU6l8ltXLJZrrB2KKw55dtW2KeX8ubx8e10m4vA8=; b=PDmvrKPynHTFsoEQFakB3uowXSFRVDVU4EqmGM1UvTKDkDs5Fxlx81a6S7HMZU+8jm sefHeWBLleNdjuk3L3ySkh1xUc4MjAf0wIrQb6fDmpCNomqRbxCglnd2P/mt1UYYdmJv zU3Uq3JYujAe1XZm1AyS62r3OKfwLvJ+2t4uGMFAGTVkKnMgcM985WasLY4mUfeC97Fn MgODBK2gsKLzv099CxZARhmY4RRer/46AsV7+3WtcPMhzBFnnzaJbvuCPDzgD1YsDwGO GGwrY3ZXZ2HU8yM6igfpkl5W4gXiZCA4JyLdEUGSI/D7wtJ2IW7C9b9lVHPhww+wC/id Rebg==
- 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=9cxM5TRCdpHICXBVFt0EGm9dHIkGI7tqgTwZ0NmQy3A=; b=kpfhpHAqFoanBduXGGfn6HQhF0uFsCB74mUQFx1rf+mP7VFy5bvw/j/ptgrMHJGKDA 0q/nVmSJQCavw3/Vf9hwklxOQZOrH5MroMU70QhfLNF0Mz05GoDKFtAFF0CQp7j0o1dI IFUOD0/gzU3KWuN8qHfb0PRc+M/bCh2NQyoTRf/EoJYbZfP4TPvYmfVQ87A1mwQi3TyX FFb8nyMNdZoS4e4svTx7juW2Byu0VA/Al4lS5OK4fZKZ1FAkVX/awLqI3W4qE4yGXB4I 0F04qoVBbHW0JyT9J9GTifD9Mz2/03zPI7xLf1qhSmjL34Wa6PGLnELWR4As6e3ziT0a 0CPQ==
- Arc-seal: i=2; a=rsa-sha256; t=1610723655; cv=pass; d=google.com; s=arc-20160816; b=igiTEjoDZ5HTzXz5ZXh7APkHRP7rp60tEiRl0EBFa3hezTfP8BrTkClMpWk0RTUGfQ FXsTAcCNpkBqLnmQipzv1adqTaf3RNrGqQO/s4FxQYP4tPesCX16ErpDI34mb0mkO6hW zkrdy/x7wRPUvxSA0erecfofmdJWaMD2ZePgWPcrO/4QGCvvGX0C9yNQ2PR6RdhMXBXf Rga6woO6bku0V6VbpMfUz+GRBav+sgd+BdFz+hz0GZjZGypweh2CmKvwzsKth4A/WNLz bDK0AV/pJFCxF840JX/aW6O8DBuamPSWs0tosMw4VcsVcDSYodwtOqGbTfZWisO85ULb 68mw==
- Arc-seal: i=1; a=rsa-sha256; t=1610723654; cv=none; d=google.com; s=arc-20160816; b=Pp9R/WC1RiABua49QRetvhaitzIbqtHzrZkbu05BDuCLes+7hHFuCmsL0EBfQ5R16h sPvLUMSWVFigI/QNqqBR40VsLzDa4agK/Pql+MQudmV35RGkL6DtyhOPH9fzMsE7Olke IE/O1PgIf4oqYDBD7cGJORnr+fyQ8IGjqThrhoe1T9/4RoTmVddfbgp3p3kIiK5Ovac0 H/veVCaNckctWCvACxtRPNSq2Gu3hD/hB4kGzDR7K5Abgdg3tJQUnGSWbsM1E9hu1YZO QVsr4fMte1YVzimwsqvJS9nAdlhIhgmM6pV5saXdmaLXglBW1J3/o4LqZxDECaZ4tPsL LMPw==
- Delivery-date: Fri, 15 Jan 2021 09:07:23 -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-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=ZN1kU6l8ltXLJZrrB2KKw55dtW2KeX8ubx8e10m4vA8=; b=rbVd0gzmFwpjb+v/zPxNGQYzsywMcTh7Aouzt/Pg+F1UnwgpN2LE89gBXMsW1ris+N vqiCnCzxfubdDXkubtPLFhbwemhhvNRsufj3I5Xe+oZSJGJ2Btdv93tRWrhXcVCV6UNB 3i3/1AU1o+kq4as2mUCdHDV5+z8wwLuuGxVXQ+UsJ3cPUZ67F/Sf9f8WiARJFSwOnjXK 2nWW+nQ68uvZ1M7soeA/TBk8ZZbql3BoVZMBnFGvo5JH52bq5KqTaM8OQBEYX9jlJE1W cBytvfBwwSuxKjsw2swCzHqxUjHykev9IXY/DmNU67iZl1lwW8RDE5pAV+OkNHr5yu8h dDSQ==
- Envelope-to: lojban-list-archive@lojban.org
- In-reply-to: <86wnwg5wuq.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> <103d554a-d7f5-918e-bb82-6e025e41131b@mail.jerrington.me> <86im89g450.fsf@cmarib.ramside> <562e4432-9329-49e3-42d8-cce39c4f27fe@mail.jerrington.me> <86wnwg5wuq.fsf@cmarib.ramside>
- Reply-to: lojban@googlegroups.com
- Sender: lojban@googlegroups.com
I'm looking at the EBNF grammar in the CLL, but not seeing it. Are you
using the rule statement-2_13? Odd... the on-line version of the CLL
contains the EBNF, but not the YACC grammar. According to the YACC:
lexer_K_955 : lexer_K_711 I_root_956 BO_508
| lexer_K_711 I_root_956 simple_tag_971 BO_508
;
The "simple_tag_971" doesn't permit {fi'o} clauses. Are you using
grammar.300?
I just use camxes. Perhaps the CLL doesn't allow fi'o clauses as
sentence connectives due to a limitation in the parser (it would
require too much lookahead, maybe?) Camxes essentially allows
unlimited lookahead.
Anyway, there's no compelling reason that it should be forbidden,
if we believe that fi'o clauses should be equivalent to BAI tags.
It turns out that in the decades since the CLL was published that the
language has continued to evolve and that interpretations have been
refined. The CLL interpretation for fi'o falls a bit flat because it
doesn't explain the connection between this new place and the old
selbri, whereas the 'new' interpretation is for the most part
compatible with the old one (gives essentially the same
interpretations) while being more precise.
The CLL's description of the meaning of {fi'o} clauses isn't expressed
particularly clearly, but the meaning expressed is pretty clear. The
meaning of a {fi'o} clause is determined the same way as for BAI cmavo:
it specifies something which fills the x1 place of the BAI or FIhO
clause. Tenses are interpereted slightly differently (exchanging the x1
and x2 places) for historical reasons. What is this "new", modern,
interpretation of {fi'o}, as you understand it?
Here's the explanation I gave in my message on 2 January:
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
I do need to mention thought that I don't particularly _like_
this example using simsa, since you have to "split" the sentence
to fill two separate places of simsa (namely x1 and x3). It's
cleaner when the whole enclosing bridi moves directly into a nu or
du'u abstraction, e.g.
.i fi'o djuno mi lo bruna cu djica co sonci binxo
And I would interpret as
.i mi djuno lo du'u lo bruna cu djica co sonci binxo + a claim
that "lo bruna cu djica co sonci binxo".
This lines up with the way tenses are interpreted, except as you
mentioned, tenses are backwards.
.i mi pu lo nu sipna cu cadzu lo klaji
.i lo nu mi cadzu lo klaji cu purci lo nu sipna + a claim that
"mi cadzu lo klaji"
.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/6dc45c4b-9d4c-2b2b-7b90-a3cfe63910cb%40mail.jerrington.me.