3 ms·
Circular logic is a known source of paradoxes, it's difficult to assume it to be a priori correct.
by GoblinSlayer 4y ago
Circular logic is a known source of paradoxes, it's difficult to assume it to be a priori correct.
- Tainnor 4y agoI don't think you know how circular logic, or proof by contradictions work. If you could indeed derive 1=0 from H, then that would indeed by reason to dismiss H, but you can't just "consider" 1=0, you have to prove it from H.
- GoblinSlayer 4y agoThat's the point, B=H(B) doesn't follow from H, it's a new independent construct, so you need an independent proof of its validity.