# Re: Are First Person prime?

From: Bruno Marchal <marchal.domain.name.hidden>
Date: Tue, 27 Nov 2007 16:16:44 +0100

Le 26-nov.-07, à 20:22, George Levy a écrit :

> Bruno
> Yes I am particularizing things... But "the end justifies the means".
> I am being positivist, trying to express these rules as a function of
> an observer. In any case, once the specific example is worked out, we
> can fall back on the general case.
> truth is well noted. Let me change the proposed rules to express truth
> as a function of an axiomatic system A existing as data .... either in
> the memory of M .... or as a axiomatic substrate for a simulated world
> W.....  Let's try the following:
>
>
> In a world W simulated according to the axiomatic data system A,
> there is a machine M, data p and data q such that
> 1) If M has access to p (possibly in its memory), then p exists in W.
> (exist=being simulated in W according to A )
>
> Now we can make the statements reflexive ( I don't know if this is
> the right word) by setting data p = Machine description M.
>
> In a simulated world W following the axiomatic data system A there is
> a machine M=p and data q such that
> 1) If M has access to M  then M exists in W. (reflexivity?)
> (Infinite reflexivity? - description of consciousness?)
> 3) If M has information describing q as a consequence of M in
> (This is a form of Anthropic principle)
>
> I am not sure if this is leading anywhere, but it's fun playing with
> it.

Sure. And playing is the best way to learn, as "nature" knows since the
beginning.

> Maybe a computer program could be written to express these staqtements.

I certainly encourage you to do so. Note that for the general modal
theory, S4, or even the comp fist person S4Grz, programs already
exists.
By some aspect your attempt reminds me also of dynamic logic. This is
modal logic applied to computations (and thus a bit away from
"computability" which concerns my more "theological" global concern ;).
You could googelize on "dynamic modal logic". I am not at all an expert
on those logics, to be sure.

Bruno

http://iridia.ulb.ac.be/~marchal/
--~--~---------~--~----~------------~-------~--~----~
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.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Tue Nov 27 2007 - 10:17:16 PST

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