| 000 | 01231pamuu2200337 i 4500 | |
| 001 | 000000644698 | |
| 005 | 20040615104842 | |
| 008 | 800722s1981 ne b 001 0 eng | |
| 010 | ▼a 80020267 | |
| 020 | ▼a 9027711410 | |
| 020 | ▼a 9027711429 (pbk.) | |
| 040 | ▼a DLC ▼c DLC ▼d UKM | |
| 049 | ▼l 111031095 ▼l 192028893 | |
| 050 | 0 | ▼a P158.5 ▼b .D6 |
| 082 | 0 | ▼a 415 ▼2 19 |
| 090 | ▼a 415 ▼b D752i | |
| 100 | 1 | ▼a Dowty, David R. |
| 245 | 1 0 | ▼a Introduction to Montague semantics / ▼c by David R. Dowty, Robert E. Wall, and Stanley Peters. |
| 260 | ▼a Dordrecht, Holland ; ▼a Boston : ▼b D. Reidel Pub. Co. ; ▼a Hingham, MA : ▼b sold and distributed in the U.S.A. and Canada by Kluwer Boston Inc., ▼c c1981. | |
| 300 | ▼a xi, 313 p. ; ▼c 23 cm. | |
| 440 | 0 | ▼a Synthese language library ; ▼v v. 11 |
| 500 | ▼a Includes index. | |
| 504 | ▼a Bibliography: p. 287-293. | |
| 650 | 0 | ▼a Montague grammar. |
| 650 | 0 | ▼a Semantics (Philosophy) |
| 650 | 0 | ▼a Generative grammar. |
| 650 | 0 | ▼a Formal languages ▼x Semantics. |
| 653 | ▼a Semantics ▼a Theories of Montague Richard, 1930-1971 | |
| 700 | 1 | ▼a Wall, Robert Eugene, ▼e joint author. |
| 700 | 1 | ▼a Peters, Stanley , ▼d 1941- ▼e joint author. |
Holdings Information
| No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
|---|---|---|---|---|---|---|---|
| No. 1 | Location Main Library/Western Books/ | Call Number 415 D752i | Accession No. 111031095 | Availability Available | Due Date | Make a Reservation | Service |
| No. 2 | Location Main Library/Western Books/ | Call Number 415 D752i | Accession No. 412651356 | Availability Available | Due Date | Make a Reservation | Service |
| No. 3 | Location Main Library/Research Institute of Korean Studies/ | Call Number 415 D752i | Accession No. 192028893 | Availability Loan can not(reference room) | Due Date | Make a Reservation | Service |
| No. 4 | Location Sejong Academic Information Center/Humanities 1/ | Call Number 415 D752i | Accession No. 452021803 | Availability Available | Due Date | Make a Reservation | Service |
| No. 5 | Location Sejong Academic Information Center/Stacks(Preservation)/ | Call Number 415 D752i | Accession No. 452036007 | Availability Available | Due Date | Make a Reservation | Service |
| No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
|---|---|---|---|---|---|---|---|
| No. 1 | Location Main Library/Western Books/ | Call Number 415 D752i | Accession No. 111031095 | Availability Available | Due Date | Make a Reservation | Service |
| No. 2 | Location Main Library/Western Books/ | Call Number 415 D752i | Accession No. 412651356 | Availability Available | Due Date | Make a Reservation | Service |
| No. 3 | Location Main Library/Research Institute of Korean Studies/ | Call Number 415 D752i | Accession No. 192028893 | Availability Loan can not(reference room) | Due Date | Make a Reservation | Service |
| No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
|---|---|---|---|---|---|---|---|
| No. 1 | Location Sejong Academic Information Center/Humanities 1/ | Call Number 415 D752i | Accession No. 452021803 | Availability Available | Due Date | Make a Reservation | Service |
| No. 2 | Location Sejong Academic Information Center/Stacks(Preservation)/ | Call Number 415 D752i | Accession No. 452036007 | Availability Available | Due Date | Make a Reservation | Service |
Contents information
Table of Contents
1. Introduction.- 2. The Syntax and Semantics of Two Simple Languages.- I. The Language L0.- 1. Syntax of L0.- 2. Semantics of L0.- II. The Language L0E.- 1. Syntax of L0E.- 2. Semantics of L0E.- 3. Alternative Formulations of L0E and L0.- III. A Synopsis of Truth-Conditional Semantics.- IV. The Notion of Truth Relative to a Model.- V. Validity and Entailment Defined in Terms of Possible Models.- VI. Model Theory and Deductive Systems.- Exercises.- Note.- 3. First-Order Predicate Logic.- I. The Language L1.- 1. Syntax of L1.- 2. Semantics of L1.- II. The Language L1E.- 1. Syntax of L1E.- 2. Semantics of L1E.- Exercises.- Notes.- 4. A Higher-Order Type-Theoretic Language.- I. A Notational Variant of L1.- II. The Language Ltype.- 1. Syntax of Ltype.- 2. Semantics of Ltype.- III. Lambda Abstraction and the Language L?.- Exercises.- Notes.- 5. Tense and Modal Operators.- I. Tense Operators and Their Interpretation.- II. The Other Varieties of Modal Logic; the Operators ? and ?.- III. Languages Containing Both Tense and Modal Operators: Coordinate Semantics.- Exercises.- Notes.- 6. Montague's Intensional Logic.- I. Compositionality and the Intension-Extension Distinction.- II. The Intensional Logic of PTQ.- 1. Syntax of IL.- 2. Semantics of IL.- III. Examples of 'Oblique Contexts' as Represented in IL.- IV. Some Unresolved Issues with Possible Worlds Semantics and Propositional Attitudes.- Notes.- 7. The Grammar of PTQ.- I. The Overall Organization of the PTQ Grammar.- 1. The Syntactic Categories of English in the PTQ Grammar.- 2. The Correspondence Between Categories of English and Types of IL.- II. Subject-Predicate and Determiner-Noun Rules.- III. Conjoined Sentences, Verb Phrases, and Term Phrases.- IV. Anaphoric Pronouns as Bound Variables; Scope Ambiguities and Relative Clauses.- V. Be, Transitive Verbs, Meaning Postulates, and Non-Specific Readings.- VI. Adverbs and Infinitive Complement Verbs.- VII. De dicto Pronouns and Some Pronoun Problems.- VIII. Prepositions, Tenses, and Negation.- Exercises.- Notes.- 8. Montague's General Semiotic Program.- 9. An Annotated Bibliography of Further Work in Montague Semantics.- Appendix I: Index of Symbols.- Appendix II: Variable Type Conventions for Chapter 7.- Notes.- References.- Answers to Selected Problems and Exercises.
Information Provided By: :
