 Section 2  focuses on two related analyses that were primarily developed to study the logic of counterfactuals: strict conditional analyses and similarity analyses. These analyses were not originally concerned with saying what the truth-conditions of particular counterfactuals are. Attempts to extend them to that domain, however, have attracted intense criticism.  Section 3  surveys more recent analyses that offer more explicit models of when counterfactuals are true. These analyses include premise semantics  (§3.1),  conditional probability analyses  (§3.2)  and structural equations/causal models  (§3.3).  They are more closely connected to work on counterfactuals in psychology, artificial intelligence, and the philosophy of science.