ABSTRACT

Today the scope of logic is defined much more broadly than it ever was in the past, so that logic as some logicians conceive it, comes to include all of pure mathematics. Also, the methods used in logical research today are almost exclusively mathematical ones. However, certain aspects of logic seem to undergo little change. Logical results, once established, seem to remain forever accepted as correct, that is, logic changes not in the sense that we accept incompatible logical principles in different centuries, but in the sense that the style and notation that we employ in setting out logical principles varies enormously, and in the sense that the province marked out for logic tends to get larger and larger. If we look at logic itself, we first notice that logic, like every other science, undergoes changes, sometimes rapid changes. In different centuries logicians have had very different ideas concerning the scope of their subject, the methods proper to it.