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.
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.
Barnes & Noble is the world’s largest retail bookseller and a leading retailer of content, digital media and educational products. Our Nook Digital business offers a lineup of NOOK® tablets and e-Readers and an expansive collection of digital reading content through the NOOK Store®. Barnes & Noble’s mission is to operate the best omni-channel specialty retail business in America, helping both our customers and booksellers reach their aspirations, while being a credit to the communities we serve.
