Combining Philosophers
Ideas for Luitzen E.J. Brouwer, Daniel Statman and Gideon Rosen
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
2 ideas
4. Formal Logic / E. Nonclassical Logics / 7. Paraconsistency
12452
|
Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer]
|
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / c. Axiom of Pairing II
18851
|
Pairing (with Extensionality) guarantees an infinity of sets, just from a single element [Rosen]
|