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.

TheAncientGeek comments on Request for Steelman: Non-correspondence concepts of truth - Less Wrong Discussion

13 Post author: PeerGynt 24 March 2015 03:11AM

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

Comments (74)

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

Comment author: TheAncientGeek 28 March 2015 11:09:34AM 0 points [-]

That doesn't establish that mathematics is true by correspondence,.

Comment author: seer 28 March 2015 07:04:33PM 6 points [-]

So what would you describe as the cause of the correlation in the orbits calculated by myself and the alien?

Comment author: TheAncientGeek 29 March 2015 09:05:01AM 0 points [-]

Running off the same axioms and references rules).

In a sense that means the same laws, but the laws are not independently existing entities that mathematical truths correspond to.

Comment author: seer 29 March 2015 05:50:44PM 6 points [-]

In the Philip K. Dick sense they are.

Comment author: TheAncientGeek 30 March 2015 09:05:59AM 0 points [-]

In the PKD sense, they are not, because finitists and constructivists adopt different axioms able get different results,