Descartuv formalni dukaz boha (volna interpretace)
1. Everything, including ideas, has formal reality.
2. Ideas have objective reality as well as formal reality.
3. All ideas and only ideas have objective reality.
4. All ideas have the same amount of formal reality.
5. Different ideas have different amounts of objective reality.
6. The cause of an idea must account for the objective reality as well as the formal reality of the idea.
7. The cause of an idea must have at least as much formal reality as the amount of formal reality the idea has.
8. The cause of an idea must have at least as much formal reality as the amount of objective reality the idea has.
9. If i is an idea of x, then x is the object of i.
10. The amount of objective reality an idea has is equal to the amount of formal reality that its object has, or would have if it existed.
11. Let i be an idea, iF be the amount of formal reality i has, iO the amount of objective reality i has, and let c be the cause of i.
12. Then c must have formal reality that is equal to or greater than iF and that is also equal to or greater than iO. (In most cases, iO will be greater than iF.)
13. Let g be God. Then g has infinite formal reality, and the idea of g has infinite objective reality.
14. The cause of the idea of g must have infinite formal reality.
15. Descartes has an idea of God. Hence that idea exists.
16. Every idea has a cause. Hence Descartes’s idea of God has a cause. Hence that cause exists.
17. No being other than God has infinite formal reality. Hence the cause of Descartes’s idea of God must be God.
Hence God exists.