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

From: Marchal <>
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.

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

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:07 PST