Мне проще через теорию баз данных попытаться объяснить. В базах данных хранят только высказывания существования чего-либо, истинные высказывания. Ложные высказывания хранить нет смысла.
Пример.
У нас есть коллектив сотрудников, в котором существуют два человека по фамилии Иванов и Петров.
У нас два высказывания:
1) в коллективе существует Иванов.
2) в коллективе существует Петров.
Количество всевозможных фамилий из алфавита мы можем выдумать очень много.
Нет никакого смысла говорить о высказываниях отсутствия:
1) в коллективе нет Сидорова
2) в коллективе нет Васильева
3) в коллективе нет Усикова
и т.п.
И это лишь для одного множества - множества фамилий.
Если добавить ещё множество - множество возрастов, например, то получаем уже декартово произведение всевозможных пар фамилия-возраст. В таком случае говорить об отсутствии чего либо тем более не имеет смысла.
С возрастами мы имели бы имели
два высказывания:
1) в коллективе существует Иванов, которому 30 лет
2) в коллективе сушествует Петров, которому 40 лет.
Высказать это же знание о коллективе через отсутствие просто не получится.
Как с чайником Рассела.
понятно, спасибо.
единственное - вы мне объяснили, как выяснить наличие Иванова, а также наличие такого Иванова, которому 30 лет.
Из чего почеиу-то должен обязательно следовать вывод, что Сидорова там нет.
Отлично!
но я ведь спрашивал про наличие или отсутствие ОДНОГО и ТОГО ЖЕ, в нашем примере - Иванова...