Like any proof in a formal system, you can conclude that "the idea is consistent unless the formal system is inconsistent." But that's a tautology. If you're not willing to say that ZF refers to things in the real world i.e. has ontological content, why aren't you skeptical of it?
Like any proof in a formal system, you can conclude that "the idea is consistent unless the formal system is inconsistent." But that's a tautology.
I wasn't saying that. If you believe that a formal system captures the idea you're considering, in the sense of this idea being about properties of (some of) the models of this formal system, and the formal system tells you that the idea doesn't make sense, it's some evidence towards the idea not making sense, even though it's also possible that the formal system is just broken, or that it doesn't ...
Update: Discussion has moved on to a new thread.
The hiatus is over with today's publication of chapter 73, and the previous thread is approaching the 500-comment threshold, so let's start a new Harry Potter and the Methods of Rationality discussion thread. This is the place to discuss Eliezer Yudkowsky's Harry Potter fanfic and anything related to it.
The first 5 discussion threads are on the main page under the harry_potter tag. Threads 6 and on (including this one) are in the discussion section using its separate tag system. Also: one, two, three, four, five, six, seven. The fanfiction.net author page is the central location for information about updates and links to HPMOR-related goodies, and AdeleneDawner has kept an archive of Author's Notes.
As a reminder, it's often useful to start your comment by indicating which chapter you are commenting on.
Spoiler Warning: this thread is full of spoilers. With few exceptions, spoilers for MOR and canon are fair game to post, without warning or rot13. More specifically: