display all the ideas for this combination of texts
4 ideas
18122 | Classical interdefinitions of logical constants and quantifiers is impossible in intuitionism [Bostock] |
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] |