Democracry and the Individual

The main question informing this paper is whether it is possible to extend democracy beyond its liberal forms. The paper reflects upon this question with regard to its implications for the individual. For the radicalization of democracy implies a need for self-transformation, if the everyday egoism of contemporary citizens is not to thwart reasonable discussion and participation. Theorists such as Richard Rorty argue that the philosophical resources required to guide such self-transformation can be made available only by sacrificing the political freedom and cultural diversity liberalism has been able to precariously establish. Other theorists insist that the thresholds of pluralism and tolerance that existing liberal democracies are struggling to maintain actually require an extension of democracy. The paper evaluates two different theoretical strategies that aim to identify potentials for democratization without falling prey to the dilemma identified by Rorty: a ‘ deliberative’ strategy explicated with reference to Jürgen Habermas and an ‘existential’ approach represented here by William Connolly.

Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.