Combining Philosophers
Ideas for Anaxarchus, Quentin Meillassoux and Alain Badiou
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
5 ideas
4. Formal Logic / E. Nonclassical Logics / 7. Paraconsistency
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]
|
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST
12337
|
There is 'transivity' iff membership ∈ also means inclusion ⊆ [Badiou]
|
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
12321
|
The axiom of choice must accept an indeterminate, indefinable, unconstructible set [Badiou]
|