A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an (...) up-to-date and reliable guide essential for the student. (shrink)

The development of electronic agents that increasingly play an active role in the contract formation and execution process has highlighted the need for the creation of law-abiding autonomous agent systems. The principle of good faith is an important guideline for contractual behaviour which permeates civil law systems. This paper examines how this principle is applied both during the negotiation of a contract and during its performance. Selected examples from civil law literature of precontractual duties of good faith, and of precontractual (...) behaviour that is deemed to be contrary to good faith, are discussed. This is followed by a discussion of the extent to which such duties are recognised, or such behaviour proscribed, in common law jurisdictions. Some common standards for precontractual behaviour in civil and common law systems are identified. There is then a parallel analysis of the principle of good faith in contract performance with a view to identifying common traits or standards between civil and common law systems. These standards, in the situation where contracts are being negotiated and/or performed by or through electronic agents, would need to be reflected in the way such agents operate. (shrink)

This paper is about three distinct but interrelated problems: (1) the role 0f rights in moral theory, (2) thc characterization 0f agent relative values and their admissibility in consequ<—:ncc—bascd evaluation, and ( 3) the nature 0f moral evaluation 0f states 0f aihirs.

CHAPTER 1 From Bentham to Kanger I. Introduction In the analytical tradition established by Jeremy Bentham and John Austin, and continued in the twentieth ...