A brief philosophical introduction to what paraconsistent logic is, the problem it tries to solve and the different types of paraconsistent logic.
Anything follows from a contradiction. A moon made of cheese. Five-sided triangles. Decapod felines. Time flowing backwards. A non-existent universe.
