The Logic You Need to Understand a Deductive Proof of God’s Existence – Definitions (Proof for the Existence of God Part 4)
بسم الله الرحمن الرحيم
With God’s help, I have been in the process of writing a proof for the existence of God – one that hopes to be very thorough, inshaAllah. It addresses every single objection that I personally have thought of or encountered. However, in the process of this laborious undertaking, I realized that in order for a general audience to follow some parts of the argument, it required an occasional foray into logic. This is not to say the logic is overly complicated, but it does help to work through the reasoning explicitly. Unfortunately, this resulted in a lengthy and somewhat messy article, whereas my original intent was to make the proof as clear and concise as possible without compromising on content. I have therefore decided, with God’s grace, to first go over some basic “not completely obvious” logic that will be used in the proof, and that I can refer readers back to in the course of the argument. I will not be explaining things like the principle of non-contradiction, which everyone is familiar with, but I will instead be explaining what a proof by cases is and other such matters. Here, we begin with the idea of definitions.