Abstract
As pointed out in the introduction, our study on Arsyad al-Banjari’s qiyās is based on the systems of qiyās and its interface with jadal theory as developed by al-Shīrāzī in his work. For that purpose, we employ an analysis that is based on a dialectical framework. However, we are not claiming that the framework we propose in the present study is either a literal description or a complete formalization of the jadal disputation form in which the qiyās is carried out.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The notion of dialectical meaning-explanation is the dialogical counterpart of Martin-Löf’s (inferential) meaning-explanation. The dialectical meaning-explanation of an expression amounts to setting rules that establish how to challenge and defend that expression. These rules also indicate how to produce a local reason for a claim and how to analyse such a reason – see Sect. 2.3. in the present chapter.
- 2.
It is also worth mentioning that, to the best of our knowledge, there is no systematic study yet comparing the theory of juridical argumentation as developed within the Islamic tradition with the dialectical form of medieval disputations known as Obligationes. Such a study, that will fill up some flagrant gaps in the history of the development of rational argumentation, is certainly due.
- 3.
- 4.
- 5.
From now on we write “set” (boldface) instead of “set” in order to indicate that we deploy intensional sets as developed within CTT.
- 6.
Ranta (1994, pp. 55–7).
- 7.
More details on CTT can be found in the short introductory survey by Ansten Klev in Rahman et al. (2018, chapter II).
- 8.
For example, intuitively, if A is the set of natural numbers and B is the set of whole numbers, then the function takes one natural number and yields an element of the set of whole numbers B, e.g. b(x) = 2x.
- 9.
- 10.
Alexander of Aphrodisias called such a form of construction prosleptic proposition – see L. Gili (2015).
- 11.
Bartha (2010, p. 109).
- 12.
See e.g. Bartha (2010, pp. 36–40).
- 13.
We borrowed the example from Hallaq (1985, pp. 88–9).
- 14.
- 15.
The proof-object of a universal such as (∀x: A) B true is λx. b: (∀x: A) B. Since in our case the function b(x): B ( x: A) is actually taʾthīrꝒ(x): [ (∀y: ꝒƊ) wujūd∨(y) = {ꝒƊ∨¬ꝒƊ} x ⊃ ℌ(y) ]∧[ (∀z: ¬ꝒƊ) salb∨(z) = {ꝒƊ∨¬ꝒƊ} x ⊃ ¬ℌ(z) ] (x: ꝒƊ∨¬ꝒƊ ), the proof-object of the universal is λx. taʾthīrꝒ. Note that λx. taʾthīrꝒ(x) and taʾthīrꝒ(x) are entities of different types: while the latter is a function (i.e. a dependent object); we may conceive λx. taʾthīrꝒ(x) as an (independent) individual that codes this function (see Rahman et al., 2019, Chapter IV; Rahman et al., 2018).
- 16.
Within the language of CTT taʾthīrꝒ stands for the function taʾthīrꝒ(x): { [ (∀y: ꝒƊ) wujūd∨(y) = {ꝒƊ∨¬ꝒƊ} x ⊃ ℌ(y) ] ∧ [ (∀z: ¬ꝒƊ) salb∨(z) = {ꝒƊ∨¬ꝒƊ} x ⊃ ¬ℌ(z) ] } ( x: ꝒƊ∨¬ꝒƊ).
- 17.
While in the framework of CTT encoding of a process is a way to understand the role of a lambda operator on a function, in the dialogical framework the encoding is understood as a recapitulation or reprise of the moves constituting plays won by P (see strategic reason in Rahman et al. (2019, Chapter IV).
- 18.
Dually, if grape-juice in a state that does not induce intoxication is the element that makes the (right side of the) disjunction true, then this substance is exempted from the interdiction.
- 19.
More generally, if c: (∀x: Ꝓ)ℌ(x), b(x): ℌ(x) (x:Ꝓ) and a: Ꝓ; the application ap of c to a (i.e. ap(c,a), amounts to applying the lambda abstract of the function b(x) to a (recall that the proof-object of a universal involving the function b(x) is (or must be equal to) the lambda-abstract of that function) ; that is, ap(c,a) is equal to the value of b(a) – see Rahman et al. (2019, Chapter IV); Rahman et al. (2018).
- 20.
Sundholm (2013, p. 17).
- 21.
“The solution […], it seems to me now, comes naturally out of this dialogical analysis (not in bold in the original text). […] the premises here should not be assumed to be known in the qualified sense, that is, to be demonstrated, but we should simply assume that they have been asserted, which is to say that others have taken responsibility for them, and then the question for me is whether I can take responsibility for the conclusion. So, the assumption is merely that they have been asserted, not that they have been demonstrated. That seems to me to be the appropriate definition of epistemic assumption in Sundholm’s sense.” Transcription by Ansten Klev of Martin-Löf’s talk in May 2015.
- 22.
- 23.
P. Lorenzen and K. Lorenz (1978).
- 24.
- 25.
Young (2017, p. 15).
- 26.
K. Lorenz (2000, pp 87–106).
- 27.
J. Peregrin (2014, pp. 228–9).
- 28.
See al-Shīrāzī (1092). The first part of this material is missing from al-Ma‘ūna which is edited by al-‘Umayrīnī.
- 29.
Actually, Al-Shīrāzī (1092) provides another kind of muʿāraḍa where the Opponent brings up a new analogy for the branch-case that competes with the parallelism proposed by the Proponent. Al-Baṣrī (1964, Vol. 2, p. 770) calls this kind muʿāraḍat al-qiyās bi al-qiyās. Let us assume the Proponent asserts that the branch-case f is similar to the root-case a in relation to the property Ꝓ; given the fact that the ruling ℌ applies to a, he claims that it should also apply to f. The Opponent then brings forward a new root-case a* which is similar to the branch-case f with regard to some other property Ꝓ*, but the opposite ruling ( ¬ℌ) applies to this new source-case. So, according to the Opponent, it is ¬ℌ that applies to f. In short, the branch-case enjoys two different properties that entail two opposing rulings (ta‘āruḍ). According to Al-Baṣrī, in that case, the preponderance (tarjīḥ) of one analogy over the other in terms of similarity should be established. Al-Baṣrī (1964, Vol. 2, p. 770) sometimes calls this specific case qiyās ghalabat al-ashbāh (analogy based on the dominant resemblance). Clearly, this is the other term used by al-Shīrāzī to indicate qiyās al-shabah. Hence, this kind of mu‘āraḍa is only applicable to correlational inference by resemblance, not to qiyās al-‘illa..
- 30.
Young (2017, p. 151).
- 31.
Our formulation is based on a specific form of qalb, that is, al-Juwayni's reversal and oppositeness (al-qalb wa-al-ʿaks). When using this specific form of qalb, as already mentioned, the Opponent does not bring forward a new ʿilla, but merely destroys the Proponent’s ʿilla. So, we include it in class of destructive criticisms. We do not employ the complete qalb of al-Basri and al-Shirazi et al., discussed by Young, (2017, pp. 166–167), which undermines Proponent's aṣl as well. The complete qalb is included as subclass of the constructive criticism (muʿāraḍa) since by using this form of qalb the Opponent proposes a new ʿilla for the same root-case (i.e. the same as the Proponent’s root-case). The point is that if we restrict the use of qalb to only one root-case, then it all comes down to accepting or not that the ruling of the thesis applies to that root-case. This assumes that the Proponent either misinterprets the sources or misses some relevant evidence that can be found in those sources. Moreover, as already pointed out, we assume that the application of the ruling under consideration to a root-case is justified by an established text, that is, a source which is unambiguous and not subject to a disagreement. So, in order to integrate the complete form of al-qalb in our framework, some adaptation of the rules is required, but it is quite straightforward, since it is simpler. As we shall see below, we share with Young (2017, pp. 158–159) that qalb is different from fasād al-waḍʿ, however we draw the distinction in a way slightly different to the one of Young.
- 32.
See al-Shīrāzī (1987, p. 104).
- 33.
- 34.
- 35.
majhūl al-ṣifa (unknown of attribute) “presumes existence [of the object of contract] but involves lack of reasonable knowledge of the thing’s characteristics” (Hallaq, Sharīʿa, p. 244). Rahman & Young (2021) develop a thorough analysis of this example.
- 36.
al-Shīrāzī (1987, pp. 111–112). Young (2017, pp. 158–159) has a slightly different interpretation, since according to his view, the Opponent’s objection mentions neither the Proponent’s source-case nor his ʿilla. Here I follow the interpretation of Rahman et al. (2019, p. 58), where the counterexample of cat’s saliva is seen as an instance of Proponent’s branch-case saliva of beasts of prey. Thus, I take that the difference of fasād al-waḍʿ and qalb resides in the fact that whereas the latter does not require that the new root-case is an instance of the property that defines the branch-case, the former does.
- 37.
al-Shīrāzī (1987, pp. 100–101).
- 38.
Young (2017, p. 162).
- 39.
Hallaq (1985, pp. 88–89).
- 40.
In the following sections we present only a simplified and adapted form of the Dialogical Framework, called Immanent Reasoning – see Rahman et al. (2018). The main original papers are collected in Lorenzen & Lorenz (1978) – see too Lorenz (2010a, b), Felscher (1985), Krabbe (2006). For an account of recent developments see Rahman and Keiff (2005), Keiff (2009), Rahman and Tulenheimo (2009), Rückert (2011), Clerbout (2014a, b). The most recent work links dialogical logic and Constructive Type Theory, see Clerbout and Rahman (2015) and Rahman et al. (2017).
- 41.
Cf. Rahman & Rückert (2001, pp. 113–116).
- 42.
- 43.
This last clause is known as the Last Duty First condition, and is the clause which makes dialogical games suitable for Intuitionistic Logic, hence the name of this rule.
- 44.
This, rule, as extensively discussed in Sect. 2.2.1. is one of the most salient characteristics of dialogical logic. In previous literature on dialogical logic this rule has been called the copy-cat rule or Socratic rule and it introduces a kind of asymmetry in the distribution of roles. Clearly, if the ultimate grounds of a dialogical thesis are elementary statements and if this is implemented by the use of the copy-cat rule, then the development of a dialogue is in this sense necessarily asymmetric. Indeed, if both contenders were restricted by the copy-cat rule no elementary statement can ever be uttered. Thus, we implement the copy-cat rule by designating one player, called the Proponent, whose utterances of elementary statements are restricted by this rule. It is the win of the Proponent that provides the dialogical notion of validity.
- 45.
- 46.
In the context of jadal this move is called “ta‘līl” by the means of which the Proponent asserts that a given property determines the factor occasioning the relevant ruling. See Young (2017, pp. 24–25).
- 47.
See our comments on the doubts on the validity of this rule in Sect. 2.3.1.3.
- 48.
Cf. Aristotle, Pr. An. 69a1; Bartha (2010, pp. 36–40).
- 49.
Shīrāzī (1987, p. 112).
- 50.
Young (2017, p. 159).
- 51.
- 52.
- 53.
See Young (2017, pp. 166–7).
References
al-Bājī, A. a.-W. S. (2001). Kitāb al-Minhāj fī Tartīb al-Ḥijāj (‘A. a.-M. Turkī, Ed.). Dār al-Gharb al-Islāmī.
al-Baṣrī, A. a.-Ḥ. (1964). Kitāb al-Qiyās al-Sharʿī. In idem, Kitāb al-Muʿtamad fī Uṣūl al-Fiqh (M. Ḥ. Allāh, M. Bakīr, & Ḥ. Ḥanafī, Eds.). Al-Maʿhad al-ʿIlmī al-Faransī li’l-Dirāsāt al-ʿArabiyya bi-Dimash.
al-Shīrāzī, A. I.. (1987). Al-Maʿūna fī al-Jadal (ʻA. b. ʿA. a.-ʿA. a.-ʿUmayrīnī, Ed.). Manshūrāt Markaz al-Makhṭūṭāt wa-al-Turāth.
al-Shīrāzī, A. I.. (1988). Sharḥ al-Lumaʻfī Uṣūl al-Fiqh. (Ed. ʻAbd al-Majīd Turkī). Beirut: Dār al-Gharb al-Islāmī.
al-Shīrāzī, A. I.. (1092). al-Ma'ūna. Available at https://dpul.princeton.edu/catalog/2f75r807h
Bartha, P. (2010). By parallel reasoning; the construction and evaluation of analogical arguments. Oxford University Press.
Clerbout, N. (2014a). First-order dialogical games and tableaux. Journal of Philosophical Logic, 43(4), 785–801.
Clerbout, N. (2014b). Étude sur quelques sémantiques dialogiques: Concepts fondamentaux et éléments de métathéorie. College Publications.
Clerbout, N., & Rahman, S. (2015). Linking game-theoretical approaches with constructive type theory: Dialogical strategies as CTT-demonstrations. Springer.
Davidson, D. (1980). Essays on actions and events. Clarendon Press.
Felscher. (1985). Dialogues as a foundation for intuitionistic logic (D. Gabbay, & F. Gunther, Eds.). Handbook of Philosophical Logic, 3, 341–372.
Gili, L. (2015). Alexander of Aphrodisias and the Heterdox dictum de omni et de nullo. History and Philosophy of Logic, 36(2), 114–128.
Ginzburg, J. (2012). The interactive stance. Oxford University Press.
Granström, J. G. (2011). Treatise on intuitionistic type theory. Springer.
Hallaq, W. B. (1985). The logic of legal reasoning in religious and non-religious cultures: The case of Islamic law and common law. Cleveland State Law Review, 34, 79–86.
Hallaq, W. B. (1987). The development of logical structure in Islamic legal theory. Der Islam, 64(1), 42–67.
Hallaq, W. B. (1997). A history of Islamic legal theories: An introduction to Sunnī Uṣūl al-Fiqh. Cambridge University Press.
Hallaq, W. B. (2009). Sharīʿa. Theory, practice, transformations. Cambridge University Press.
Keiff, L. (2009). Dialogical logic (E. N. Zalta, Ed.). Retrieved from The Stanford Encyclopedia of Philosophy: http://plato.stanford.edu/entries/logic-dialogical
Krabbe, E. C. (2006). Dialogue logic. In D. Gabbay & J. Woods (Eds.), Handbook of the history of logic (Vol. 7, pp. 665–704). Elsevier.
Lorenz, K. (2000). Sinnbestimmung und Geltungssicherung. In G.-L. Lueken (Ed.), Formen der Argumentation (pp. 87–106). Akademisches Verlag.
Lorenz, K. (2010a). Logic, language and method: On polarities in human experiences. De Gruyter.
Lorenz, K. (2010b). Philosophische Variationen: Gesammelte Aufsätze unter Einschluss gemeinsam mit Jürgen Mittelstrass greschriebener Arbeiten zu Platon und Leibniz. De Gruyter.
Lorenzen, P., & Lorenz, K. (1978). Dialogische Logik. Wissenschaftliche Buchgesellschaft.
Marion, M., & Rückert, H. (2015). Aristotle on universal quantification: A study from the perspective of game semantics. History and Philosophy of Logic, 37(3), 201–209.
Martin-Löf, P. (1984). Intuitionistic type theory. Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980. Bibliopolis.
Martin-Löf, P. (1996). On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1, 11–60.
Martin-Löf, P. (2012, March). Aristotle’s distinction between apophansis and protasis in the light of the distinction between assertion and proposition in contemporary logic. Paper presented at the Workshop “Sciences et Savoirs de l’Antiquité à l’Age classique” held at the laboratory SPHERE–CHSPAM, Paris VII, Paris.
Martin-Löf, P. (2015, May). Is logic part of normative ethics? Paper presented at the research Unity Sciences, Normes, Décisions (FRE 3593), Paris.
Miller, L. B. (1984). Islamic disputation theory. PhD dissertation, Princeton University.
Miller, L. B. (2020). Islamic disputation theory. Springer.
Nordström, B., Petersson, K., & Smith, J. M. (1990). Programming in Martin-Löf’s type theory: An introduction. Oxford University Press.
Nordström, B., Petersson, K., & Smith, J. M. (2000). Martin-Löf’s type theory. In S. Abramsky, D. Gabbay, & T. S. Maibaum (Eds.), Handbook of logic in computer science (Logic and algebraic methods) (Vol. 5, pp. 1–37). Oxford University Press.
Peregrin, J. (2014). Inferentialism. Why rules matter. Plagrave MacMillan.
Plato. (1997). Plato. Complete works (J. M. Cooper, Trans.). Hackett.
Primiero, G. (2008). Information and knowledge. Springer.
Rahman, S., & Keiff, L. (2005). On how to be a dialogician. In D. Vanderveken (Ed.), Logic, thought and action (pp. 359–408). Kluwer.
Rahman, S., & Rückert, H. (Eds.). (2001). Special volume synthese 127. New perspectives in dialogical logic. Springer.
Rahman, S., & Tulenheimo, T. (2009). From games to dialogues and back: Towards a general frame for validity. In O. Majer, A. Pietarinen, & T. Tulenheimo (Eds.), Games: Unifying logic, language and philosophy (pp. 153–208). Springer.
Rahman, S. & Young, W. E. (2021). Outside the logic of necessity. Paper presented in the international conference: “Fallacies in the Arabic, Byzantine, Hebrew and Latin Traditions”. Savoirs, Textes, Langage. Université de Lille. Lille.
Rahman, S., Clerbout, N., & Redmond, J. (2017). Interacción e Igualdad La interpretación dialógica de la Teoría Constructiva de Tipos interaction and equality dialogical interpretation of constructive type theory. Critica, Revista Hispanoamericana de Filosov, UNAM, 49(145), 49–89.
Rahman, S., McConaughey, Z., Klev, A., & Clerbout, N. (2018). Immanent reasoning or equality in action. A Plaidoyer for the play level. Springer.
Rahman, S., Iqbal, M., & Soufi, Y. (2019). Inference by parallel reasoning in Islamic jurisprudence. Springer.
Ranta, A. (1988). Propositions as games as types. Synthese, 76, 377–395.
Ranta, A. (1994). Type-theoretical grammar. Clarendon Press.
Rückert, H. (2011). Dialogues as a dynamic framework for logic. College Publications.
Sundholm, G. (2009). A century of judgement and inference, 1837–1936: Some strands in the development of logic. In L. Haaparanta (Ed.), The development of modern logic (pp. 264–317). Oxford University Press.
Sundholm, G. (2012). Inference versus consequence revisited: Inference, conditional, implication. Synthese, 187, 943–956.
Sundholm, G. (2013). Inference and consequence as an interpreted language. Paper presented at the Workshop “Proof Theory and Philosophy” Groningen, December 2–3, 2013.
Young, W. E. (2017). The dialectical forge; juridical disputation and the evolution of Islamic law. Springer.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Iqbal, M. (2022). Dialectical System of Qiyās al-ʿilla. In: Arsyad al-Banjari’s Insights on Parallel Reasoning and Dialectic in Law. Logic, Argumentation & Reasoning, vol 25. Springer, Cham. https://doi.org/10.1007/978-3-030-91676-3_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-91676-3_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-91675-6
Online ISBN: 978-3-030-91676-3
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)