alt Hacker NewsIt's demonstrating the implications (principle of explosion) of a contradiction being allowed in a system of formal logic. You can change "suppose both are true" to "suppose the rules of a logical system permit stating both are true".
It's demonstrating the implications (principle of explosion) of a contradiction being allowed in a system of formal logic. You can change "suppose both are true" to "suppose the rules of a logical system permit stating both are true".
Ah, that last line made it make sense, thank you!
> You can change "suppose both are true" to "suppose the rules of a logical system permit stating both are true".
It's calling out a potential flaw in the system and whether we want to do anything about it.