Presents a new approach to formal languages in particular but not exclusively as used in logic. Focuses on their cognitive impact on human reasoning drawing on historical developments psychology cognitive science and philosophy. For students and researchers in the areas of logic and computer science.