Negative inquisitiveness and alternatives-based negation

Abstract

We propose some fundamental requirements for the treatment of negative particles, positive/negative polar questions, and negative propositions, as they occur in dialogue with questions. We offer a view of negation that combines aspects of alternative semantics, intuitionist negation, and situation semantics. We formalize the account in TTR(a version of type theory with records) [5,7]. We sketch an account of the coherence of negative utterances in the dialogue framework KoS [10].