Block, SkipCaptcha, apieditor, Automoderated users, Bots, edit, ratelimit-exempt
59,161
edits
Changes
Spelling/Grammar Check, typos fixed: Therefore → Therefore, (2)
'''Logic based proofs of God''' demonstrate God's existence by reference to logic. This approach recognizes strong the connection between logic and God, and how the [[Bible]] can be understood as a book of logic.
'''Logic-based proofs of God''' demonstrate God's existence by reference to logic. This approach recognizes strong the connection between logic and God, and how the [[Bible]] can be understood as a book of logic.
== Objective truth proof ==
# Objective truth exists.
# The existence of objective truth depends on the existence of an objective observer.
# In the absence of an objective observer, the concept of objective truth would fail for lack of [[falsifiability]].
# The only possible objective observer for all of objective truth is God.
# Therefore, God exists.
''Comment: some are attracted to atheism because it implicitly denies the existence of objective truth, such that the truth can then supposedly be whatever anyone wants it to be''.
== Uniqueness of logic proof ==
== Uniqueness of logic proof ==
# Logic is unique, such that contrary systems of logic are impossible.<ref>The accepted method of "proof by contradiction" implies the uniqueness of logic.</ref>
# Logic is unique, such that contrary systems of logic are impossible.<ref>The accepted method of "proof by contradiction" implies the uniqueness of logic.</ref>
# The existence of God is logical.
# The existence of God is logical.
# Therefore God exists.
# Therefore, God exists.
== Uncertainty proof ==
== Uncertainty proof ==
# Logic must come from something perpetual that is free of uncertainty.
# Logic must come from something perpetual that is free of uncertainty.
# This we call "God".
# This we call "God".
== Probability-based proof ==
== Probability-based proof ==
== See also ==
== See also ==
*[[Logical arguments for the existence of God]]
*[[Transcendental argument for the existence of God]]
*[[Transcendental argument for the existence of God]]
*[[Atheism and logic]]
*[[Atheism and logic]]
*[[Atheism and logical fallacies]]
*[[Atheism and logical fallacies]]
*[[Atheism and irrationality]]
*[[Atheism and irrationality]]
*[[Gödel's ontological proof]]
== External links ==
*[https://carm.org/discussion-logical-absolutes-proof-gods-existence Discussion on logical absolutes as a proof for God's existence]
*[http://www.alwaysbeready.com/component/content/article?id=137 A Logical Argument for God's Existence]
*[http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html Holy Logic: Computer Scientists 'Prove' God Exists] by David Knight, ''Der Spiegel International''
*[http://www.peterkreeft.com/topics-more/20_arguments-gods-existence.htm 20 proofs for the existence of God] by [[Peter Kreeft]]
*[https://carm.org/logic-apologetics Logic in apologetics] by [[CARM]]
Christianity and logic:
*[https://www.apologeticspress.org/apPubPage.aspx?pub=1&issue=977 Is Christianity logical? - part 1] by Apologetics Press
*[http://www.apologeticspress.org/apPubPage.aspx?pub=1&issue=994 Is Christianity logical - part 2] by Apologetics Press
*[https://answersingenesis.org/logic/is-the-christian-worldview-logical/ Is the Christian worldview logical?] by [[Answers in Genesis]]
*[http://www.str.org/articles/christianity-as-the-best-explanation#.VmcIKb_KOwM Christianity as the Best Explanation] by Stand to Reason
== References ==
<references/>
[[Category:arguments for the existence of God]]
[[Category:Arguments for the existence of God]]