Утверждение «Все холостяки не женаты» можно обосновать, уточнив значение всех входящих в него слов («холостяк и есть тот, кто не женат»). Утверждение «Все лебеди белые» – эмпирическое: надо посетить Новую Зеландию, чтобы своими глазами убедиться в существовании черных лебедей.[4]
2) окружающие нас явления слишком отличаются от предикатов классической логики. Предикат «четное число» может быть исчерпывающе описан условием «Если число можно разделить на два без остатка, оно четное». Ученые в таких случаях говорят, что соблюдены необходимые и достаточные условия. Но попробуем найти необходимые и достаточные условия для такого явления, как «игра». Мы не обнаружим никакого общего знаменателя, к которому можно свести смысл игры. Физическая активность? Тогда шахматы остаются за бортом. Отсутствие материального интереса? А как же Олимпийские игры? Словом, мы увидим множество характерных, легкоузнаваемых признаков, которые складываются в разные подмножества.