نوع مقاله : مقاله پژوهشی
عنوان مقاله English
نویسندگان English
This article addresses the formalization of the concept of non-detailed awareness (al-ʿIlm al-ijmālī) within the discipline of Principles of Islamic Jurisprudence (uṣūl al-fiqh). For this purpose, the proposed symbolic representation must accurately capture the specific characteristics of non-detailed awareness as extensively discussed in Uṣūl al-Fiqh. Following an introduction to the concept, the study points to two key doctrinal issues: its bindingness (munjizīyat) and its dissolution (inḥilāl). Subsequently, the article presents a perspective advanced by contemporary researcher Mahmoud Morvarid concerning the nature of non-detailed awareness. According to this view, the object of such awareness can be explained through a disjunctive proposition. By analyzing a central assumption in Morvarid's framework—namely, that non-detailed and detailed awareness share the same epistemic nature, differing only in their intentional objects—we demonstrate that his approach fails to provide an adequate foundational model for formalizing non-detailed awareness in a manner that fulfills all the requirements set forth in Uṣūl al-Fiqh. Therefore, drawing on scholars of Uṣūl al-Fiqh who conceptualize non-detailed awareness as a conjunction of an awareness and two unawarenesses, we refine the formalization suggested by the aforementioned view. We propose symbolizing non-detailed awareness as one awareness (of a disjunctive proposition) coupled with two unawarenesses (regarding its components), formalized as:
B(p∨q) ∧ Bp ∧ Bq
We further demonstrate that this formalization effectively represents the characteristics of non-detailed awareness as emphasized by scholars of Uṣūl al-Fiqh.
کلیدواژهها English