Introduction to Logic

Provides an overview of modern logic as used as a tool in the analysis of natural language-may be read independently of volume 2.

Volume 1, Introduction to Logic begins with a historical overview and then offers a thorough introduction to standard propositional and first-order predicate logic. It provides both a syntactic and a semantic approach to inference and validity, and discusses their relationship. Although language and meaning receive special attention, this introduction is also acce...