display all the ideas for this combination of texts
4 ideas
12005 | The symbol 'ι' forms definite descriptions; (ιx)F(x) says 'the x which is such that F(x)' [Forbes,G] |
19664 | Paraconsistent logics are to prevent computers crashing when data conflicts [Meillassoux] |
19665 | Paraconsistent logic is about statements, not about contradictions in reality [Meillassoux] |
19663 | We can allow contradictions in thought, but not inconsistency [Meillassoux] |