Vladimir_Nesov comments on The Terrible, Horrible, No Good, Very Bad Truth About Morality and What To Do About It - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (113)
There is a lot known in metamathematics and formal semantics, so you'd need to be more specific than that.
I don't think there's anything that comes close to giving a theoretical account of how mathematical statements are able to, in some sense, represent things in reality.
Again, you need to be more specific. If you assume certain models of reality (sometimes very reasonable for the real world), there are notions of describing/representing/simulating that system, finding or proving its properties. Physics, graphical models, etc.
that is exactly what you can't assume if you want to explain the basis of representation.