Logic is traditionally a part of philosophy and should in my opinion continue to be thus regarded. After half a millennium of relative stagnation, pace Leibniz, it awoke to fresh life after the middle of the nineteenth century. There can be little doubt that, viewing things in a broader historical perspective, the revival of logic is the most striking new development in philosophy in the last one hundred years.