The forms and scope of logic rest on assumptions of how language and reasoning connect to
experience. In this volume an analysis of meaning and truth provides a foundation for studying
modern propositional and predicate logics. Chapters on propositional logic, parsing propositions, and meaning, truth and reference give a basis for criteria that can be used to judge formalizations of ordinary language arguments. Over 120 worked examples of formalizations of propositions and arguments illustrate the scope and limitations of modern logic, as analyzed in chapters on identity, quantifiers,...