|
![]() |
|||
|
||||
OverviewSemantic theories for natural language assume many different kinds of objects, including (among many others) individuals, properties, events, degrees, and kinds. Formal type-theoretic semantics tames this 'zoo' of objects by assuming only a small number of ontologically primitive categories and by obtaining the objects of all other categories through constructions out of these primitives. This Element surveys arguments for this reduction of semantic categories. It compares the ontological commitments of different such reductions and establishes relations between competing foundational semantic ontologies. In doing so, it yields insights into the requirements on minimal semantic ontologies for natural language and the challenges for semantic ontology engineering. Full Product DetailsAuthor: Kristina Liefke (Ruhr University Bochum)Publisher: Cambridge University Press Imprint: Cambridge University Press Dimensions: Width: 15.20cm , Height: 0.50cm , Length: 22.90cm Weight: 0.141kg ISBN: 9781009559652ISBN 10: 1009559656 Pages: 86 Publication Date: 16 January 2025 Audience: College/higher education , Postgraduate, Research & Scholarly Format: Paperback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of Contents1. Introduction; 2. Descriptive Natural Language Ontology; 3. Merits of Typing Ontologies; 4. Type Theory Basics; 5. Typing Montague's Ontology; 6. Typing Larger Ontologies; 7. Type Uni_cation and Meta-Ontology; 8. Conclusion; References.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |