A Brief Historical Overview of the emergence of Qiyās within Islamic Jurisprudence and Some Notes on the Life and Work of Abū Isḥāq al-Shīrāzī. By Soufi Youcef.
I QIYĀS AL-ʿILLA.
Abū Isḥāq al-Shīrāzī’s System of Co-Relational Inferences of the Occasioning Factor
1 Introduction
2 A Dialectical Genealogy of Abū Isḥāq al-Shīrāzī’s System of Qiyās.
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 Qiyās al-ʿIlla
References.
II QIYĀS AL-DALĀLA AND QIYĀS AL-SHABAH
Abū Isḥāq al-Shīrāzī’s System of Co-Relational Inferences by Indication and Resemblance
1 Introduction. On al- Shīrāzī’s Classification of Qiyās al-Dalāla and Qiyās al-Shabah
2 Qiyās al-Dalāla
3 Qiyās al-Shabah
4 The Dialectical Structure of Qiyās al-Dalāla and Qiyās al-Shabah
5 A Dialogical Framework for Qiyās al-Dalāla and Qiyās 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
Shahid Rahman: Full-professor (classe exceptionnelle) of logic and epistemology at the Université de Lille-Nord-pas-de-Calais, Sciences Humaines et Sociales. He is also researcher at the UMR-CNRS 8163: STL. . Member (2016-2018) of the Conseil Scientifique du Réseau national des Maisons des Sciences de l’Homme. Member of the commission of the Institute Eric Weil, Director (for the French side) of the ANR-DFG Franco-German project 2012-2015 (Lille (MESHS)/Konstanz, Prof M. Armgardt): Théorie du Droit et Logique/Jurisprudenz und Logik. Studies: Masters in Philosophy, Mathematics, Philology (Erlangen-Nürnberg Universität) 1986-1989; PhD in Philosophy, Psychology, Philology , thesis on dialogical logic and constructive mathematics, 1990-1993; Habilitation in Philosophy (for the grade of professor), Universität des Saarlandes, 1994-1997. Professional Experience: Wissenschatlicher Mitarbeiter, Universität des Saarlandes, 1996-98. Researcher at the Max-Planck Institut für Informatik and at the Deutsches Forschungszentrum für Künstliche Intelligenz 1997-2000. Acting Director of the Department of Philosophy, Universität des Saarlandes, 1999. Prof. Rahman works span both philosophy of logic and its history, including a dialogical perspective on Constructive Type Theory. In fact, he is the leading researcher in the field of the dialogical conception of logic to which he contributed with publications in, among other fields, non-classical logics, legal reasoning, Aristotle, Arabic Logic and Epistemology.
Muhammad Iqbal: Lecturer at Universitas Islam Negeri Antasari, Banjarmasin Indonesia. PhD student in philosophy at the UMR-CNRS 8163:STL., Université de Lille-Nord-pas-de-Calais, Sciences Humaines et Sociales. His main interests are, Islamic Law, Logic and Epistemology.
Soufi Youcef: Lecturer at the Department of Classical, Near Eastern, and Religious Studies, University of British Columbia, BUCH C206, 1866 Main Mall, Vancouver, Canada. His interests are: Islamic Law, Islamic Legal Theory (Uṣūl al-fiqh), Medieval Juristic Disputations.
This monograph proposes a new (dialogical) way of studying the different forms of correlational inference, known in the Islamic jurisprudence as qiyās. According to the authors’ view, qiyās represents an innovative and sophisticated form of dialectical reasoning that not only provides new epistemological insights into legal argumentation in general (including legal reasoning in Common and Civil Law) but also furnishes a fine-grained pattern for parallel reasoning which can be deployed in a wide range of problem-solving contexts and does not seem to reduce to the standard forms of analogical reasoning studied in contemporary philosophy of science and argumentation theory.
After an overview of the emergence of qiyās and of the work of al-Shīrāzī penned by Soufi Youcef, the authors discuss al-Shīrāzī’s classification of correlational inferences of the occasioning factor (qiyās al-'illa). The second part of the volume deliberates on the system of correlational inferences by indication and resemblance (qiyās al-dalāla, qiyās al-shabah). The third part develops the main theoretical background of the authors’ work, namely, the dialogical approach to Martin-Löf's Constructive Type Theory. The authors present this in a general form and independently of adaptations deployed in parts I and II. Part III also includes an appendix on the relevant notions of Constructive Type Theory, which has been extracted from an overview written by Ansten Klev. The book concludes with some brief remarks on contemporary approaches to analogy in Common and Civil Law and also to parallel reasoning in general.