- Uniform Definability in Assertability Semantics
- 21st Amsterdam Colloquium
- Book/source title
- Proceedings of the 21st Amsterdam Colloquium
- Pages (from-to)
- Amsterdam: ILLC
- Document type
- Conference contribution
- Interfacultary Research Institutes
- Institute for Logic, Language and Computation (ILLC)
This paper compares two notions of expressive power for a logical language and shows how they come apart. In particular, it introduces a simple framework called assertability semantics for handling puzzling features of the interaction of epistemic modals and disjunction. As a consequence of the solution to those puzzles, it is shown that the disjunction is in fact definable: every sentence is equivalent to a sentence without disjunction. But we then prove that the disjunction is not uniformly definable: no schematic definition of it can be given in terms of the other connectives of the fragment. We also consider the extension with inquisitive disjunction and prove that it is expressively complete.
- Accepted author manuscript
Final publisher version
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.