Case Against Truth + Omniscience
I am realy not sure if this argument is logicaly valid but here is my 2 years old objection against onmiscience without using the rocky thingy.
Basically, we can show that absolute omniscience is impossible from set theory but I think we can go a lot further than this. A common theist modification is that to adopt a God that knows "everything that it is logically possible to know" - however - I believe that even this is impossible.
There are two steps to my justification. The first assumes the set every truth that is logically possible to know, T, is finite. We then show that this can't be the case.
The second step is to show no T of infinite magnitude that has this property.
1. T is the set of all truths that are logically possible to know and T is finite.
2. Take the power set of T and call it PT.
3. For each element e in PT ask the question, Q: is e a member of T.
4. In step 3, there must be at least one truth yielded by Q that is not in T.
5. T is meant to be the set of truths that are logically possible to know but we've just found a truth that is not in T.
1. T is the set of all truths that are logically possible to know.
2. take the power set of T and call it PT.
3. For each element in e in PT ask the question, Q: is e a member of T.
4. For each element in PT we can construct a trivial truth that is not in T. i.e. If truth is in T or not.
5. The size of PT is greater than that of T.
6. Contradiction since T is meant to be the set of all truths that are logically possible to know, but the set of derived truths PT is large than T itself!
Okay.. assuming my proofs are sound we've got a really strong argument against omniscience but I'm not done yet.. we can go even further.
How many truths are there?
1. There are at least as many truths as there are real numbers.
2. To record a truth we have to use words.
3. There are only a countably infinite number of sentences.
Conclusion: There are more truths than there are sentences to express them. In fact, it goes further than this. There are more true statements in mathematics than there are proofs to prove them.
God had no time to create time.