Saved on this device

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 Barcan Formulas and the Logic of Quantified Modality

Quick fact

The Barcan formula, named after philosopher Ruth Barcan Marcus, was first proposed in the 1940s and immediately ignited debates about whether 'possibly something exists' implies 'something possibly exists'—a subtle but powerful shift in quantifier order.

Why this is interesting

You've probably heard that something is possible if it could exist in some 'possible world.' But what if there are possible worlds with different objects—beings that don't exist in our world? That simple idea forces a deep question about the very logic of possibility and existence.