Abstract

Paul Horwich has formulated a paradox which he believes to be even more virulent than the related Hempel paradox. I show that Horwich's paradox, as orginally formulated, has a purely logical solution, hence that it has no bearing on the theory of confirmation. On the other hand, it illuminates some undesirable traits of classical predicate logic. A revised formulation of the paradox is then dealt with in a way that implies a modest revision of Nicod's criterion