Investigates new areas including ethics, political science and methodology of natural and social sciences, in which mathematical techniques are applied to formal methods Topics include uses of probable and statistical reasoning, rational choice theory, reasoning in the environmental sciences Presents an anthology of papers collected from leading researchers in the area who discuss some of the most fascinating ways formal methods are being applied