Ideal vs Real

Proof vs Survival

Type vs Spectrum

Truth vs Decidability

Right/Wrong vs Exchange/Theft

Good/Bad vs Productive/Unproductive.