The historic background of algorithmic processing with regard to etymology and methodology is translated into terms of mathematical logic and Computer Science. A formal logic structure is introduced by exemplary questions posed to Fiqh-chapters to define a logic query language. As a foundation, a generic algorithm for deciding Fiqhrulings is designed to enable and further...Read More
Maqasid al-Sharīah is a divine knowledge that had been embodied in the commands of syara’ through the revelation of Al-Quran and hadith. The strong relationship between this science with the doctrines usūl al-fiqh (UF) and qawā’id al-fiqhiyyah (QF) could not be denied as demonstrated by our traditional scholar in their books. Hence, the understanding of...Read More
Recent Comments