Fai clic su di un'immagine per andare a Google Ricerca Libri.
Sto caricando le informazioni... Logic, Language, and Meaning, Volume 1: Introduction to Logicdi L. T. F. Gamut
Nessuno Sto caricando le informazioni...
Iscriviti per consentire a LibraryThing di scoprire se ti piacerà questo libro. Attualmente non vi sono conversazioni su questo libro. I bought Logic, Language, and Meaning for the chapter on three-valued logics and so far have only read that, but time permitting I'd like to work my way through the whole volume because it looks to be a very comprehensive survey. If you want to know the difference between propositional logic and predicate logic, first-order logic and second-order logic and so on, this appears to be the book for you. From skimming it seems like a mathematically adept person could start from nothing at chapter 1 and not get lost, though chapters also appear to be reasonably self-contained, so someone with more experience can skip around. There are end-of-chapter exercises and solutions. If only there were enough hours in the day. nessuna recensione | aggiungi una recensione
Appartiene alle Serie
Although the two volumes of Logic, Language, and Meaning can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions. Volume 1, Introduction to Logic, begins with a historical overview and then offers a thorough introduction to standard propositional and first-order predicate logic. It provides both a syntactic and a semantic approach to inference and validity, and discusses their relationship. Although language and meaning receive special attention, this introduction is also accessible to those with a more general interest in logic. In addition, the volume contains a survey of such topics as definite descriptions, restricted quantification, second-order logic, and many-valued logic. The pragmatic approach to non-truthconditional and conventional implicatures are also discussed. Finally, the relation between logic and formal syntax is treated, and the notions of rewrite rule, automation, grammatical complexity, and language hierarchy are explained. Non sono state trovate descrizioni di biblioteche |
Discussioni correntiNessuno
Google Books — Sto caricando le informazioni... VotoMedia:
Sei tu?Diventa un autore di LibraryThing. |