Message-Id: <199709221622.LAA27424@locke.ccil.org>
Reply-To: John Cowan <cowan@DRV.CBC.COM>
Date: Mon Sep 22 11:22:05 1997
Sender: Lojban list <LOJBAN@CUVMB.BITNET>
From: John Cowan <cowan@DRV.CBC.COM>
Organization: Lojban Peripheral
Subject:      na'e entails na?
X-To:         Lojban List <lojban@cuvmb.cc.columbia.edu>
To: John Cowan <cowan@LOCKE.CCIL.ORG>
X-Mozilla-Status: 0001
Content-Length: 634
X-From-Space-Date: Mon Sep 22 11:22:05 1997
X-From-Space-Address: LOJBAN@CUVMB.CC.COLUMBIA.EDU

Consider the following sentence: what is its truth value?

1)      li vo na'e sumji li re li re

On the "na'e entails na" view, this means "4 is not the sum of 2 and 2"
and is false.  On the other (and/djan) view, it means "4 is a non-sum
of 2 and 2" and is true, since 4 is a product (which is not a sum)
of 2 and 2.

On the other hand,

2)      na'ebo li vo sumji li re li re
        Other than 4 is the sum of 2 and 2

is false on any view, and likewise if you move the "na'ebo" to
any of the other sumti.

--
John Cowan      http://www.ccil.org/~cowan              cowan@ccil.org
                        e'osai ko sarji la lojban