Probability logic in the twentieth century