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.
--
Onward!
Stephen
http://webpages.charter.net/stephenk1/Outlaw/Outlaw.html
--
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
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.
