Originally published in 1973, this book shows that methods developed for the semantics of systems of formal logic can be successfully applied to problems about

This is the second volume of a unique collection that brings together the best English-language problems created for students competing in the Computational Lin

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specifi

Examines the cognitive impact on formal languages for human reasoning, drawing on philosophy, historical development, psychology and cognitive science.

Argues that categorization, and not syntax, is the most important aspect of language, suggests that some philosophical problems are caused by an inadequate theo