title: Liberalising Event B without changing it

authors: Reeves, Steve

subjects: process refinement

abstract: We transfer a process algebraic notion of refinement to the B method by using the well-known bridge between the relational semantics underlying the B machines and the labelled transition system semantics of processes. Thus we define delta refinement on Event B systems. We then apply this new refinement to a problem from the literature that previously could only be solved by retrenchment.

text: Liberalising Event B without changing it We transfer a process algebraic notion of refinement to the B method by using the well-known bridge between the relational semantics underlying the B machines and the labelled transition system semantics of processes. Thus we define delta refinement on Event B systems. We then apply this new refinement to a problem from the literature that previously could only be solved by retrenchment.

year: 2006-07-01

title: Islamic Law of Warfare and the Question of Suicide Terrorism: An Usuli Twelver Shia Perspective

authors: Mortaza, Shams

subjects: Islamic law

abstract: Terrorism in the name of religion and ethnicity is the most important security challenge facing the world since the cold war. Among different types of terrorism its suicide version is the most complicated one to combat. Because a very high number of the current suicide attacks against civilian targets are executed by Muslim militants, suicide terrorism is associated with the religion of Islam. Muslim militant groups use Islamic jurisprudential terms, including jihad, to justify their otherwise felonious acts of terrorism. This tactic of sanctification of criminal acts of terrorism by use of Islamic legal terms and language may lead one to decide that it is Islamic law per se that is the driving force behind the current phenomenon of suicide terrorism. Since it was the Twelver Shia Muslims of Lebanon who began the use of suicide tactics in its current form, Shia Islam, as the branch of the faith in which its followers are seen as pioneers of suicide operations, is naturally the major focus of interest in this regard. 
On account of the widespread use of juridical language by organisers and supporters of suicide terrorism, this thesis investigates whether suicide terrorism as such falls within the rules of legitimate warfare (jihad) as found in Usuli Twelver Shia Islamic law, or not. A detailed discussion of contested interpretations of Islam leads to an examination of Shia jurisprudence which then enables a critical evaluation of Jihad in Shia Jurisprudence and a critical discussion of jihad and suicide terrorism. Islamic jurisprudentialism, or fiqh mindedness, provides a language utilised by violent Muslim extremists who have recourse to, or who otherwise support, suicide terrorism. Furthermore, fatwas are also used by violent extremist Muslims to imbue their orders and prohibitions with a sense of religious holiness and sanction. This provides a context wherein their rulings are promoted as beyond dispute. Thus, with respect to Shia jurisprudence, the mechanism in which religious law is made will be laid bare and the criteria for distinguishing a valid fatwa will be illustrated. All elements of Usuli Shia Islamic law which are related to warfare (as armed violence) will be discussed, and their potential to be used as a justification for suicide terrorism will be closely examined, as will the non-jurisprudential justifications which are also used. It will be argued that, for the most part, current normative uses of Usuli Twelver Shia jurisprudential justification of suicide terrorism constitutes a departure from the authentic Shia tradition.

text: Islamic Law of Warfare and the Question of Suicide Terrorism: An Usuli Twelver Shia Perspective Terrorism in the name of religion and ethnicity is the most important security challenge facing the world since the cold war. Among different types of terrorism its suicide version is the most complicated one to combat. Because a very high number of the current suicide attacks against civilian targets are executed by Muslim militants, suicide terrorism is associated with the religion of Islam. Muslim militant groups use Islamic jurisprudential terms, including jihad, to justify their otherwise felonious acts of terrorism. This tactic of sanctification of criminal acts of terrorism by use of Islamic legal terms and language may lead one to decide that it is Islamic law per se that is the driving force behind the current phenomenon of suicide terrorism. Since it was the Twelver Shia Muslims of Lebanon who began the use of suicide tactics in its current form, Shia Islam, as the branch of the faith in which its followers are seen as pioneers of suicide operations, is naturally the major focus of interest in this regard. 
On account of the widespread use of juridical language by organisers and supporters of suicide terrorism, this thesis investigates whether suicide terrorism as such falls within the rules of legitimate warfare (jihad) as found in Usuli Twelver Shia Islamic law, or not. A detailed discussion of contested interpretations of Islam leads to an examination of Shia jurisprudence which then enables a critical evaluation of Jihad in Shia Jurisprudence and a critical discussion of jihad and suicide terrorism. Islamic jurisprudentialism, or fiqh mindedness, provides a language utilised by violent Muslim extremists who have recourse to, or who otherwise support, suicide terrorism. Furthermore, fatwas are also used by violent extremist Muslims to imbue their orders and prohibitions with a sense of religious holiness and sanction. This provides a context wherein their rulings are promoted as beyond dispute. Thus, with respect to Shia jurisprudence, the mechanism in which religious law is made will be laid bare and the criteria for distinguishing a valid fatwa will be illustrated. All elements of Usuli Shia Islamic law which are related to warfare (as armed violence) will be discussed, and their potential to be used as a justification for suicide terrorism will be closely examined, as will the non-jurisprudential justifications which are also used. It will be argued that, for the most part, current normative uses of Usuli Twelver Shia jurisprudential justification of suicide terrorism constitutes a departure from the authentic Shia tradition.

