Combining Texts
Ideas for
'After Finitude', 'On Platonism in Mathematics' and 'Plurals and Complexes'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
8 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 / 4. Axioms for Sets / j. Axiom of Choice IX
10676
|
The Axiom of Choice is a non-logical principle of set-theory [Hossack]
|
10686
|
The Axiom of Choice guarantees a one-one correspondence from sets to ordinals [Hossack]
|
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
10304
|
Very few things in set theory remain valid in intuitionist mathematics [Bernays]
|
10687
|
Maybe we reduce sets to ordinals, rather than the other way round [Hossack]
|
4. Formal Logic / G. Formal Mereology / 3. Axioms of Mereology
10677
|
Extensional mereology needs two definitions and two axioms [Hossack]
|