Natural Laws/Counterfactual Conditional/Bigelow/Pargetter: are often formulated in terms of "ideal systems". To do this, they need the counterfactual conditionals.
Similarly, thought experiments need counterfactual conditionals. _____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. The note [Author1]Vs[Author2] or [Author]Vs[term] is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition.
J. Bigelow, R. Pargetter
Science and Necessity Cambridge 1990