Conflicting obligations: Pufendorf, Leibniz and Barbeyrac on civil authority

Barbeyrac's republication of and commentary on Leibniz' attack on Pufendorf's natural-law doctrine is often seen as symptomatic of the failure of all three early moderns to solve a particular moral-philosophical problem: that of the relationship between civil authority and morality. Making use of the first English translation of Barbeyrac's work, this article departs from the usual view by arguing that here we are confronted by three conflicting constructions of civil obligation, arising not from the common intellectual terrain of moral philosophy, but from divergent religious and political cultures. If this approach makes the three constructions less susceptible to theoretical reconciliation, then it opens them to a more revealing historical investigation, in terms of the particular religious and political circumstances in which they arose, and which they were designed to address. The result is that these early modern struggles over the nature of civil obligation confront us again as unfinished historical business.

Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations

In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intuition behind the system is that a contrary-to-duty is a special kind of normative exception. The logical machinery to formalise this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the notion of reparational obligation. Then the system is tested against well-known contrary-to-duty paradoxes.

The market valuation of environmental capital expenditures by pulp and paper companies

The objective of this study is to examine the market valuation of environmental capital expenditure investment related to pollution abatement in the pulp and paper industry. The total environmental capital expenditure of $8.7 billion by our sample firms during 1989-2000 supports the focus on this industry. In order to be capitalized, an asset should be associated with future economic benefits. The existing environmental literature suggests that investors condition their evaluation of the future economic benefits arising from environmental capital expenditure on an assessment of the firms' environmental performance. This literature predicts the emergence of two environmental stereotypes: low-polluting firms that overcomply with existing environmental regulations, and high-polluting firms that just meet minimal environmental requirements. Our valuation evidence indicates that there are incremental economic benefits associated with environmental capital expenditure investment by low-polluting firms but not high-polluting firms. We also find that investors use environmental performance information to assess unbooked environmental liabilities, which we interpret to represent the future abatement spending obligations of high-polluting firms in the pulp and paper industry. We estimate average unbooked liabilities of $560 million for high-polluting firms, or 16.6 percent of market capitalization.

WTO oriented telecommunications reform in the Socialist Republic of Vietnam

Socialist Republic of Vietnam's reform process in the telecommunications sector - obligations imposed on Vietnam by the Bilateral Trade Agreement (BTA) - the regulatory framework required by the General Agreement on Trade in Services (GATS) and the associated, telecommunications-specific WTO agreements - institutional and political problems that may hinder full implementation of these international obligations.

Extending choreography with business contract constraints

Business contracts play a central role in governing commercial interactions between organizations. It is increasingly recognized that business contract conditions need to be closely linked to internal and external business processes, both to reduce the risk of contract violations and to ensure compliance with legislative regimes. Recent research has proposed contract languages allowing the specification of obligations, permissions and prohibitions in business contracts. Business processes that cross-organizational boundaries can be specified in choreography and coordination languages but these do not provide appropriate abstractions for contract constraints. In this paper, we examine the transformation of contract constraints in a business contract language into expressions in a choreography language. An example cross-organizational process is presented, along with a specification of the process in a choreography language and a specification of a set of contract conditions for the process in a business contract language. The contract terms are then translated into choreography expressions that govern the process to ensure compliance. Subsequent discussion explores a number of business and technology issues related to the results. We conclude that cross-organizational business processes can be monitored and enforced according to business contract specifications through the transformation of a contract definition to constraints on process behavior.

OHS in the nursing workplace: accountability and the management of stress

There has been growing interest in occupational stress in the nursing context, both in New Zealand and internationally. This article takes a critical approach to the literature on nursing stress by examining the implications of a body of research largely informed by a theoretical approach which highlights the individual. In spite of evidence that the main sources of stress for nurses are related to workplace conditions, the focus is on the individual nurse and his/her personal response to stress. This approach encourages the development of interventions where the objectives are the individual management of stress, and thereby consolidates nurses' perceptions of powerlessness. Alternatives to these palliative measures, such as highlighting the legal obligations for employers to provide a safe workplace or collective industrial action for change, are glaringly absent in the literature. The importance of such an approach is supported by recent findings from the United States on the advantages of hospitals which promote nurses' autonomy and control.

Effects of psychological contract breach on performance of IT employees: The mediating role of affective commitment

In this study, we investigated the relationships between psychological contract breach, affective commitment, and two types of employee performance (i.e. civic virtue behaviour and in-role performance). It was predicted that an experience of contract breach can severely hurt the affective commitment of the employees and this, in turn, results in poor in-role performance and less civic virtue behaviours. Results revealed that affective commitment had differential mediating effects on the two types of employee performance. That is, affective commitment mediated the relationship between breach and self-reported and supervisor-rated civic virtue, but not the relationship between breach and in-role performance.

Workplace familism and psychological contract breach in the Philippines

The present study addresses the call for theory-based investigations on workplace familism. It contributes to the literature by proposing and testing the moderating role of workplace familism between psychological contract breach and civic virtue behaviour. We surveyed 267 full-time employees and found main effects of both types of workplace familism (i.e. workplace organisational and workplace supervisor familism) and breach of relational obligations on civic virtue behaviour. Workplace supervisor familism also moderated the relationship between breach and civic virtue behaviour, with the negative relationship between breach and civic virtue behaviour stronger when workplace supervisor familism was high. This suggests that employees with a high level of workplace supervisor familism may feel a sense of betrayal and, therefore, respond more negatively to contract breach. Implications for practice and directions for future research are discussed.

Determining the specification of a control system from that of its environment

Well understood methods exist for developing programs from given specifications. A formal method identifies proof obligations at each development step: if all such proof obligations are discharged, a precisely defined class of errors can be excluded from the final program. For a class of closed systems such methods offer a gold standard against which less formal approaches can be measured. For open systems -those which interact with the physical world- the task of obtaining the program specification can be as challenging as the task of deriving the program. And, when a system of this class must tolerate certain kinds of unreliability in the physical world, it is still more challenging to reach confidence that the specification obtained is adequate. We argue that widening the notion of software development to include specifying the behaviour of the relevant parts of the physical world gives a way to derive the specification of a control system and also to record precisely the assumptions being made about the world outside the computer.

Incremental derivation of abstraction relations for data refinements

Data refinements are refinement steps in which a program’s local data structures are changed. Data refinement proof obligations require the software designer to find an abstraction relation that relates the states of the original and new program. In this paper we describe an algorithm that helps a designer find an abstraction relation for a proposed refinement. Given sufficient time and space, the algorithm can find a minimal abstraction relation, and thus show that the refinement holds. As it executes, the algorithm displays mappings that cannot be in any abstraction relation. When the algorithm is not given sufficient resources to terminate, these mappings can help the designer find a suitable abstraction relation. The same algorithm can be used to test an abstraction relation supplied by the designer.