PhilosophyIdeas
.com Database |
Current Total Ideas:
22,165
|
home
|
back
Combining Texts
Ideas for 'Parmenides', 'Hobbes' and 'Introduction to the Philosophy of Mathematics'
expand these ideas
|
start again
| choose
another area
for these texts
display
all the ideas
for this combination of texts
2 ideas
4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
17925
Showing a disproof is impossible is not a proof, so don't eliminate double negation
[Colyvan]
17926
Rejecting double negation elimination undermines reductio proofs
[Colyvan]