可检验性、解释和条件化