On 09 Jan 2014, at 23:34, LizR wrote:
On 10 January 2014 06:50, Stephen Paul King <stephe...@provensecure.com
> wrote:
(Unless comp is false or that we are manipulated through a normal
simulation).
Physics is transformed into the study of a lawful precise
arithmetical phenomenon of a type "first person plural experience".
Not unless we are only considering a solipsistic observer! To obtain
physics we need some means to define interactions and communications
between multiple separable observers. This is a Bodies (plural)
problem. Each observer can be shown to have FPI by your argument,
but that is about it. Everything else requires more assumptions,
like maybe some kind of ASSA.
I also agree with Stephen here. Comp does seem to imply solipsism, I
think we've discussed this before but I don't recall the answer -
is it an open problem?
Normally, the Bp & Dt should evacuate individual solipsism. If the
physics appears in Bp & Dt & p, we would get a first person plural
solipsism. Comp is not solipsist per se, because arithmetic emulates
all relations between all universal numbers, but the definite
responses will depends on the physics that we derive from arithmetic,
and so it is partially an open problem. We cannot exclude totally all
form of solipsism, but what is usually called "doctrinal solipsism" is
avoided by the realist stance on machines evolution in arithmetic, and
by the fact that Bp & p (the intuionist first person attached to a
machine) is NOT the criteria of what is real for the machine (which is
in both Bp and p, but not in Bp & p).
Bruno
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
