There is a large literature aimed at characterizing the social choice functions that can be implemented in Bayes Nash equilibria. This literature typically takes agents’information as exogenously given and …xed throughout the analysis. While for some problems this may be appropriate, the assumption is problematic for others. A typical analysis, relying on the revelation principle, maximizes som...

Al-Quran is God's revelation that has a position as source of knowledge. It contains all matters knowledge and supports the description existence God his majesty universe. Islam view concept knowledge, which closely related to involvement, believed be God. This paper will examine several paradigms Neal Robinson's thought in Islamic Philosophy among Orientalists, especially on Qur'an. qualitativ...

Islam remains misunderstood by many in the West essentially because it has not been part of the Western cultural tradition. Negative perceptions in the West are enhanced by popular reactions to abhorrent practices committed by some Muslims, even when those practices clearly contradict the teachings of Islam.1 These negative perceptions are also enhanced by Islamophobia.2 Conversely, the West’s ...

Islamic feminism, as a discourse within aims to re-read the Qur’an from modern egalitarian perspective, which is outside traditional and patriarchal interpretation of Islam. feminists reclaim an ethical vision by presenting reinterpretation, especially regarding verses that deprive women having equal rights in family, well society. However, while feminism presents gender raises new discourses d...

Classic direct mechanisms require full utility revelation from agents, which can be very difficult in practical multi-attribute settings. In this work, we study partial revelation within the framework of one-shot mechanisms. Each agent’s type space is partitioned into a finite set of partial types and agents (should) report the partial type within which their full type lies. A classic result im...

We study decidability of a logic for describing processes with restricted names. We choose a minimal fragment of the Ambient Logic, but the techniques we present should apply to every logic which uses Cardelli and Gordon revelation and hiding operators, and Gabbay and Pitts freshness quantifier. We start from the static fragment of ambient logic that Calcagno, Cardelli and Gordon proved to be d...

Abstract
 
 The concepts of Faith, reason and revelation are nuanced with reflection, all which encouraged developed in order to understand phenomena both materially non-materially. In a neutral sense, the Qur'an speaks faith two different, though not contradictory, essences, namely is simply belief as well proof. Furthermore, Aqal or fakara faqiha, nadzara bashara aspects dzakara hum...