Formal Languages in Logic

Explore the fascinating intersection of formal languages and human reasoning in Formal Languages in Logic by Catarina Dutilh Novaes, published by Cambridge University Press in 2014. This insightful book spans 284 pages and presents a fresh perspective on formal languages, particularly their application in logic. Novaes delves into the cognitive implications these languages have on reasoning, weaving together insights from historical developments, psychology, cognitive science, and philosophy. Ideal for students and researchers in logic and computer science, this book invites readers to reconsider the role of formal languages in shaping our thought processes. Enhance your understanding of cognition and reasoning with this essential addition to your academic library.