Deductive arguments
Deductive arguments attempt to prove their conclusions by deductive reasoning from true premises.
The Ultimate Boeing 747 gambit states that because "God" is omnipotent and omniscient he is also infinitely complex. This makes his spontaneous appearance or existence far more unlikely than the universe simply coming into existence, which has a finite complexity. It also states that design fails to account for complexity, which natural selection can explain.
The belief that God created the universe and God just exists makes too many unproven assumptions, therefore using Occam's Razor one can "shave" off the unnecessary assumptions, leaving the universe just exists. The theistic response to this statement is that Occam's Razor applies only in philosophy not logic, and has no bearing on whether God or Gods exist.
The omnipotence paradox suggests that the concept of an omnipotent entity is logically contradictory, from considering a question like: "Can God create a rock so big that he cannot lift it?" or "If God is all powerful, could God create a being more powerful than itself?".
Another argument suggests that there is a contradiction between God being omniscient and omnipotent, basically asking "how can an all-knowing being change its mind?" See the article on omniscience for details.
The argument from free will contests the existence of an omniscient god who has free will - or has allotted the same freedom to his creations - by arguing that the two properties are contradictory. According to the argument, if God already knows the future, then humanity is destined to corroborate with his knowledge of the future and not have true free will to deviate from it. Therefore our free will contradicts an omniscient god. Another argument attacks the existence of an omniscient god who has free will directly in arguing that the will of God himself would be bound to follow whatever God foreknows himself doing in eternity future.
The Transcendental argument for the non-existence of God contests the existence of an intelligent creator by suggesting that such a being would make logic and morality contingent, which is incompatible with the presuppositionalist assertion that they are necessary, and contradicts the efficacy of science. A more general line of argument based on this argument seeks to generalize this argument to all necessary features of the universe and all god-concepts.[25]
The counter-argument against the Cosmological argument ("chicken or the egg") takes its assumption that things cannot exist without creators and applies it to God, setting up an infinite regress. This attacks the premise that the universe is the second cause (after God, who is claimed to be the first cause).
Theological noncognitivism, as used in literature, usually seeks to disprove the god-concept by showing that it is unverifiable by scientific tests.
It is alleged that there is a logical impossibility in theism: God is defined as an extra-temporal being, but also as an active creator. The argument suggests that the very act of creation is inconceivable and absurd beyond the constraints of time and space, and the fact that it cannot be proven if God is in either.[26]