发表机构
makmad.org e.V.（马克马德组织）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
研究通过al-Sabr wa al-Taqsim方法在封闭法理学章节提取法律原因，引入计算算法从裁决真值表提取最小操作规则，可计算裁决最小结构生成器并消除冗余属性，为法理学评估提供候选原因，依赖特定词汇表和裁决表。
AI 中文摘要
本文提出了一种集合论形式化方法，用于在封闭的法理学章节中提取法律原因（‘ilal），该方法基于古典的al-Sabr wa al-Taqsim（审查与划分）法理方法。引入了一种计算算法，可从法理学裁决的真值表中提取最小操作规则。主要结果是，给定封闭章节的完整真值表，该算法可计算裁决的最小结构生成器，并消除所有逻辑冗余属性。所得结构构成后续法理学评估的可接受候选原因。该框架取决于有限的学校相关概念词汇表和所研究章节的完整裁决表的可用性。
英文摘要
This paper presents a set-theoretic formalization of the classical usuli method of al-Sabr wa al-Taqsim (Examination and Division) for extracting legal causes ('ilal) within closed chapters of jurisprudence. A computational algorithm is introduced that extracts minimal operational rules from a truth table of juristic verdicts. The principal result is that, given a complete truth table for a closed chapter, the algorithm computes the minimal structural generators of the ruling and eliminates all logically redundant attributes. The resulting structures constitute admissible candidate causes for subsequent juristic evaluation. The framework is conditional upon the availability of a finite school-relative concept vocabulary and a complete ruling table for the chapter under investigation.
Comments16 pages. Published in Journal Academica, Vol. 15, No. 1, 2026, pp. 3-18. Includes an Arabic-language computational analysis of Tayammum in the Shafi'i school
Journal refJ. Acad. (N.Y.) 15(1) (2026), 3-18
