QUOTE : Если я желаю превратить высказывание "Все люди смертны" в высказывание только о людях, я, прежде всего, должен располагать экстенсиональным определением "людей". Предположим, я говорю: "A, B, C... Z - полный список людей". Тогда, чтобы доказать, что все люди обладают определённым предикатом, мы нуждаемся только в наблюдении, что этот предикат принадлежит А и В и С и... и Z; остальная Вселенная отношения к нашему вопросу не имеет. Всё это было бы хорошо, если бы люди представляли договорное собрание объектов; но если "люди" определяются как те объекты, которые обладают определённым предикатом, как мы можем знать, что наш список A, B, C... Z является полным? Фактически в случае людей мы знаем, что любой составленный список является неполным. Можно сказать, что это происходит из-за нашей ограниченности. Всезнающее Бытиё могло бы быть уверенным, что список полный, но только зная всё, оно бы знало про каждую вещь за пределами списка, что она - не человек, и это знание было бы существенным.