consistent reflexive reasoner type believes stable become unstable stated otherwise stable reflexive reasoner type believes stable become inconsistent suppose stable reflexive reasoner type believes stable show sooner later believe every proposition math p math hence inconsistent take proposition math p math reasoner believes math mathcal b mathcal b p mathcal b p math hence l b 's theorem believe math mathcal b p math believe math mathcal b r r math math r math proposition
Humanities Philosophy Logic Doxastic Logic