Philosophy
The Non-Classical Logic of Relevance in Natural Language Inference
Quick fact
Classical logic's material implication makes any conditional with a false antecedent true—so 'If snow is black, then 2+2=5' is a valid theorem. Relevance logic rejects this, proving that modern logic needed a whole new system to respect the intuitive link between premises and conclusions.
Why this is interesting
You know that 'If the moon is made of cheese, then I'm a billionaire' is false in real life—but classical logic says it's true! Why does formal logic fail so badly at capturing everyday 'if-then' reasoning?