Fundamentalism,Radicalization and Terrorism. Part 1: terrorism as dissolution in a complex system

In the first of two papers in this Special Issue, Lord Alderdice draws on his personal experience of living and working in Northern Ireland and other countries that have suffered from terrorism, and describes from a psychoanalytic and systemic perspective the history of national, cultural and political conflicts which form the backdrop to the struggles against fundamentalism, radicalization and terrorism in current times. By examining and understanding the group dynamics and collective experiences of minority populations that have suffered generations of subjugation, humiliation and injustice at the hands of others, Lord Alderdice demonstrates how terrorism is not an individual but a group phenomenon and that any successful intervention aimed at reducing fundamentalism, radicalization and terrorism needs to identify and take into account the complex relational processes and experiences in all parties involved in the current global conflict.     

Algebras of Intervals and a Logic of Conditional Assertions

Intervals in boolean algebras enter into the study of conditional assertions (or events) in two ways: directly, either from intuitive arguments or from Goodman, Nguyen and Walker's representation theorem, as suitable mathematical entities to bear conditional probabilities, or indirectly, via a representation theorem for the family of algebras associated with de Finetti's three-valued logic of conditional assertions/events. Further representation theorems forge a connection with rough sets. The representation theorems and an equivalent of the boolean prime ideal theorem yield an algebraic completeness theorem for the three-valued logic. This in turn leads to a Henkin-style completeness theorem. Adequacy with respect to a family of Kripke models for de Finetti's logic, ukasiewicz's three-valued logic and Priest's Logic of Paradox is demonstrated. The extension to first-order yields a short proof of adequacy for Körner's logic of inexact predicates.