Leggi di natura, modalità, ipotesi. La logica del ragionamento controfattuale