'Formal Languages in Logic' presents a new approach to formal languages, as used in logic. Focuses on their cognitive impact on human reasoning, and drawing on historical developments, psychology, cognitive science and philosophy, this book investigates broadly what exactly is going on when theorists put their tools to use.