A Counterfactual Analysis of the Concepts of Logical Truth and Necessity