Julian J. Schloeder

The knowledge norm of assertion is the subject of a lively debate on when someone is in a position to assert something. However, not much has been said about the logic that underlies such debate. In this paper, I propose a formalisation of the knowledge norm in a deontic logic that aims to be explanatory and conceptually sound. Afterwards, I investigate some problems that this formalisation makes visible. This reveals some significant limitations of the underlying logic: it can neither contain Axiom 4 nor Axiom C4. Moreover, sentences of the form p and I have not asserted that p appear to licence a violation of deontic rules.

ABSTRACTLinguistic evidence supports the claim that certain, weak rejections are less specific than assertions. On the basis of this evidence, it has been argued that rejected sentences cannot be premisses and conclusions in inferences. We give examples of inferences with weakly rejected sentences as premisses and conclusions. We then propose a logic of weak rejection which accounts for the relevant phenomena and is motivated by principles of coherence in dialogue. We give a semantics for which this logic is sound and complete, show that it axiomatizes the modal logic KD45 and prove that it still derives classical logic on its asserted fragment. Finally, we defend previous logics of strong rejection as being about the linguistically preferred interpretations of weak rejections.