парадокс синглетона
Feb. 23rd, 2017 05:04 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
hgrиз статьи Вики про Саблина.
Из книги Якова Липковича "Писательский юмор":[5]
Маяковский идентифицирует себя с экстенсионалом синглетона, а Хлебников -- с интенсионалом.
у синглетона нарушается рефлексивность идентичности: его единственный элемент одновременно идентичен и не идентичен себе, но при этом он и не идентичен никакому другому элементу.
кажется, это настоящее контрадикторное противоречие (и диалетизм): Хлебников = не-Хлебников, т.е.:
1. неверно, что некий Х -- это и не Хлебников, и не кто-то другой, т.к. Х = Хлебников,
2. неверно, что этот Х -- это и Хлебников, и кто-то другой, т.к. Х = Хлебников и только он один,
поэтому остается, что Х -- это сразу и Хлебников, и не-Хлебников (но при этом не кто-то другой), то есть просто Х не равен Х, Хлебников не равен Хлебникову.
но "вообще нет" -- это не пустое множество, а дырка от Хлебникова, а не кого-то еще, т.е. не-Хлебников ("отсутствие Хлебникова").
логически полный Хлебников -- это конъюнкция экстенсионала Хлебникова ("Хлебников") и интенсионала ("не-Хлебников").
это нельзя путать с майнонговской онтологией, где в возможном мире, в котором не существует Хлебникова, можно говорить о Хлебникове как анти-экстенсионале, или отрицательном экстенсионале. в нашем случае это именно интенсионал, дырка от бублика.
а что у нас было бы со множеством Рассела (множеством всех множеств)?
у него ведь тоже идентичность нерефлексивна, и его неконсистентность контрадикторна... -- похоже на дырку от бублика с включением границы (но без самого бублика), т.е. ее топологическое замыкание.
задача: если бы в той компании сидел третий поэт, который захотел бы себя представить множеством Рассела, что он должен был бы сказать?
23/02/2017 поступил такой вариант ответа:
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2017-02-23 06:19 am (UTC)no subject
Date: 2017-02-23 06:41 am (UTC)no subject
Date: 2017-02-23 08:26 am (UTC)no subject
Date: 2017-02-23 08:47 am (UTC)no subject
Date: 2017-02-23 10:00 am (UTC)no subject
Date: 2017-02-23 10:11 am (UTC)это просто контрадикторность, свойственная как синглетону, так и множеству Рассела.
no subject
Date: 2017-02-23 10:12 am (UTC)no subject
Date: 2017-02-23 12:27 pm (UTC)Маяковский вводит еще одного человека, подобного себе.
А из слов Саблина следует, что орденом Красного Знамени награждено 6 человек.
no subject
Date: 2017-02-23 12:33 pm (UTC)no subject
Date: 2017-02-23 01:04 pm (UTC)Вот, например, утверждение «ты/он такой же, как я» разве означает, что ты/он – это и есть я? Понятно же, что нет. Почему же тогда утверждение «таких, как я, нет» должно означать, что меня нет?
Допустим, Маяковский хотел выразить собственную исключительность, но выбрал для этого неудачную формулировку, на чем Хлебников его и поймал)
no subject
Date: 2017-02-23 01:48 pm (UTC)так часто бывает. но поэт всегда прав.
no subject
Date: 2017-02-23 04:07 pm (UTC)no subject
Date: 2017-02-23 05:15 pm (UTC)Проверить посредством (x == NULL) нельзя, т.к. NULL не равен ничему, включая NULL.
Проверяется оператором (x IS NULL).
no subject
Date: 2017-02-23 05:25 pm (UTC)no subject
Date: 2017-02-23 05:26 pm (UTC)no subject
Date: 2017-02-23 05:47 pm (UTC)Попросту говоря, если A и B присвоить значение NULL и потом попытаться сравнить их оператором "равно", то они окажутся неравны. Однако оба окажутся относящимися к множеству "IS NULL". По той самой причине, которую вы назвали.
"Мёд - это очень уж странный предмет...
Всякая вещь - или есть, или нет, -
А Мёд - если есть, то его сразу нет!"
no subject
Date: 2017-02-23 06:23 pm (UTC)а вот мед Винни-Пуха параконсистентен.
no subject
Date: 2017-02-23 06:23 pm (UTC)no subject
Date: 2017-02-24 03:53 am (UTC)no subject
Date: 2017-02-24 09:04 am (UTC)no subject
Date: 2017-02-24 12:20 pm (UTC)Зачем в этом рыться.
no subject
Date: 2017-02-24 12:45 pm (UTC)no subject
Date: 2017-02-25 08:42 am (UTC)Одна часть школьника надеется, что пронесёт, а другая беспокоится: "а ну как не пронесёт".
no subject
Date: 2017-02-25 08:55 am (UTC)no subject
Date: 2017-02-25 09:11 am (UTC)no subject
Date: 2017-02-25 11:30 am (UTC)