 This section will survey two semantic analyses of counterfactuals: the strict conditional analysis and the similarity analysis. These conceptually related analyses also have a shared explanatory goal: to capture logically valid inferences involving counterfactuals, while treating them non-truth-functionally, leaving room for their context dependence, and addressing the non-monotonic interpretation of counterfactual antecedents. Crucially, these analyses abstract away Goodman’s Problem because they are not primarily concerned with the truth-conditions of particular counterfactuals—just as classical logic does not take a stand on which atomic sentences are actually true. Instead, they say only enough about truth-conditions to settle matters of logic, e.g., if \(\phi\) and \(\phi&gt;\psi\) are true, then \(\psi\) is true. Sections  2.5  and  2.6  will revisit questions about the truth-conditions of particular counterfactuals, Goodman’s Problem and the philosophical projects surveyed in  §1.