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 Logic of Temporal Reasoning and the Philosophy of Time

Quick fact

Temporal logic, as developed by Arthur Prior, treats time as a structure of instants with an order relation, and uses operators like 'always' and 'eventually' to create a logic that can model both deterministic and branching futures.

Why this is interesting

We say 'I will always love you' or 'Eventually, you'll succeed' without hesitation. How can we logically reason about statements that range over time?