The principles of logic and mathematics are true simply because we never allow them to be anything else. Language, Truth, and Logic (1936)