On 09 Dec 2011, at 23:50, benjayk wrote:
Sorry, I am done with this discussion, I am just tired of it.
I actually agree your argument is useful for refuting materialism,
still don't think your conlusion follows from just COMP, since you
In a classical (or intuitionist) proof, if you derived B from A,
automatically you have derived B from A + <any supplementary
Also, I don't know what you mean by non-platonic-immaterialism. Comp
needs arithmetical realism (the belief that the third excluded middle
principle is valid in first order arithmetic). It does not exclude
wider form of realism, but it recovers them in the machine
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to firstname.lastname@example.org.
To unsubscribe from this group, send email to
For more options, visit this group at