{"product_id":"foundations-of-intensional-semantics-paperback-softback-9780631233763","title":"Foundations of Intensional Semantics (Paperback \/ softback) 9780631233763","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eFoundations of Intensional Semantics\u003c\/font\u003e\u003cbr\u003e\r\n\r\n\r\n\r\n\r\n\r\n\u003c\/p\u003e\n\u003cp\u003e\u003cfont size=\"4\"\u003eChris Fox (Author), Shalom Lappin (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780631233763, Wiley\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePaperback \/ softback, published 17 June 2005\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e208 pages\u003cbr\u003e23 x 15.5 x 1.6 cm, 0.313 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cem\u003e\u003cfont size=\"3\"\u003e\"The book is a must reading for any semanticist who has ever asked herself what intensions actually are.\" \u003ci\u003eThe Linguist List\u003c\/i\u003e\u003cbr\u003e \u003cp\u003e“Fox and Lappin present a new solution to one of the long-standing issues in formal semantics: how to distinguish logically equivalent from semantically equivalent propositions. This is a valuable contribution to the foundations of formal semantics of natural language.” \u003ci\u003eStephen G. Pulman, Oxford University\u003c\/i\u003e\u003cbr\u003e \u003c\/p\u003e \u003cp\u003e\u003cbr\u003e \u003c\/p\u003e \u003cp\u003e“This is an excellent addition to the literature on the foundations of natural language semantics. The logical issues are carefully and insightfully addressed and much advanced material is brought together for the first time. Semanticists cannot afford not to read it.” \u003ci\u003eRaymond Turner, University of Essex\u003c\/i\u003e\u003cbr\u003e \u003c\/p\u003e \u003cp\u003e\u003cbr\u003e \u003c\/p\u003e \u003cp\u003e\u003cbr\u003e \u003c\/p\u003e\u003c\/font\u003e\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eThis book provides a systematic study of three foundational issues in the semantics of natural language that have been relatively neglected in the past few decades.\u003cbr\u003e \u003cul class=\"noindent\"\u003e \u003cli\u003efocuses on the formal characterization of intensions, the nature of an adequate type system for natural language semantics, and the formal power of the semantic representation language\u003cbr\u003e \u003c\/li\u003e \u003cli\u003eproposes a theory that offers a promising framework for developing a computational semantic system sufficiently expressive to capture the properties of natural language meaning while remaining computationally tractable\u003cbr\u003e \u003c\/li\u003e \u003cli\u003ewritten by two leading researchers and of interest to students and researchers in formal semantics, computational linguistics, logic, artificial intelligence, and the philosophy of language\u003c\/li\u003e \u003c\/ul\u003e\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePreface. \u003cp\u003e1. Introduction.\u003c\/p\u003e \u003cp\u003e1.1 Montague’s Intensional Logic.\u003c\/p\u003e \u003cp\u003e1.2 Architectural Features of IL.\u003c\/p\u003e \u003cp\u003e1.3 Structure of the Book.\u003c\/p\u003e \u003cp\u003e2. Alternative Approaches to Fine-Grained Intensionality.\u003c\/p\u003e \u003cp\u003e2.1 An Algebraic Representation of Possible Worlds Semantics.\u003c\/p\u003e \u003cp\u003e2.2 Two Strategies for Hyperintensionalism.\u003c\/p\u003e \u003cp\u003e2.3 Thomason’s Intentional Logic.\u003c\/p\u003e \u003cp\u003e2.4 Bealer’s Intensional Logic.\u003c\/p\u003e \u003cp\u003e2.5 Structured Meanings and Interpreted Logical Forms.\u003c\/p\u003e \u003cp\u003e2.6 Landman’s Data Semantics.\u003c\/p\u003e \u003cp\u003e2.7 Situation Semantics and Infon Algebras.\u003c\/p\u003e \u003cp\u003e2.8 Situations as Partial Models.\u003c\/p\u003e \u003cp\u003e2.9 Topos Semantics.\u003c\/p\u003e \u003cp\u003e2.10 Conclusion.\u003c\/p\u003e \u003cp\u003e3 Intensions as Primitives.\u003c\/p\u003e \u003cp\u003e3.1 A Simple Intensional Theory.\u003c\/p\u003e \u003cp\u003e3.2 Types and Sorts.\u003c\/p\u003e \u003cp\u003e3.3 Abstraction and Application.\u003c\/p\u003e \u003cp\u003e3.4 PT: An Untyped Theory.\u003c\/p\u003e \u003cp\u003e3.5 Intensionality in FIL and PTCT.\u003c\/p\u003e \u003cp\u003e3.6 Conclusions.\u003c\/p\u003e \u003cp\u003e4. A Higher-Order, Fine-Grained Intensional Logic.\u003c\/p\u003e \u003cp\u003e4.1 Introduction.\u003c\/p\u003e \u003cp\u003e4.2 Fine-Grained Intensional Logic.\u003c\/p\u003e \u003cp\u003e4.3 A Semantics for FIL.\u003c\/p\u003e \u003cp\u003e4.4 Conclusion.\u003c\/p\u003e \u003cp\u003e5. Property Theory with Curry Typing.\u003c\/p\u003e \u003cp\u003e5.1 PTCT: A Curry-Typed Theory.\u003c\/p\u003e \u003cp\u003e5.2 PTCT: Syntax of the basic theory.\u003c\/p\u003e \u003cp\u003e5.3 A Proof Theory for PTCT.\u003c\/p\u003e \u003cp\u003e5.4 Example Proof.\u003c\/p\u003e \u003cp\u003e5.5 Intensional Identity v. Extensional Equivalence.\u003c\/p\u003e \u003cp\u003e5.6 Extending the Type System.\u003c\/p\u003e \u003cp\u003e5.7 A Model Theory for PTCT.\u003c\/p\u003e \u003cp\u003e5.8 Types and Properties.\u003c\/p\u003e \u003cp\u003e5.9 Separation Types and Internal Type Judgements.\u003c\/p\u003e \u003cp\u003e5.10 Truth as a Type.\u003c\/p\u003e \u003cp\u003e5.11 Conclusion.\u003c\/p\u003e \u003cp\u003e6. Number Theory and Cardinaltiy.\u003c\/p\u003e \u003cp\u003e6.1 Proportional Cardinality Quantifiers.\u003c\/p\u003e \u003cp\u003e6.2 Peano Arithmetic.\u003c\/p\u003e \u003cp\u003e6.3 Number Theory in FIL.\u003c\/p\u003e \u003cp\u003e6.4 Proportional Generalized Quantifiers in FIL.\u003c\/p\u003e \u003cp\u003e6.5 Number Theory in PTCT.\u003c\/p\u003e \u003cp\u003e6.6 Proportional Generalized Quantifiers in PTCT.\u003c\/p\u003e \u003cp\u003e6.7 Presburger Arithmetic.\u003c\/p\u003e \u003cp\u003e6.8 Presburger Arithmetic in PTCT.\u003c\/p\u003e \u003cp\u003e6.9 Conclusions.\u003c\/p\u003e \u003cp\u003e7. Anaphora and Ellipsis.\u003c\/p\u003e \u003cp\u003e7.1 A Type-Theoretical Approach to Anaphora.\u003c\/p\u003e \u003cp\u003e7.2 Ellipsis in PTCT.\u003c\/p\u003e \u003cp\u003e7.3 Comparison with Other Type-Theoretical Approaches.\u003c\/p\u003e \u003cp\u003e7.4 Conclusion.\u003c\/p\u003e \u003cp\u003e8. Underspecified Interpretations.\u003c\/p\u003e \u003cp\u003e8.1 Underspecified Representations.\u003c\/p\u003e \u003cp\u003e8.2 Comparison with Other Theories.\u003c\/p\u003e \u003cp\u003e8.3 Conclusion.\u003c\/p\u003e \u003cp\u003e9. Expressive Power and Formal Strength.\u003c\/p\u003e \u003cp\u003e9.1 Decidability and Completeness.\u003c\/p\u003e \u003cp\u003e9.2 Arguments For Higher-Order Theories.\u003c\/p\u003e \u003cp\u003e9.3 Arguments Against Higher-Order Theories.\u003c\/p\u003e \u003cp\u003e9.4 Self-application, Stratification and Impredicativity.\u003c\/p\u003e \u003cp\u003e9.5 First-Order Status and Finite Cardinality.\u003c\/p\u003e \u003cp\u003e9.6 Relevance of PTCT to Computational Semantics.\u003c\/p\u003e \u003cp\u003e9.7 Conclusions.\u003c\/p\u003e \u003cp\u003e10. Conclusions.\u003c\/p\u003e \u003cp\u003e10.1 Montague Semantics and the Architecture of Semantic Theory.\u003c\/p\u003e \u003cp\u003e10.2 Algebraic Semantics and Fine-Grained Alternatives to MS.\u003c\/p\u003e \u003cp\u003e10.3 A Conservative Revision of MS.\u003c\/p\u003e \u003cp\u003e10.4 Enriching Property Theory with Curry Typing.\u003c\/p\u003e \u003cp\u003e10.5 An Intensional Number Theory.\u003c\/p\u003e \u003cp\u003e10.6 A Dynamic Type-Theoretic Account of Anaphora and Ellipsis.\u003c\/p\u003e \u003cp\u003e10.7 Underspecified Interpretations as _-Terms of the Representation Language.\u003c\/p\u003e \u003cp\u003e10.8 PTCT and Computational Semantics: Directions for Future Work.\u003c\/p\u003e \u003cp\u003eBibliography.\u003c\/p\u003e \u003cp\u003eAuthor Index.\u003c\/p\u003e \u003cp\u003eSubject Index.\u003c\/p\u003e\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Language teaching \u0026amp; learning [\u003ca title=\"See our other books on Language teaching \u0026amp; learning\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Language%20teaching%20\u0026amp;%20learning%20%5Bother%20than%20ELT%5D%20%5BCJ%5D%22\"\u003eother than ELT CJ\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Wiley-Blackwell","offers":[{"title":"Brand New","offer_id":52406450225432,"sku":"9780631233763","price":38.69,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/files\/9780631233763.jpg?v=1784138111","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/foundations-of-intensional-semantics-paperback-softback-9780631233763","provider":"Freshly Printed Books","version":"1.0","type":"link"}