Recently I proposed a new argument for theism based upon a metaphysical principle connecting logic, knowledge and truth. Against this argument two specific objections can be proposed. In what follows I shall present and respond to both objections.
(A) It is also logically impossible to know that God exists (for someone could, even encountering God, believe that she is dreaming, or hallucinating, or being deceived). But then, by parallel reasoning, it also follows that, necessarily, God does not exist. And hence my argument fails. My response would be that it is not logically impossible to know that God exists. Take a possible world in which God exists. In this possible world there is a subject that knows that God exists, namely God. In that world God knows that God exists. So, it is not logically impossible to know that God exists.
(B) There might be some true mathematical Gödel sentence G that cannot be proven by any proper mathematical system. Hence, G is unknowable. But then not all truths are knowable, and therefore my principle (which entails that all truths are knowable) fails. My response would be that G is in fact knowable. For, there is a possible world in which G is known. Take again a possible world in which God exists. In that world God can be taken to know at least all mathematical truths by immediate intuition, and therefore God knows G as well.