Inferences by Parallel Reasoning in Islamic Jurisprudence: Al-Shirazi's Insights into the Dialectica

INTRODUCTION. A Brief Historical Overview of the emergence of Qiyas within Islamic Jurisprudence and Some Notes on the Life and Work of Abu Ishaq al-Shirazi. By Soufi Youcef. I QIYAS AL-ILLA. Abu Ishaq al-Shirazi's System of Co-Relational Inferences of the Occasioning Factor 1 Introduction 2 A Dialectical Genealogy of Abu Ishaq al-Shirazi's System of Qiyas. 3 Motivating the Deployment of CTT 4 A Dialogical Framework for Co-Relational Inferences of the Occasioning Factor. 5 Conclusions Appendix I : Some basic notions of Constructive Type Theory Appendix II: The main rules of the Dialogical framework for Qiyas al-Illa References. II QIYAS AL-DALALA AND QIYAS AL-SHABAH Abu Ishaq al-Shirazi's System of Co-Relational Inferences by Indication and Resemblance 1 Introduction. On al- Shirazi's Classification of Qiyas al-Dalala and Qiyas al-Shabah 2 Qiyas al-Dalala 3 Qiyas al-Shabah 4 The Dialectical Structure of Qiyas al-Dalala and Qiyas al-Shabah 5 A Dialogical Framework for Qiyas al-Dalala and Qiyas al-Shabah 6 Conclusions References. III IMMANENT REASONING AND THE DIALOGICAL CONSTITUTION OF LOGIC 1 Introduction 2 Local Reasons 3 Strategic Reasons 4 A Plaidoyer for the Play-Level 5 Normativity and the Dialogical Framework 6 Conclusions References. FINAL REMARKS AND THEWORK AHEAD