Kristina Liefke – författare

This Element gives an introduction to the emerging discipline of natural language ontology. Natural language ontology is an area at the interface of semantics, metaphysics, and philosophy of language that is concerned with which kinds of objects are assumed by our best semantic theories. The Element reviews different strategies for identifying a language's ontological commitments. It observes that, while languages share a large number of their ontological commitments (such as to individuals, properties, events, and kinds), they differ in other commitments (for example, to degrees). The Element closes by relating different language and theory-specific ontologies, and by pointing out the merits and challenges of identifying inter-category relations within a single ontology.

This Element gives an introduction to the emerging discipline of natural language ontology. Natural language ontology is an area at the interface of semantics, metaphysics, and philosophy of language that is concerned with which kinds of objects are assumed by our best semantic theories. The Element reviews different strategies for identifying a language's ontological commitments. It observes that, while languages share a large number of their ontological commitments (such as to individuals, properties, events, and kinds), they differ in other commitments (for example, to degrees). The Element closes by relating different language and theory-specific ontologies, and by pointing out the merits and challenges of identifying inter-category relations within a single ontology.

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.