| Type de document : | Ouvrage |
| Titre : | Logic, language, and meaning. Volume 1 : Introduction to logic |
| Auteurs : | L. T. F GAMUT, Auteur |
| Editeur : | Chicago : UNIVERSITY OF CHICAGO PRESS, 1991 |
| Langues | Anglais |
| Format : | 282 p. / tabl., graph. |
| Présentation : | tabl., graph. |
| ISBN/ISSN/EAN : | 978-0-226-28085-1 |
| Mots-clés : |
Nom Commun MANUEL ; PHILOSOPHIE ; SCIENCES HUMAINES |
| Résumé : |
This book 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.
Ce livre commence par un aperçu historique et offre ensuite une introduction approfondie à la logique propositionnelle standard et à la logique des prédicats du premier ordre. Il propose une approche à la fois syntaxique et sémantique de l'inférence et de la validité, et discute de leur relation. Bien que le langage et la signification fassent l'objet d'une attention particulière, cette introduction est également accessible à ceux qui ont un intérêt plus général pour la logique. En outre, le volume contient un aperçu de sujets tels que les descriptions définies, la quantification restreinte, la logique du second ordre et la logique multivaluée. L'approche pragmatique des implicatures conventionnelles et non conditionnelles à la vérité est également abordée. Enfin, la relation entre la logique et la syntaxe formelle est traitée, et les notions de règle de réécriture, d'automatisation, de complexité grammaticale et de hiérarchie du langage sont expliquées. |
Exemplaires (1)
| Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|
| 0.4 - 9409 | Ouvrage | Bibliothèque IFM | 0.4 Sciences sociales | Disponible |
