نوع مقاله : مقاله پژوهشی
نویسندگان
1 دانشجوی دکترا، گروه فلسفه، دانشکدۀ ادبیات و علوم انسانی، دانشگاه تهران، تهران، ایران.
2 استادیار، گروه ریاضی، دانشکدۀ علوم پایه، دانشگاه قم، قم، ایران
چکیده
کلیدواژهها
موضوعات
عنوان مقاله [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]