Weak Negation in Inquisitive Semantics

This paper introduces and explores a conservative extension of inquisitive logic. In particular, weak negation is added to the standard propositional language of inquisitive semantics, and it is shown that, although we lose some general semantic properties of the original framework, such an enrichment enables us to model some previously inexpressible speech acts such as weak denial and ‘might’-assertions. As a result, a new modal logic emerges. For this logic, a Fitch-style system of natural deduction is formulated. The main result of this paper is a theorem establishing the completeness of the system with respect to inquisitive semantics with weak negation. At the conclusion of the paper, the possibility of extending the framework to the level of first order logic is briefly discussed.

[1]  J. Groenendijk,et al.  Coreference and modality , 1996 .

[2]  Katsuhiko Sano,et al.  First-Order Inquisitive Pair Logic , 2011, ICLA.

[3]  Vít Puncochár,et al.  Some Modifications of Carnap’s Modal Logic , 2012, Stud Logica.

[4]  T. Zimmermann Free Choice Disjunction and Epistemic Possibility , 2000 .

[5]  Robert Stalnaker A Theory of Conditionals , 2019, Knowledge and Conditionals.

[6]  John Cantwell,et al.  The Logic of Conditional Negation , 2008, Notre Dame J. Formal Log..

[7]  Robert Stalnaker Context And Content , 1999 .

[8]  Ivano Ciardelli,et al.  Inquisitive Semantics and Intermediate Logics. , 2009 .

[9]  Alessandra Palmigiano,et al.  Proof systems for the coalgebraic cover modality , 2008, Advances in Modal Logic.

[10]  M. Simons Dividing things up: The semantics of or and the modal/or interaction , 2005 .

[11]  Floris Roelofsen,et al.  Inquisitive Semantics: A New Notion of Meaning , 2013, Lang. Linguistics Compass.

[12]  Floris Roelofsen,et al.  Towards a Suppositional Inquisitive Semantics , 2013, TbiLLC.

[13]  Ivano Ciardelli,et al.  A First-Order Inquisitive Semantics , 2009, Amsterdam Colloquium on Logic, Language and Meaning.

[14]  Floris Roelofsen,et al.  Generalized inquisitive logic: completeness via intuitionistic Kripke models , 2009, TARK '09.

[15]  Floris Roelofsen,et al.  Algebraic foundations for the semantic treatment of inquisitive content , 2013, Synthese.

[16]  E. W. Adams,et al.  The Logic of Conditionals: An Application Of Probability To Deductive Logic , 2010 .

[17]  Floris Roelofsen,et al.  Attention! 'Might' in Inquisitive Semantics , 2009 .

[18]  Floris Roelofsen,et al.  Inquisitive semantics and pragmatics , 2009 .

[19]  Maria Aloni,et al.  Free choice, modals, and imperatives , 2007 .

[20]  L. F. D. Cerro,et al.  Combining Classical and Intuitionistic Logic , 1996 .

[21]  Maria Aloni,et al.  Logic, Language, and Meaning: Selected Papers from the 17th Amsterdam Colloquium , 2010 .

[22]  Lloyd Humberstone,et al.  Interval semantics for tense logic: Some remarks , 1979, Journal of Philosophical Logic.

[23]  Paqui Lucio,et al.  Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic , 2000, FroCoS.