Newbie: Truth values (three-valued logic)

[Olaf Delgado]

On Fri, 18 Jun 1999 mgutierrez at dss.es wrote:

> "Not maybe" equals to "not".
> Imagine this case:
> Maybe, I'll go to the cinema tomorrow.
> If you say, not "maybe, I'll go to the cinema tomorrow", then you are
> saying not to go the cinema. Imagine:
> Johan: Maybe, we could go to the cinema tomorrow.
> Anthony: No
> Johan : ok, let's go to the zoo, to see that python.

Okay, but this kind of intuitive semantics is not what I need here. The
negation of "Maybe, I'll go to the cinema tomorrow." should be "Maybe, I
wan't go to the cinema tomorrow.". By the way, this is IMO another,
stronger argument against hardwiring multi-valued logics into a
programming language. There may be different, equally justified views on
what the natural behaviour would be.

Undecidably yours,
Olaf

-- 
   ////         Olaf Delgado Friedrichs, Uni Bielefeld, Mathematik
   Olaf         Postfach 100131                  (room:  V4-109)
   `='          D-33501 Bielefeld, Germany       (phone: +49 521 106-4765)
                           http://www.mathematik.uni-bielefeld.de/~delgado