Towards a Proof Theory of G\"odel Modal Logics

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

What lies beneath: exploring links between asylum policy and hate crime in the UK

This paper explores the link between increasing incidents of hate crime and the asylum policy of successive British governments with its central emphasis on deterrence. The constant problematisation of asylum seekers in the media and political discourse ensures that 'anti-immigrant' prejudice becomes mainstr earned as a common-sense response. The victims are not only the asylum seekers hoping for a better life but democratic society itself with its inherent values of pluralism and tolerance debased and destabilised

Between history and values: A study on the nature of interpretation in international law

My thesis discusses the place of evaluative judgements in the interpretation of general international law. It concentrates on two questions. First, whether it is possible to interpret international legal practices without making an evaluative judgement about the point or value that provides the best justification of these practices. Second, whether the use of evaluative judgements in international legal interpretation threatens to undermine the objectivity of international law, the neutrality of international lawyers or the consensual and voluntary basis of the international legal system. I answer both questions in the negative. As regards the first, I argue that international legal practice has an interpretive structure, which combines appeals to the history of international practice with appeals to the principles and values that these practices are best understood as promoting. This interpretive structure is apparent not only in the claims of international lawyers about particular rules of international law (here I use the rule of estoppel as an example) but also in the most basic intuitions of international theorists about the theory and sources of general international law. I then argue that some popular concerns to the effect that the exercise of evaluation in the interpretation of international law will undermine the coherence or the usefulness of the discipline are generally unwarranted. The fact that international legal practice has an interpretive structure does not entail that propositions of international law are only subjectively true, that the interpreter enjoys license to manipulate their meaning for self-serving purposes, or that international law will collapse under the weight of irresolvable disagreements, divisions and conflicts about its proper interpretation