J．尼科德认为在考虑全称概括句“所有A都是B”时。可以把所有使A和B在其中可以得到有意义谓述的事物分成4个互不相容且联合穷尽的类：第一个类由所有既是A又是B的事物组成，第二个类由是A但不是B的事物组成，第三个类由是B但不是A的事物组成，第四个类由既不是A又不是B的事物组成。尼科德标准认为只有第一个类中的元素才是“所有A都是B”的确证实例(即只有既是A又是B的事物才能确证“所有A都是B”)，第二类的元素将否证“所有A都是B”，而第三类和第四类的元素与该全称概括句不相干。后来C．G．亨佩尔指出尼科德标准会引起确证悖论(亨佩尔悖论)。