year: 2016

title: Can te ao Māori worldviews exist within a western institute’s online teaching and learning environment?

authors: Hudson, Petera Whaiao

subjects: whakawhanaungatanga

abstract: Tertiary institutions in Aotearoa (New Zealand) offer students online teaching and learning papers across a variety of disciplines. The purpose of this research was to examine whether online teaching and learning environments in a tertiary institute provide opportunities to create conditions that promote te ao Māori (a Māori world view) aspirations for Māori scholars. Following a critical review of selected literature on how technologies and its pedagogical implications can realise cultural, educational, political and social aspirations in an online environment (see Chapter 2), the ethical practices according to Kaupapa Māori theory methodology, whakawhanaungatanga and spiral discourse is outlined (see Chapter 3). These practices together with spiral discourse and conversation analysis, were used to analyse the factors that facilitated or hindered optimal conditions that promoted teacher and student aspirations in the online environment (see Chapter 4). That analysis, conducted in relation to a number of focus points, revealed that when Māori practices of tikanga and ako pedagogy were applied in this realm, Māori scholars experienced the fulfilment of personal aspirations. Participants also experienced positive outcomes when whanaungatanga, the creation of interrelationships relationships between Māori students and teachers, whānau, friends, colleagues, was a focus together with good support facilities and services, and quality resources. This research supports the conclusion that online teaching and learning environments in a tertiary institute can provide opportunities to create conditions that promote te ao Māori aspirations for Māori scholars. Further investigations are needed to unravel the types and nature of the interrelationships between ako Māori pedagogies and the student and teacher, and whanaungatanga between students and other students that facilitate conditions that promoted Māori aspirations in an online environment.

text: Can te ao Māori worldviews exist within a western institute’s online teaching and learning environment? Tertiary institutions in Aotearoa (New Zealand) offer students online teaching and learning papers across a variety of disciplines. The purpose of this research was to examine whether online teaching and learning environments in a tertiary institute provide opportunities to create conditions that promote te ao Māori (a Māori world view) aspirations for Māori scholars. Following a critical review of selected literature on how technologies and its pedagogical implications can realise cultural, educational, political and social aspirations in an online environment (see Chapter 2), the ethical practices according to Kaupapa Māori theory methodology, whakawhanaungatanga and spiral discourse is outlined (see Chapter 3). These practices together with spiral discourse and conversation analysis, were used to analyse the factors that facilitated or hindered optimal conditions that promoted teacher and student aspirations in the online environment (see Chapter 4). That analysis, conducted in relation to a number of focus points, revealed that when Māori practices of tikanga and ako pedagogy were applied in this realm, Māori scholars experienced the fulfilment of personal aspirations. Participants also experienced positive outcomes when whanaungatanga, the creation of interrelationships relationships between Māori students and teachers, whānau, friends, colleagues, was a focus together with good support facilities and services, and quality resources. This research supports the conclusion that online teaching and learning environments in a tertiary institute can provide opportunities to create conditions that promote te ao Māori aspirations for Māori scholars. Further investigations are needed to unravel the types and nature of the interrelationships between ako Māori pedagogies and the student and teacher, and whanaungatanga between students and other students that facilitate conditions that promoted Māori aspirations in an online environment.

year: 2020