more from this thinker     |     more from this text

Single Idea 19664

[filed under theme 4. Formal Logic / E. Nonclassical Logics / 7. Paraconsistency ]

Full Idea

Paraconsistent logics were only developed in order to prevent computers, such as expert medical systems, from deducing anything whatsoever from contradictory data, because of the principle of 'ex falso quodlibet'.

Gist of Idea

Paraconsistent logics are to prevent computers crashing when data conflicts

Source

Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 3)

Book Ref

Meillassoux: 'After Finitude: the necessity of contingency', ed/tr. Brassier,R [Bloomsbury 2008], p.78

Related Idea

Idea 9108 From an impossibility anything follows [William of Ockham]

The 5 ideas with the same theme [logic which accepts a degree of contradiction]:

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