combines a general scepticism concerning a priori knowledge and necessity with a desire to allow that logic and mathematics deal in truths of some sort which we are capable of knowing in an ordinary sense