You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

CalmCanary comments on Intuitive cooperation - Less Wrong Discussion

16 Post author: Adele_L 25 July 2014 01:48AM

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

Comments (14)

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

Comment author: CalmCanary 25 July 2014 07:34:37PM 0 points [-]

Part of the issue is that you are not subject to the principle of explosion. You can assert contradictory things without also asserting that 2+2=3, so you can be confident that you will never tell anyone that 2+2=3 without being confident that you will never contradict yourself. Formal systems using classical logic can't do this: if they prove any contradiction at all, they also prove that 2+2=3, so proving that they don't prove 2+2=3 is exactly the same thing as proving that they are perfectly consistent, which they can't consistently do.

Comment author: Adele_L 25 July 2014 10:20:53PM 2 points [-]

Unless I'm missing something, Löb's theorem is still a theorem of minimal logic, which does not have the principle of explosion.