Vazir, A. A. FORMAL LOGIC FOR THE ISLAMIC KNOWLEDGE. tic 2018, 1-50.