CalmCanary comments on Intuitive cooperation - Less Wrong

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.