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...

The series is a platform for contributions of all kinds to this rapidly developing field. General problems are studied from the perspective of individual languages, language families, language groups, or language samples. Conclusions are the result of a deepened study of empirical data. Special emphasis is given to little-known languages, whose analysis may shed new light on long-standing problems in general linguistics.