Logic, Language, and Meaning, Volume 1: Introduction to LogicUniversity of Chicago Press, 1991 - 296 oldal 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. |
Tartalomjegyzék
1 | 1 |
Chapter | 6 |
1 | 7 |
1 | 13 |
Modal Propositional Logic | 19 |
4 | 32 |
Intensional Predicate Logic | 45 |
The Semantics of Modal Predicate Logic | 53 |
Chapter 5 | 117 |
5 | 125 |
6 | 131 |
11234673 | 157 |
32 | 163 |
4 | 203 |
6 | 214 |
Chapter 7 | 222 |
Más kiadások - Összes megtekintése
Logic, Language, and Meaning, Volume 1: Introduction to Logic L. T. F. Gamut Korlátozott előnézet - 1991 |
Logic, Language, and Meaning, Volume 1: Introduction to Logic, 1. kötet L. T. F. Gamut Nincs elérhető előnézet - 1990 |
Logic, Language, and Meaning, Volume 1: Introduction to Logic L. T. F. Gamut Nincs elérhető előnézet - 1991 |
Gyakori szavak és kifejezések
ˇX(x 3x(UNICORN(X A-conversion accessibility relation analysis tree applied asserts Barcan formula cate categorial grammar characteristic function clause clause iv compositionality constant of type construction context corresponding defined definite descriptions determiners domain DRSS equivalent example Exercise expression of type extension extensional formula Frege Function from worlds given individual concepts intensional logic intensional theory intensional type interpretation function introduced kiss linguistic logical grammar loves Mary modal predicate logic modal propositional logic Montague grammar natural language negation notation notion obtain one-place operators possible worlds principle problem proper names propositional logic reference representation result rigid designators second-order predicate sentence sets of entities syntactic rules syntax tense logic theorem theory of meaning theory of types things tion translation true truth definition truth value two-place type theory upward monotonic V^-elim valid variable of type verb VM,w w₁ w₂ walks