Sufism greatly influenced the ethical beliefs and values of al-Ghazali. Had it not been for that influence, his works would have lacked their special spiritual value. In this paper, I will examine the role that Sufi philosophy played in giving spiritual depth to the ethics of al-Ghazali and how he was ultimately drawn to Sufism. Al-Ghazali moved away from his focus on the law and realized the v...

Pemikiran Islam lahir menjawab kegelisahan atas realitas yang dihadapi oleh seorang intelektual. Ahmad an-Na’im adalah tokoh muncul dari umat dalam menerpkan konsep syari’ah dan negara. Artikel ini menggunakan analisis ekploratif, ide-ide tentang al-Qur’an akan menjadi focus kajian. Al-Qur’ān penuntun prilaku moralitas manusia, ia bukan narasi tekstual mengenai hukum. Ini paradigma al-Qur’an, s...

A Forensic Lucid intensional programming language has been proposed for intensional cyberforensic analysis. In large part, the language is based on various predecessor and codecessor Lucid dialects bound by the higher-order intensional logic (HOIL) that is behind them. This work formally specifies the operational aspects of the Forensic Lucid language and compiles a theory of its constructs usi...

Intensional Programming (IP) was born in 1986 at Arizona State—or at least that is when we came up with the name. We had actually been doing it for some time already. Tony Faustini and I had been discussing whether or not Lucid is really a “functional” programming language. This is quite an interesting topic, and I will have something to say about it a bit later. Suddenly, we asked ourselves wh...

Multiprocessing programming languages must support the styles of programming that are natural to the programmer, and they must be able to express all of the forms of concurrency that exist. Qlisp, a dialect of Lisp, is proposed as a multiprocessing programming language which is suitable for studying the styles of parallel programming. There are two sorts of parallelism in Qlisp: 1) the true par...

Dream lucidity, or being aware that one is dreaming while dreaming, not an all-or-none phenomenon. Often, subjects report some variant of “a little lucid” as opposed to completely at all. As recent neuroimaging work begins elucidate the neural underpinnings lucid experience, understanding subtle phenomenological variation within dreams essential. Here, we focus on variability experience by aski...

Lucid dreaming is a state of awareness that one is dreaming, without leaving the sleep state. Dream reports show that self-reflection and volitional control are more pronounced in lucid compared with nonlucid dreams. Mostly on these grounds, lucid dreaming has been associated with metacognition. However, the link to lucid dreaming at the neural level has not yet been explored. We sought for rel...