This book concerns the philosophical analysis of modal sentences. David Lewis’ Modal Translation Scheme "translates" sentences of quantified modal logic into

This book introduces the reader to relevant logic and provides it with a philosophical interpretation. The defining feature of relevant logic is that it forces

This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989.

Geoffrey Hellman presents a detailed interpretation of mathematics as the investigation of structural possibilities, as opposed to absolute, Platonic objects. A

The fascinating process of translation in its many varieties is the subject of the essays in this book. Five of the essays discuss the theoretical aspects commo