Islam and Logic