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 languages have for some time been fruitfully applied to the study of natural languages and some knowledge of them is necessary for students of linguists (especially semantics). With this need in mind the authors offer a clear, succinct and basic introduction to set theory, inference, propositional and predicate logic, deduction, modal and intensional logic, and various concomitant extensions of these. There is a discussion too of the relation between linguistics and logical analysis and between logic and natural language. The authors see increasing scope for co-operation between logicians and linguistics in studying the structure of language, and it is the overall aim of the book to promote this co-operation.
This gets two stars not because it's bad, but because it lacks certain things to make it truly good. I guess this is interesting for lots of people, but you'll surely benefit much more from this book than I did if you:
1) Are taking a class in formal linguistics. 2) Have studied philosophy/mathematics/logic.
The book really lacks examples. The authors don't really show the applicability of the concepts they introduce, and they introduce way too may of them. They seem much more concerned with logic than linguistics, and they could very well have added another 50 pages in order to make the material more accessible.
It has a vocabulary of logic terms that's really good though. For that alone the book is worth getting.