Comment

Comment by hackinthebochs

Well this will depend on how you conceive of logical and mathematical facts. If you think of them as abstract "objects", you end up with the problem of how abstract objects can influence the world. But if you conceive of logical and mathematical facts as descriptions of states of possible formal systems, i.e. systems that do not contain a contradiction, then there is no problem. The actual world is simply a subset of the possible world; truths derived from investigating what is possible necessarily and obviously apply to the actual as a subset of the possible.

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton