Hacker News Reader

"It's not a bug, it's a feature."

https://en.wikipedia.org/wiki/Principle_of_explosion

> As a demonstration of the principle, consider two contradictory statements—"All lemons are yellow" and "Not all lemons are yellow"—and suppose that both are true.

I am not understanding why we are freely supposing 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.

Because the party has told you so, Winston!

Reply on news.ycombinator.com