Sorry for butting in late. I followed drnihili here, whom I noticed in the Physics and Math forum. I haven't read the whole thing, but skimming through the topic I haven't seen anything about truth-functional propositions (specifically material implication), which is really the fundamental issue here.
This argument is indeed deductively valid and noncircular, but the soundness is far from established, because the truth of Premise 1 is not established.
Premise 1 is of the form
p-->q, or "If p then q." This structure has the following truth table:
If we ignore the "nihilist" objection and grant the truth of the antecedent term (p), the truth of the consequent term (q) still needs to be established in order to determine the truth of the premise.
1. If something exists, then there is a God.
2. Something exists.
----
3. There is a God.
This argument is indeed deductively valid and noncircular, but the soundness is far from established, because the truth of Premise 1 is not established.
Premise 1 is of the form
p-->q, or "If p then q." This structure has the following truth table:
Code:
p q p-->q
T T T
T F F
F T T
F F T
If we ignore the "nihilist" objection and grant the truth of the antecedent term (p), the truth of the consequent term (q) still needs to be established in order to determine the truth of the premise.