Beschreibung:
An elementary introduction to formal logic, particularly intended for linguists and others interested in languages. Concepts and theories developed within formal logic for the study of artificial language have for some time been fruitfully applied to the study of natural languages, and some knowledge of them is now necessary for students of linguistic (especially semantics).
Preface; Symbols and notational conventions; 1. Logic for linguists; 2. Set theory; 3. Inference and logical analysis of sentences; 4. Propositional logic; 5. Predicate logic; 6. Deduction; 7. Modal logic; 8. Intensional logic and categorial grammar; 9. Further extensions; 10. Logic for linguists?; References; Answers to exercises; Index.