| > All [Goedel] says is that there are statements that are true that cannot be proven within the constraints of a finite set of axioms. It's not a limitation of math, it's a limitation of what can be proven true within the confines of a set of axioms. Minor correction. Goedel's theorem applies to decidable (a.k.a. computable) sets of axioms. e.g. Peano's axiom, when written in first order logic, contain an infinite set of induction axioms that follow a specific and recognizable (i.e. decidable) pattern. In fact, Goedel's theorem applies even beyond that including any set of axioms whose syntax can be specified by some (first order) mathematical predicate, even if that predicate is not computable in any way. > Meaning there could be another set of axioms under which the limitation to prove that such a statement is true disappears. But it doesn't make math any less true. Indeed, when studying logic it is common to consider the set of all true first-order (arithmetic) statements, which necessarily forms a complete and consistent set of axioms. Of course, given Godel's incompleteness theorem it must be the case that such a set of axioms isn't computable. Not only that, but it cannot be even defined in a first-order (arithmetic) way, which leads the the corollary of Tarski's undefinability theorem[0]. [0] https://en.wikipedia.org/wiki/Tarski%27s_undefinability_theo... P.S. There is no free will and one's thoughts are indeed out of one's control. I'm not certain that implies one should never trust one's thoughts. Though it does make sense to take them with a grain of salt. See for example, "The past is not true" (https://news.ycombinator.com/item?id=36798854). P.P.S I'm not saying your argument is invalid. It can both be the case that materialism is contradictory and there is no free will. |
Where determinism truly fails is at the transcendental argument level. The act of affirming determinism is self-defeating like affirming materialism: to rationally accept something as true you must have the freedom to weigh the evidence, but if determinism is true there's no true deliberation as everything is the result of prior causes, including its acceptance.
So you cannot trust your own belief system and thus your worldview is inconsistent at its core.
It also fails to account for our mental lives, given the experience we all have.