This paper introduces Agreement Theorems to dynamic-epistemic logic. We show first that common belief of posteriors is sufficient for agreement in epistemic-plausibility models, under common and well-founded priors. We do not restrict ourselves to the finite case, showing that in countable structures the results hold if and only if the underlying plausibility ordering is well-founded. We then show that neither well-foundedness nor common priors are expressible in the language commonly used to describe and reason about epistemic-plausibility models. The static agreement (...) result is, however, finitely derivable in an extended modal logic. We provide the full derivation. We finally consider dynamic agreement results. We show they have a counterpart in epistemic-plausibility models, and provide a new form of agreements via public announcements. (shrink)

Obscurantism, return of the Middle Ages, fascism, clericalism …. Utter nonsense has been written on the return of religion in the Muslem world, reflecting the old Western phantasm about Islam. In fact, the phenomena grouped under the rubric of “fundamentalism” are quite heterogenous and belong to different catagories, of which only one — Islamicism — is really new. Islamic revivalism must be understood not in terms of recent Western history, emphasizing the emergence of the modern state from the secularization of (...) society, but in the historical and social context of the Muslem world. We shall call “traditional” the will to freeze society according to the memory of a past one: the society of which grandfathers speak. (shrink)