Несколько лет назад, уже и не помню, как давно, мне было нечего делать (как, в общем, и сейчас), и я думал о всякой ерунде. И тогда мне в голову пришёл один парадокс. Я не смог найти в Интернете ничего похожего, но, может, мало пытался, так что если это уже было описано до меня, можете указать на это в комментариях. А пока я буду считать, что я единственный, кто публикует какую-то информацию об этом парадоксе.
Итак, мы разделяем все объекты на группы или категории. Мы можем описать их как множества объектов, обладающих схожими особенностями. Если представить, что все объекты находятся в неком множестве объектов, то группа — подмножество в этом множестве, включающая в себя все объекты, имеющие схожую суть. Взять, для примера, яблоко. Яблоки бывают разными. Но в то же время они все являются яблоками. Они все обладают определёнными свойствами, которые позволяют определить их как яблоки. Область группы можно схематично изобразить так, как я сделал это на картинке ниже. Всё, попадающие в эту область, является яблоком, а всё за её пределами — чем угодно, но не яблоком.
Думаю, это понятно. Пойдём дальше. Я думаю, что вы и так знаете, но я напомню, что объекты отличаются друг от друга. Даже двух одинаковых снежинок не существует. А уж тем более отличаются объекты из разных групп. Возьмём деревья. Мы можем представить себе множество деревьев, как мы сделали это с яблоками. И, важный момент, эти два множества не будут пересекаться, потому что все яблоки — не деревья, и все деревья — не яблоки. У каждого объекта есть определённые отличительные черты, которые позволяют отличить его от другого объекта. Так, яблоко отличается от дерева. Если мы сравним яблоко и дерево, мы найдём бесконечное количество отличий и придём к выводу, что это разные объекты. Ниже приведу иллюстрацию.
Это тоже должно быть понятно. Перейдём к сути.
Представим себе некий абстрактный объект, который не имеет отличительных черт. Назовём его мимик. Это объект, который является элементом каждого из бесконечного количества множеств объектов. Допустим, что всё-таки эти множества пересекаются, и на пересечении всех множеств и будет находиться мимик. Ниже приведу пример.
Так как он не имеет никаких отличительных черт, мы не сможем отличить его от чего-либо. Если мы будем сравнивать мимик и яблоко, мы не найдём отличий. То же самое будет, если мы будем сравнивать мимик и дерево. С чем бы мы не сравнивали мимик, мы не найдём никаких отличий и придём к выводу, что эти два объекта абсолютно идентичны.
А теперь, собственно, сам парадокс. Можно ли считать отсутствие отличительных черт отличительной чертой? Ведь, как мы уже убедились, все объекты имеют свои отличительные черты, а мимик не имеет никаких отличительных черт по определению. Все объекты отличаются друг от друга, а мимик не отличается ни от чего, и именно этим он отличается от всего. Получается парадокс.
Если хотите высказать своё мнение об этом, или если вы нашли где-то в моих рассуждениях ошибку, можете оставить комментарий, буду рад обсудить это с заинтересованными людьми.