On p.219 of “Moore’s Paradox, Introspection, and Doxastic Logic” Adam Rieger gives an informal argument for the claim that we can avoid the Commissive Moore’s Paradox if our doxastic logic is KDNcm. Make this argument rigorous by providing a derivation in the modal system KDNcm of LaTeX: \lnot B(p\land\lnot Bp)¬ B ( p ∧ ¬ B p ).

Sample Solution

This question has been answered.

Get Answer