display all the ideas for this combination of texts
4 ideas
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] |
10779 | A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo] |