Nous modifions sans cesse nos croyances lorsque nous sommes confrontés à des informations contredisant ce qui nous semblait acquis. Les logiciens ont développé des théories qui formalisent ces mécanismes.