Re: Consistency? + Programs for G, G*, ...

From: Marchal <marchal.domain.name.hidden>
Date: Sat Aug 18 12:22:04 2001

Hal Ruhl wrote

>Pole #1: Nothing? => true.
>Pole #2: Everything? => true.


My best understanding of that is

Nothing? = False ("false -> true" is a propositional tautology)
Everything? = true ("true -> true" is a propositional tautology).

You *do* have a communication problem. I'm sure that you are trying
to say something more subtil than propositional tautologies, but you
have to find a way to share with others a minimal amount of meaning
for your words.

Bruno
Received on Sat Aug 18 2001 - 12:22:04 PDT