Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
Type of Medium
Language
Region
Library
Years
Person/Organisation
Access
  • 1
    Online Resource
    Online Resource
    Malden MA :Blackwell Pub.,
    UID:
    almafu_9959328253902883
    Format: 1 online resource (xiii, 192 pages)
    ISBN: 9780470773543 , 0470773545 , 9780470775295 , 0470775297 , 9786611310448 , 6611310444
    Content: This 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. It focuses 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. The theory proposed offers a promising framework for developing a computational semantic system that is sufficiently expressive to capture the properties of natural language meaning while remaining computationally tractable. Written by two leading researchers in the field, Foundations of Intensional Semantics will be of interest to students and researchers in formal semantics, computational linguistics, logic, artificial intelligence, and the philosophy of language.
    Note: Cover -- TOC36;Contents -- Preface -- List of Abbreviations -- 1 Introduction -- 146;1 Montague8217;s Intensional Logic -- 146;2 Architectural Features of IL -- 146;3 Structure of the Book -- CH36;2 Alternative Approaches to Fine45;Grained Intensionality -- 246;1 An Algebraic Representation of Possible Worlds Semantics -- 246;2 Two Strategies for Hyperintensionalism -- 246;3 Thomason39;s Intentional Logic -- 246;4 Bealer39;s Intensional Logic -- 246;5 Structured Meanings and Interpreted Logical Forms -- 246;6 Landman39;s Data Semantics -- 246;7 Situation Semantics and Infon Algebras -- 246;8 Situations as Partial Models -- 246;9 Topos Semantics -- 246;10 Conclusion -- CH36;3 Intensions as Primitives -- 346;1 A Simple Intensional Theory -- 346;2 Types and Sorts -- 346;3 Abstraction and Application -- 346;4 PT58; An Untyped Theory -- 346;5 Intensionality in FIL and PTCT -- 346;6 Conclusion -- CH36;4 A Higher45;Order44; Fine45;Grained Intensional Logic -- 446;1 Introduction -- 446;2 Fine45;Grained Intensional Logic -- 446;3 A Semantics for FIL -- 446;4 Conclusion -- CH36;5 Property Theory with Curry Typing -- 546;1 PTCT58; A Curry45;Typed Theory -- 546;2 PTCT58; Syntax of the Basic Theory -- 546;3 A Proof Theory for PTCT -- 546;4 Example Proof -- 546;5 Extending the Type System -- 546;6 Intensional Identity vs46; Extensional Equivalence -- 546;7 A Model Theory for PTCT -- 546;8 Types and Properties -- 546;9 Separation Types and Internal Type Judgements -- 546;10 Truth as a Type -- 546;11 Conclusion -- CH36;6 Number Theory and Cardinality -- 646;1 Proportional Cardinality Quantifiers -- 646;2 Peano Arithmetic -- 646;3 Number Theory in FIL -- 646;4 Proportional Generalized Quantifiers in FIL -- 646;5 Number Theory in PTCT -- 646;6 Proportional Generalized Quantifiers in PTCT -- 646;7 Presburger Arithmetic -- 646;8 Presburger Arithmetic in PTCT -- 646;9 Conclusion -- CH36;7 Anaphora and Ellipsis -- 746;1 A Type45;Theoretical Approach to Anaphora -- 746;2 Ellipsis in PTCT -- 746;3 Comparison with Other Type45;Theoretical Approaches -- 746;4 Conclusion -- CH36;8 Underspecified Interpretations -- 846;1 Underspecified Representations -- 846;2 Comparison with Other Theories -- 846;3 Conclusion -- CH36;9 Expressive Power and Formal Strength -- 946;1 Decidability and Completeness -- 946;2 Arguments for Higher45;Order Theories -- 946;3 Arguments against Higher45;Order Theories -- 946;4 Self45;application44; Stratification and Impredicativity -- 946;5 First45;Order Status and Finite Cardinality -- 946;6 Relevance of PTCT to Computational Semantics -- 946;7 Conclusion -- CH36;10 Conclusion -- 1046;1 Montague Semantics and the Architecture of Semantic Theory -- 1046;2 Algebraic Semantics and Fine45;Grained Alternatives to MS -- 1046;3 A Conservative Revision of MS -- 1046;4 Enriching Property Theory with Curry Typing -- 1046;5 An Intensional Number Theory -- 1046;6 A Dynamic Type45;Theoretic Account of Anaphora and Ellipsis -- 1046;7 Underspecified Interpretations as 63;45;Terms of the Representation Language -- 1046;8 PTCT and Computational Semantics58; Directions for Future Work -- Bibliography -- Autho.
    Additional Edition: Print version: Fox, Chris, 1965- Foundations of intensional semantics. Malden MA : Blackwell Pub., 2005 ISBN 9780631233756
    Additional Edition: ISBN 063123375X
    Language: English
    Subjects: Comparative Studies. Non-European Languages/Literatures , Philosophy
    RVK:
    RVK:
    Keywords: Electronic books. ; Electronic books. ; Electronic books.
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Book
    Book
    Malden, Mass. [u.a.] :Blackwell,
    UID:
    almafu_BV019936943
    Format: XIII, 192 S.
    Edition: 1. publ.
    ISBN: 0-631-23375-X , 0-631-23376-8 , 978-0-631-23375-6 , 978-0-631-23376-3
    Language: English
    Subjects: Comparative Studies. Non-European Languages/Literatures , Philosophy
    RVK:
    RVK:
    Keywords: Intensionale Logik ; Computerlinguistik ; Semantik ; Intensionale Logik
    Author information: Lappin, Shalom
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Did you mean 9780631233626?
Did you mean 9780631217756?
Did you mean 9780631231752?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages