Logic in the Holy Quran

The Holy Quran introduces itself as being revealed in clear Arabic and containing no crookedness. Thus, its teachings should be based on the rules of understanding including the rules to understand logic which are laws of thinking and reasoning; and the Holy Quran recommends us to reflect upon it. Thus, rules of logic should be taken into account in the Holy Quran. Many Quranic phrases may be regarded as descriptive definitions or essential definitions. Also, in the Holy Quran the first, second, and third forms of conjugate syllogisms and contiguous and discontiguous interpellative syllogisms have been identified. Ghazali and Mulla Sadra have called them, respectively, the major balance, the middle balance, the minor balance, and the balance of mutual implication. Such balances have been explicitly and sometimes implicitly employed.