FOM: Re: [FOM] Contradiction-Free vs. Consistency

Martin Davis martind at
Sun Nov 29 18:09:52 EST 1998

At 08:02 AM 11/29/98 -0500, Robert Tragesser wrote:

>        For example, it is absurd to say that contradiction-free-ness
>entails being, but it is not so absurd to say that of "consistency".
>[understood in the fully resonant and rather complex sense].

If "being" means "existence" then G"odel's completeness theorem suggests
that it's not so absurd.

If rather, reified "Pure Being" is meant, then Hegel's "Being is Nothing"
says it all. :-)

Martin Davis

More information about the FOM mailing list