structure for 'Formal Logic'    |     alphabetical list of themes    |     expand these ideas

4. Formal Logic / E. Nonclassical Logics / 7. Paraconsistency

[logic which accepts a degree of contradiction]

5 ideas
Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer]
We can allow contradictions in thought, but not inconsistency [Meillassoux]
Paraconsistent logics are to prevent computers crashing when data conflicts [Meillassoux]
Paraconsistent logic is about statements, not about contradictions in reality [Meillassoux]
Paraconsistent reasoning can just mean responding sensibly to inconsistencies [Jago]