love and its transformative power have long been at the center of islamic sufism. for sufi writers profane love, perceived as the love of worldly beloved, was the first step on the path toward the union with the divine. farid al-din ‘attar (1145-1221) was one of the most significant authors to espouse and articulate profane love as a representation of both earthly and heavenly love. 'attar’s us...

one of the thinkers¨ demands for governments is to take due care of the social rights of citizens thus far. no doubt, imam `ali (a.s.), as a muslim ruler, concentrated on maintaining man¨s rights both in theory and in practice. this article refers to the relationship between the right and the duty from imam ali¨s viewpoint, studies the foundations of man¨s rights and duties and discusses imam a...

Robert Brodrick Boston College 
 This paper advances the claim that the perceived rift between theology and scientific cosmology is not merely due to the advances of modern science but also to particular philosophical and theological developments in the realms of epistemology and the social imaginary. In light of this perspective, the author suggests that the recent work done regarding scientif...

In Islam, marriage is the best answer to all natural and psychic needs of human beings. So marriage is one of the preferences that Divine and Heaven justifies it. According to the Islamic legal: A man can afford four spouses if he could act under Shariat and Justice behavior. Mohammad (pbuh) the prophet of Islamic once mentioned in his teaching that marriage is one of perfect tradition. Thus m...

The study deals with the issue of justice in context divine and natural law. starting point is an analysis selected texts from Book Judges, which are linked to Judge Deborah. philosophical interpretation based on distinction between law, main emphasis transcendent nature both types In biblical interpretation, a judge understood as person who does not create only looks at law listens voice God, ...

CoInDiVinE is a tool for parallel distributed model checking of interactions among components in hierarchical component-based systems. The tool extends the DiVinE framework with a new input language (component-interaction automata) and a property specification logic (CI-LTL). As the language differs from the input language of DiVinE, our tool employs a new state space generation algorithm that ...