[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

zi'o blanu



Jorge Llambias scripsit:

> >Sure. It's a complete bridi, and it's false, you can say that much
> >right off (because the set of sumti-sequences that makes it true is null).
> 
> That's an odd definition of false. So would you say that
> {zi'o na blanu} is a tautology?

Yes.

This is a Prolog-based view of predicate meaning, pretty much equivalent
to Gua\spi's. If we consider the selbri "dunda", its extensional meaning
is the set {(John, pants-1, Irene), (John, pants-2, Irene), (John, shoes-1,
Gale), ...} containing the appropriate ordered triples. The predicate
"dunda be fa la djan." has as its extensional meaning a set of ordered
pairs. 

If the set of ordered n-tuples is empty, there is no true predication
corresponding to that predicate. zi'o blanu means a set of no 0-tuples,
so it is (considered as a full bridi) false.

> I think {zi'o blanu} can be claimed when there is blueness
> present but there is nothing of which we can or want to claim
> that it is blue. {zi'o blanu} and {zi'o xunre} are different
> predications.

Intensionally, perhaps. But they have the same extensional meaning: false.

-- 
Some people open all the Windows; John Cowan
wise wives welcome the spring jcowan@reutershealth.com
by moving the Unix. http://www.reutershealth.com
--ad for Unix Book Units (U.K.) http://www.ccil.org/~cowan
(see http://cm.bell-labs.com/cm/cs/who/dmr/unix3image.gif)