philosophical doctrine that only statements that are empirically verifiable are cognitively meaningful