Consistent with what? I believe it is consistent with itself, yes; but then again so is my toy variant with the mod-two arithmetic. If they're describing a single reality they should be consistent with each other.
Map of America: Washington, D.C. exists. Map of Europe: Washington, D.C., doesn't exist.
Your analogy fails, because PA and the toy system both agree in describing 0 and 1 as next to each other. But PA asserts that 2 is next to 1, while the toy system explicitly denies that it is so. The map of Europe doesn't in fact make a claim about the existence of Washington; it just says that if it exists, it's outside the map. But the toy system makes an explicit claim about the number 2. It's not that it's outside the range of the system; the system aggressively asserts that it covers the place where 2 would be if it existed, and also that there ain't no number there.
I believe [PA] is consistent with itself, yes
Can you tell me your basis for this belief?
...Your analogy fails, because PA and the toy system both agree in describing 0 and 1 as next to each other. But PA asserts that 2 is next to 1, while the toy system explicitly denies that it is so. The map of Europe doesn't in fact make a claim about the existence of Washington; it just says that if it exists, it's outside the map. But the toy system makes an explicit claim about the number 2. It's not that it's outside the range of the system; the system aggressivel
I recognize the title could be more informative. At the same time I believe it says what is important.
I believe in a deity, I believe in mathematical entities in the same way.
The community of LessWrong (from whenceforth: LessWrong) is deeply interesting to me, appearing as a semi-organized atheist, reductionist community.
LessWrong seems very interested in promoting rationality, which I applaud. The effort does seem scattered, though, and this is the reason I post.
One has Eliezer's website with some interesting posts. The same of this community. The community links to some posts when you are coming for the first time into it, and you also have a filter for top posts. One has the blog. And recently, the center for modern rationality (in the same page as harrypoter fanfiction about rationality).
The point being there is no defined roadmap to go from AIC (average irrational chump to make an analogy to Game - which also seems to come up around quite a bit) to RA (again, rationality artist).
I write this post as to maybe generate a discussion on how the efforts could be concentrated and a new direction taken.
Should the creation of the Center for Modern Rationality envision this same concentration, this post may and should be disregard.
If it does not, then I leave it to your consideration.
Hang.