The metamorphosis of authority: a case study of the Aga Khan Development Network and the Ismaili Imamate

This research is a study of modern developments of the institutions of the Nizārī Ismaili imamate during the time of the present Ismaili Imam, Shāh Karīm al-Ḥusaynī, Aga Khan IV, as the 49th hereditary living Imam of Shiʿi Nizārī Ismaili Muslims, particularly addressing the formation of the Aga Khan Development Network (AKDN) and the functions of the Community institutions. Using the case study of the Aga Khan Development Network and the Nizārī Ismaili imamate, this research demonstrates that the three ideal types of authority as proposed by Weber, namely the traditional, charismatic and legal-bureaucratic types, are not sufficient to explain the dynamics of authority among Muslims. This is partly due to Weber’s belief in the uniqueness of Western civilisation, which is a product of his thesis on Protestant Ethics and partly because his ideal typical system does not work in the case of the Muslim societies. The Ismaili imamate with its multifarious institutions in contemporary times is the most suitable counter-example by which to powerfully demonstrate that Weberian models of authority fail to explain this phenomenon and it would indeed appear as a paradoxical institution if viewed with Weberian theses. The Ismaili imamate in contemporary times represents a paradigm shift and a transmutation not only as regards the Weberian models but also when viewed from inside the tradition of Shiʿi Muslim history. This evolutionary leap forward, which has been crystallised over the course of the past half a century, in the Ismaili imamate suggests the development of a new form of authority which is unprecedented. There are clearly various elements in this form of authority which could be discerned as rooted in tradition and history; however the distinctive elements of this new form of authority give it a defining and exciting dimension. There are several qualities which are peculiar to the contemporary condition of the Ismaili imamate and its style of leadership which are distinctive. Most importantly, while some central features, like succession by way of designation (naṣṣ) has not changed, there is one overarching quality which can best capture all these elements and that is the transmutation of the Ismaili imamate from the person of the Imam into the office of imamate and thus we are now facing the institutionalisation of the imamate and the office being the embodiment of the authority of the Imam. I have described this new development as a metamorphosis of the authority because it gives an entirely new form and content to the previously familiar concept of authority in the Shiʿi Ismaili Muslim tradition.

Specifying and analysing networks of processes in CSPt (or in search of associativity)

In proposing theories of how we should design and specify networks of processes it is necessary to show that the semantics of any language we use to write down the intended behaviours of a system has several qualities. First in that the meaning of what is written on the page reflects the intention of the designer; second that there are no unexpected behaviours that might arise in a specified system that are hidden from the unsuspecting specifier; and third that the intention for the design of the behaviour of a network of processes can be communicated clearly and intuitively to others. In order to achieve this we have developed a variant of CSP, called CSPt, designed to solve the problems of termination of parallel processes present in the original formulation of CSP. In CSPt we introduced three parallel operators, each with a different kind of termination semantics, which we call synchronous, asynchronous and race. These operators provide specifiers with an expressive and flexible tool kit to define the intended behaviour of a system in such a way that unexpected or unwanted behaviours are guaranteed not to take place. In this paper we extend out analysis of CSPt and introduce the notion of an alphabet diagram that illustrates the different categories of events that can arise in the parallel composition of processes. These alphabet diagrams are then used to analyse networks of three processes in parallel with the aim of identifying sufficient constraints to ensure associativity of their parallel composition. Having achieved this we then proceed to prove associativity laws for the three parallel operators of CSPt. Next, we illustrate how to design and construct a network of three processes that satisfy the associativity law, using the associativity theorem and alphabet diagrams. Finally, we outline how this could be achieved for more general networks of processes.

Successful termination in timed CSP

In proposing theories of how we should design and specify networks of processes it is necessary to show that the semantics of any language we use to write down the intended behaviours of a system has several qualities. First in that the meaning of what is written on the page reflects the intention of the designer; second that there are no unexpected behaviours that might arise in a specified system that are hidden from the unsuspecting specifier; and third that the intention for the design of the behaviour of a network of processes can be communicated clearly and intuitively to others. In order to achieve this we have developed a variant of CSP, called CSPt, designed to solve the problems of termination of parallel processes present in the original formulation of CSP. In CSPt we introduced three parallel operators, each with a different kind of termination semantics, which we call synchronous, asynchronous and race. These operators provide specifiers with an expressive and flexible tool kit to define the intended behaviour of a system in such a way that unexpected or unwanted behaviours are guaranteed not to take place. In this paper we extend out analysis of CSPt and introduce the notion of an alphabet diagram that illustrates the different categories of events that can arise in the parallel composition of processes. These alphabet diagrams are then used to analyse networks of three processes in parallel with the aim of identifying sufficient constraints to ensure associativity of their parallel composition. Having achieved this we then proceed to prove associativity laws for the three parallel operators of CSPt. Next, we illustrate how to design and construct a network of three processes that satisfy the associativity law, using the associativity theorem and alphabet diagrams. Finally, we outline how this could be achieved for more general networks of processes.

Dans le Noir? Eating in the dark: sensation and conviviality in a lightless place

Drawing on ethnographic interviews with customers, this paper looks at the experience of dining at Dans le Noir?, a restaurant in London where eating is carried out in complete darkness. As an exemplary gastro-tourist site within the expanding leisure economy at which sensory alterity is sought, we argue that the transformation of the usual unreflexive habits of sensing while dining offer opportunities to encounter difference and reflect upon our culturally located ways of sensing the world. In focusing upon the altered experience of apprehending space, eating and socialising in the absence of light, we contend that this dining experience offers broader suggestions about how we might reconsider the qualities and potentialities of darkness, a condition which has been historically feared and reviled in the west.