Logic and Islam