in this research, the methodology of which is descriptive-inferential, our problem is the role of the unity of divine acts in mulla sadra’s transcendent philosophy and the evaluation of his arguments on it. in this regard, after explaining the concept of “unity of divine acts”, we show that since the boundaries of sadra’s philosophical system approaches speculative mysticism, sadra’s system in ...

The TRUTH of our existence has not been detected by science so far. Why does theoretical physics know nothing about the essence of space, matter, energy and time? How can we come to the true knowledge about our existence? Let us look at the reason of critical situation in contemporary theoretical physics and show how critical logical thinking and reasoning can open the door to the truth. I am s...

duns scouts the famous theologian of thirteen century under the influence of avecina’s doctorine of “nature” on the basis of hierarchy of the unity presents a hypothesis and describes the unconditioned nature as minor unity and individual entities as numerical unity. as an celeberating hypothesis of“distinct forms” it accounts with the haeccity as the criterion of individuality of external enti...

UNITY is a simple programming logic to reason about distributed systems. It is especially attractive because of its elegant axiomatical style. Since its power is limited, people introduce variants to extends it with various new functionalities. However, in the axiomatical style it is easy to make a mistake: a seemingly very logical new inference rule may turn out to be unsound. Formal verificat...

Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there are many policies leading naturally to inconsistency between the policies, a problem that has been recognised and termed policy conflict. We present a novel formal semantics for distributed policies expressed in the AP...