On 9/26/2012 4:18 AM, Bruno Marchal wrote:

Isn't the self 1p ? not sure.

   The self is 1p, by definition.

Hmm.... The self obtained by the Dx = "xx" method is entirely 3p, and is the one usually denoted by Gödel's predicate: Bp.

To get the 1p, we connect it to truth, which makes sense as Bp -> p, although true (trivially as we limit ouself to ideally correct machine) is not provable by the machine, so Bp & p defined a new modal box, having an arithmetical interpretation, but no more definable or representable in arithmetic. That is the 1p. As it has no name or no representation, it acts like a little god; and it plays the role of the inner God in the arithmetical intepretation of Plotinus.
Hi Bruno,

Your remark makes sense. I was only considering the inner aspect. I will disagree a tiny bit about it having no representation; it has a representation to itself but this is just its automorphism but that makes the representation vanishing. It is the "homunculus" without regress.




You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to 
For more options, visit this group at 

Reply via email to