A Computational Framework for Institutional Agency

This paper provides a computational framework, based on Defeasible Logic, to capture some aspects of institutional agency. Our background is Kanger-Lindahl-P\"orn account of organised interaction, which describes this interaction within a multi-modal logical setting. This work focuses in particular on the notions of counts-as link and on those of attempt and of personal and direct action to realise states of affairs. We show how standard Defeasible Logic can be extended to represent these concepts: the resulting system preserves some basic properties commonly attributed to them. In addition, the framework enjoys nice computational properties, as it turns out that the extension of any theory can be computed in time linear to the size of the theory itself.

Social democracy and market reform in Australia and New Zealand

Social democratic governments in Australia and New Zealand adopted policies of radical free-market reform, including financial deregulation, privatization, and public-sector reform in the 1980s. Because of the absence of institutional obstacles to government action, reform was faster and more comprehensive in New Zealand than in Australia. The New Zealand reforms were associated with increasing inequality and generally poor economic outcomes. There is nothing in the New Zealand experience to support the view that radical free-market economic policies are consistent with social democratic welfare policies or with social democratic values of concern for the disadvantaged, The Australian reforms were less radical, and were accompanied by some refurbishment of the welfare state. Economic performance did nor improve, as anticipated by advocates of reform, but was considerably better than that of New Zealand.