= 27d567bc2d48d9f40e9ccc20ea370b15)
seer comments on Request for Steelman: Non-correspondence concepts of truth - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (74)
Not quite, although I agree the approach I describe also applies to establish that the laws of physics exist.
Yes, and if you and the alien both write down a cube law and predict what orbits would be like in a universe where it were true, you would reach the same conclusions.
That doesn't establish that mathematics is true by correspondence,.
So what would you describe as the cause of the correlation in the orbits calculated by myself and the alien?
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.
In the Philip K. Dick sense they are.
In the PKD sense, they are not, because finitists and constructivists adopt different axioms able get different results,