Nick_Tarleton comments on A Priori - Less Wrong

32 Post author: Eliezer_Yudkowsky 08 October 2007 09:02PM

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

Comments (101)

Sort By: Old

You are viewing a single comment's thread.

Comment author: Nick_Tarleton 08 October 2007 10:39:59PM 8 points [-]

I can rigorously model a universe with different contents, and even one with different laws of physics, but I can't think of how I could rigorously model (as opposed to vaguely imagine) one where 2+2=3. It just breaks everything. This suggests there's still some difference in epistemic status between math and everything else. Are "necessary" and "contingent" no more than semantic stopsigns? How about "logical possibility" as distinct from physical possibility?