 The logical empiricists tried to explicate the notion of empirical verification in terms of logical entailment. We begin with their second attempt, an explication known as “weak verifiability”, which (like its predecessor, “strong verifiability”) was framed in terms of logical entailment or logical deducibility: