Axiomatization in the Meaning Sciences
Wesley H. Holliday, Thomas Icard · 2018
Abstract While much of semantic theorizing is based on intuitions about logical phenomena associated with linguistic constructions—phenomena such as consistency and entailment—it is rare to see axiomatic treatments of linguistic fragments. Given a fragment interpreted in some class of formally specified models, it is often possible to ask for a characterization of the reasoning patterns validated by the class of models. Axiomatizations provide such a characterization, often in a perspicuous and efficient manner. This chapter highlights some of the benefits of providing axiomatizations for the purpose of semantic theorizing. Three examples from the study of modality provide an illustration of these benefits.