"The existence of mathematical objects is what allows there to be unknowable mathematical truths, whereas there are no unknowable logical or `conceptual' truths."

Corresponding to every unknowable AxFx statement in arithmetic, there's a purely modal statement, that's not ontologically commital, but would let you infer the arithmetical statement and hence must be equally unknowable, namely:

## No comments:

## Post a Comment