A critical examination of this view will also be an occasion for introducing a preliminary understanding of what progression in logic generally means, for the view has direct implications for the nature of this advance.