Formal approaches to inconsistent science