Logic in Linguistics

ISBN-13: 9780521291743 / Angielski / Miękka / 1977 / 196 str.

Jens Allwood; Osten Dahl; Lars-Gunnar Andersson

Opis

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.

Recenzje

'For the most part, this book is a pleasant introduction to the main topics of modern elementary logic up as far as the semantics of natural languages. It also touches on some areas which belong more to the semantics of natural languages than to logic proper, such as the semantics of categorial grammars or the analysis of presuppositions. The first aim is to tell the reader what techniques are available rather than to train him in any of them. In this aim the book succeeds well: it is clear, readable, accurate and up to date. There are sensible exercises to most chapters, and adequate references for the reader who wants to go deeper … the book can certainly be recommended as a text.' Journal of Linguistics

Spis treści

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.