Парадокс Бхартрихари: как доказать, что нечто невыразимо, если для этого нужно его назвать?
Bhartrhari's Paradox
Индийский грамматик и философ V века Бхартрихари заметил, что невозможно привести положительные примеры невыразимых вещей, не назвав их. Философы Ханс и Радхика Херцбергер в статье 1981 года показали, что любой аргумент в пользу тезиса о невыразимости лишь усугубляет парадокс, поскольку вынуждает ссылаться на те самые объекты, невыразимость которых он пытается установить.
Каждый аргумент, выдвигаемый в поддержку любого примера тезиса о невыразимости, лишь сильнее загоняет в парадокс, поскольку он естественным образом предполагает многократные ссылки на те самые вещи, невыразимость которых он берётся установить.
- ngvrnd
„О чём невозможно говорить, о том следует молчать“, но если с вещью можно взаимодействовать, её обычно можно отобразить, определить и затем назвать. Но всегда будут вещи, у которых нет имён, по крайней мере в математике — вспомните действительные числа.
- GPerson
Если мы допускаем существование действительных чисел, то, возможно, парадокс разрешается, потому что действительных чисел несчётно много, а именуемых вещей лишь счётно много, но тогда, возможно, парадокс не разрешается, потому что мы предполагаем истинность ZFC и можем вполне упорядочить действительные числа, следовательно, назвать первое неименуемое действительное число.
- BiraIgnacio
Похоже на парадокс, который _мог бы_ иллюстрировать теоремы Гёделя о неполноте
https://en.wikipedia.org/wiki/G%C3%B6del's_incompleteness_th...
- lordnacho
Это напоминает мне о шести степенях разделения.
Люди говорят, что можно связать почти всех через шесть рукопожатий. Но меня поразило то, что для любого, с кем вы это пробуете, вы знаете их имена, так что вы уже ограничили себя в том, насколько далеко может быть кто-то.
- dredmorbius
Я понял, что вы там сделали.