Semantic 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.
By:
Kristina Liefke (Ruhr University Bochum) Imprint: Cambridge University Press Country of Publication: United Kingdom ISBN:9781009559645 ISBN 10: 1009559648 Series:Elements in Semantics Pages: 86 Publication Date:16 January 2025 Audience:
College/higher education
,
Further / Higher Education
Format:Hardback Publisher's Status: Active