[lojban] Re: Reasoning by analogy

[scope845hlang343jbo@icebubble.org]

Jacob Thomas Errington <jake@mail.jerrington.me> writes:

> For completeness, I want to say that actually passing in multiple
> things to an abstraction isn't really supported in Lojban. I wrote an
> article about a way to do it using a pattern-matching syntax:
> https://mw.lojban.org/papri/Abstraction_Pattern_Syntax It requires the
> experimental cmavo {ce'ai}.

What about something like this:

  la lojban. bangu mi'o  <-->

  la lojban. ce'o mi'o ckaji loka ce'u bangu ce'u

ta'onai

On the original point (about reasoning by analogy), however, it could
very well be that Lojban was designed to make reasoning by analogy
difficult to express... if not explicitly on purpose, then as a
consequence of it's logical nature.  It is, after all, the "logical"
language.  If your goal is to make logical relationships explicit, and
avoid fuzzy reasoning, then it would be sensible to make reasoning by
analogy cumbersome to express in Lojban, or at least require its logic
to be expressed explicitly.

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:

  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?

-- 
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/86zh1s9mw5.fsf%40cmarib.ramside.