Follow your curiosity

What discovery has been shared with you?

FACTREE gives you something interesting to discover every day — and something worth talking about together.

Start with one fact. Explore it, go deeper, then follow whichever branch catches your imagination.

Choose subjects for a surprise

Exploring any topic

Begin your discovery

Your next discovery is one click away.

Choose one or more subjects above, or leave Any Topic selected and let curiosity decide.

Philosophy

The Paradoxes of Material Implication in Classical Logic

Quick fact

In classical logic, the statement 'If the moon is made of cheese, then I am a millionaire' is true—simply because the moon is not made of cheese. This is a key example of a paradox of material implication.

Why this is interesting

Think of a statement like 'If it rains, the ground is wet.' Now, what if it doesn't rain? In classical logic, that statement is automatically true—but does that feel right?