The main purpose of this book is to bring together much of the research conducted in recent years in a subject I find both fascinating and impor tant, namely fairness. Much of the reported research is still in the form of technical reports, theses and conference papers, and only a small part has already appeared in the formal scientific journal literature. Fairness is one of those concepts that can intuitively be explained very brieft.y, but bear a lot of consequences, both in theory and the practicality of programming languages. Scientists have traditionally been attracted to studying such concepts. However, a rigorous study of the concept needs a lot of detailed development, evoking much machinery of both mathemat ics and computer science. I am fully aware of the fact that this field of research still lacks matu rity, as does the whole subject of theoretical studies of concurrency and nondeterminism. One symptom of this lack of maturity is the proliferation of models used by the research community to discuss these issues, a variety lacking the invariance property present, for example, in universal formalisms for sequential computing.

Formalization plays an important role in semantics. Doing semantics and following the literature requires considerable technical sophistica tion and acquaintance with quite advanced mathematical techniques and structures. But semantics isn't mathematics. These techniques and structures are tools that help us build semantic theories. Our real aim is to understand semantic phenomena and we need the technique to make our understanding of these phenomena precise. The problems in semantics are most often too hard and slippery, to completely trust our informal understanding of them. This should not be taken as an attack on informal reasoning in semantics. On the contrary, in my view, very often the essential insight in a diagnosis of what is going on in a certain semantic phenomenon takes place at the informal level. It is very easy, however, to be misled into thinking that a certain informal insight provides a satisfying analysis of a certain problem; it will often turn out that there is a fundamental unclarity about what the informal insight actually is. Formalization helps to sharpen those insights and put them to the test.

Existing only in manuscript since the 1940s but enjoying an underground reputation among friends and advocates, this primary document by one of the most original and influential of American poets and thinkers is now being published as Rational Meaning, Laura (Riding) Jackson's testament of the necessity of living for truth. Begun as a dictionary and thesaurus in the 1930s, the work developed into a fundamental reevaluation of language itself. Riding, in close collaboration with her husband, continued this monumental project over the succeeding decades, completing it after his death in 1968. At the core of Rational Meaning, which aims to restore the truth of language by arguing that meaning inheres in words, stands the idea that a total renovation of the knowledge of language is needed, not to develop mere verbal sophistication and respectability but fundamentally to reinvigorate the intellectual processes of consciousness. The book reveals the disastrous extent to which language has been "unlearned" and shows how it may be learned again. Rational Meaning will be essential reading, not only for students of literature but for radical-minded linguists and lexicographers unhappy with the orthodoxies current in their disciplines.