eli_sennesh 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: [deleted] 14 February 2015 06:32:37PM 0 points [-]

But of course there's such a thing as an a priori statement! Running a computation forwards without any uncertainty in it yields a result: this is "a priori" in the sense that, since it operates only on abstract mental data with no reference to empirical reality, it requires no experience to "get right" (rather, experience is required to locate a useful computation, out of all possible computations). 2+2 really does equal 4, every time, all the time, because any computation isomorphic to 2+2 must always yield an answer isomorphic to 4.