Less Wrong is a community blog devoted to refining the art of human rationality. Please visit our About page for more information.

I_D_Sparse comments on Double Crux — A Strategy for Resolving Disagreement - Less Wrong

61 Post author: Duncan_Sabien 29 November 2016 09:23PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (106)

You are viewing a single comment's thread. Show more comments above.

Comment author: I_D_Sparse 17 March 2017 07:31:58PM 1 point [-]

Yes, but the idea is that a proof within one axiomatic system does not constitute a proof within another.

Comment deleted 17 March 2017 11:44:29PM [-]
Comment author: I_D_Sparse 18 March 2017 12:50:32AM 0 points [-]

If someone uses different rules than you to decide what to believe, then things that you can prove using your rules won't necessarily be provable using their rules.

Comment author: SnowSage4444 18 March 2017 03:01:28PM 0 points [-]

No, really, what?

What "Different rules" could someone use to decide what to believe, besides "Because logic and science say so"? "Because my God said so"? "Because these tea leaves said so"?

Comment author: hairyfigment 20 March 2017 06:32:33PM 0 points [-]

Yes, but as it happens that kind of difference is unnecessary in the abstract. Besides the point I mentioned earlier, you could have a logical set of assumptions for "self-hating arithmetic" that proves arithmetic contradicts itself.

Completely unnecessary details here.

Comment author: I_D_Sparse 18 March 2017 08:56:42PM *  0 points [-]

Unfortunately, yes.