Ian Hacking’s Holberg Prize lecture