[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] Re: {tu'e...tu'u} in NU
Le mercredi 15 juillet 2015 21:29:50 UTC, xorxes a écrit :On Wed, Jul 15, 2015 at 4:29 AM, guskant
<gusni...@gmail.com> wrote:
3. sentences connected with forethought connective:
{nu ju'e gi broda gi brode gi brodi gi brodo gi brodu}
(CU [nu {CU <(¹ju'e gi¹) broda (¹[gi brode] [gi brodi] [gi brodo] [gi brodu]¹) GIhI> VAU} KEI] VAU)
(Forethought connectives of la zantufa-0.2 can connect more than three "statements (not only sentences)", and {gi'i} is used as the elidible terminator GIhI, not as GIhA. See
for more info.)
I like this use of "gi" because connected lists are by far more common than embedded binary connectives. The meanings of "ge ... gi ... gi ..." and "ga ... gi ... gi ..." are fairly obvious, but what are the proposed generalizations for "go" and "gu"? Is "go" all true or all false? What are "gu", "se gu", "te gu", etc?
mu'o mi'e xorxes
La zantufa gives only syntactic structure, and I have not yet suggested the semantic structure. From any approach, it is reasonable to interpret that {gu A gi B gi C} has the same truth value as A.
As for {se gu}, one of possible interpretations is grouping of binary transitive connective: that is, {segu A gi B gi C} = {segu (segu A gi B gi'i) gi C} = {segu A gi (segu B gi C)}, and then the truth value of {segu A gi B gi C} is the same as C. However, as you suggested, we may give another interpretation that {se gu} draws the truth value of B, {te gu} draws the truth value of C, and so on. I like the latter interpretation, because it cannot be easily represented by grouping system of binary connectives, and therefore profits from the n-ary forethought connective system.
For the same reason, I prefer the interpretation of "all true or all false" for {go} and "one and only one of them is true" for {gonai} to the interpretation of grouping of binary connectives.
--
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 post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.