PhilosophyFTW

This post demonstrates a deep misunderstanding of modal logics, and of the notions of possibility and necessity. one would expect that misunderstanding given that Eli can't really get himself to read philosophy. For example:

"I have to make an AI out of electrons, in this one actual world. I can't make the AI out of possibility-stuff, because I can't order a possible transistor."

What? What kind of nonsense is this? No contemporary philosophers would ever say that you can make something out of "possibility stuff", whatever the hell t... (read more)

I'm hardly claiming that if we find some true future unified theory of physics, every physical proposition we current believe is false. To assert that would be absurd. The interesting question is which of the propositions that are part of the current packages (at least one of which is false) are in fact false.

If you want to pick some of those propositions and rely upon them, you'd better have independent evidence for their truth (the accurate predictions made by the package isn't going to count). So rely on that as your evidence, and not on the false pa... (read more)

What you put in for P and Q is irrelevant, for a simple reason. If you're appealing to Q as your only evidence for P, and Q is probably false, then you don't have good evidence for for P. If Eliezer wants to appeal to some Q as his only evidence for P, and Q is probably false, then he has failed.

Of course, if you have independent evidence for P, then you don't need to appeal to P as your evidence for Q (and you shouldn't, since P is very probably false). Here you can appeal to the independent evidence. For example, there is evidence that the earth orbi... (read more)

Eliezer might well benefit by thinking about the above-linked SEP article in which this claim is broached: "We now appear to have an interesting situation. Quantum mechanics is compatible with two distinct metaphysical ‘packages’, one in which the particles are regarded as individuals and one in which they are not. Thus, we have a form of ‘underdetermination’ of the metaphysics by the physics (see van Fraassen 1985 and 1991; French 1989a; Huggett 1997). This has implications for the broader issue of realism within the philosophy of science. If asked ... (read more)

I didn't want to come out and talk about haecceitistic properties, since that would have made me sound even weirder (and it is controversial whether there are such), and I was already presenting some arguments in a hostile environment. But I had such properties in mind when responding. Thanks for providing the SEP link.

I can't predict what will have to change to get a scientific theory that is correct. Sorry. I'm also not interested in arguing for a theory of identity here. I'm just pointing out that Eliezer's argument against a particular theory of identity fails at being less wrong. I don't have to defend a theory in order to provide a perfectly coherent rebuttal.

Relying upon Wikipedia is not advised here. QM and GR, if you stick them together, entail everything. (On the assumption that from a contradiction one can derive anything. Paraconsistent logical systems deny this assumption.) For some proposition, sentence, statement or utterance that P, QM entails P. GR entails not-P. Absent abandoning classical logic (and moving to something like paraconsistent logic), GR and QM are inconsistent.

Let's assume that a theory is false if the theory entails P and not-P (that is, let's ignore paraconsistent logical sytst... (read more)

Thanks for the points. Yes, ArXiv frequently sucks. And people who argue that the set of real numbers has the same cardinality as the set of natural numbers are morons.. =)