Re: Belief & Knowledge

From: George Levy <GLevy.domain.name.hidden>
Date: Mon, 07 May 2001 21:10:18 -0700

Marchal wrote:

>
> This is one of my motivation for thinking that consciousness
> and consistency share the formula:
>
> -[]c
>
> Saying just that c (consistency, consciousness) is not provable,
> not finitely communicable, ... ineffable?
>
> Goedel's second theorem: c -> -[]c (c = <>TRUE, or -[]FALSE).
>

Would Descartes' statement be written as :

                ( c -> -[]c) -> c

How would you prove it? As it stands it appears to be a third person
statement. How would you make it a first person statement with Kripke's
logic?

George
Received on Mon May 07 2001 - 21:12:22 PDT