Here's a write up of some material from Michael Martin that we use in my philosophy of religion course. It gives a fairly lightweight summary of a strategy for proving that God does not exist. Some of the material is rudimentary, but many of the issues are relevant and interesting for our discussions here on the blog:
- understands and believes that all of the premises in the argument for p are true.
- understands and believes that the premises when taken jointly imply p
- then, that person is rationally committed to believing p.
- the area where evidence would appear, if there were any, has been comprehensively examined, and
- all of the available evidence that X exists is inadequate, and
- X is the sort of entity that, if X exists, then it would show.
- If conditions A,B, and C, are met concerning an entity, then it is reasonable to conclude that no such entity exists.
- Conditions A,B, and C are met concerning God.
- Therefore, it is reasonable to conclude that God does not exist.