 In an early paper (Israel 1980), David Israel raised a number of objections to the very idea of nonmonotonic logic. First, he pointed out that the nonmonotonic consequences of a finite theory are typically not semi-decidable (recursively enumerable). This remains true of most current systems, but it is also true of second-order logic, infinitary logic, and a number of other systems that are now accepted as logical in nature.