This is the first comprehensive account of the concept and practices of deduction that brings together perspectives from philosophy, history, psychology and cognitive science, and mathematics. It will be of interest to a range of readers, from advanced students to senior scholars, and from philosophers to mathematicians and cognitive scientists.
Catarina Dutilh Novaes Bücher


'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.