Modal logic (doxastic)
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(plandlnot Bp)¬ B ( p ∧ ¬ B p ).
Sample Solution
Save your time - order a paper!
Get your paper written from scratch within the tight deadline. Our service is a reliable solution to all your troubles. Place an order on any task and we will take care of it. You won’t have to worry about the quality and deadlines
Order Paper NowThe post Modal logic (doxastic) appeared first on homework handlers.