User:AllanLee/Temp

In theology and the philosophy of religion, a relation logic argument for the existence of God is an argument that God's existence can be proved by mathematical modal logic. The argument presents some qualities that only an entity defined as God can have, and then uses relational modal logic to show an entity with these qualities must exist. William S. Hatcher of Bahá'í Faith first presented this arguement as refinement from the basics of ontological argument and cosmological argument, but uses explicit premises and true axioms with modern first order logic to remove the excessive assumptions and infinite regressions of previous arguments.

Principle of Sufficient Reason
Every existing phenomenon must either be caused or uncaused, and not both. A phenomenon

Principle of Potency
If A causes B, then A must also be a cause of E, where E is any component or subsystem of B. That is, to be a cause of B is to be a cause of every part of B.

Principle of Limitation
For every composite phenomenon A, A cannot be a cause of any of its components.