logoalt Hacker News

apsurdyesterday at 6:42 PM1 replyview on HN

> 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?


Replies

ewoodrichyesterday at 7:12 PM

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".

show 1 reply