Пустые ярлыки

Eliezer Yudkowsky, “ Empty Labels ”, public translation into Russian from English More about this translation.

Translate into another language.

Participants

Muyyd1 614 points
Alaric 209 points
Join Translated.by to translate! If you already have a Translated.by account, please sign in.
If you do not want to register an account, you can sign in with OpenID.
Pages: ← previous Ctrl next
1 2

Empty Labels

Пустые ярлыки

History of edits (Latest: Muyyd1 8 months, 2 weeks ago) §

Consider (yet again) the Aristotelian idea of categories. Let's say that there's some object with properties A, B, C, D, and E, or at least it looks E-ish.

Давайте рассмотрим (да, опять) аристотелевскую идею категорий. Предположим, у нас есть объект со свойствами A, B, C, D, и E (ну или по крайней мере он выглядит похожим на Е).

History of edits (Latest: Alaric 7 months, 1 week ago) §

Fred: "You mean that thing over there is blue, round, fuzzy, and—"

Фред: Ты имеешь ввиду вон ту штуку синего цвета, круглую, пушистую и...

History of edits (Latest: Alaric 7 months, 1 week ago) §

Me: "In Aristotelian logic, it's not supposed to make a difference what the properties are, or what I call them. That's why I'm just using the letters."

Я: В рамках аристотелевской логики конкретные свойства или их названия не важны. Поэтому я просто использую буквы.

History of edits (Latest: Muyyd1 8 months, 2 weeks ago) §

Next, I invent the Aristotelian category "zawa", which describes those objects, all those objects, and only those objects, which have properties A, C, and D.

Далее, я выдумываю аристотелевскую категорию "зава", описывающую все те и только те объекты, у которых есть свойства A, C, и D.

History of edits (Latest: Alaric 7 months, 1 week ago) §

Me: "Object 1 is zawa, B, and E."

Я: У объекта 1 есть свойства зава, В и Е.

History of edits (Latest: Alaric 7 months, 1 week ago) §

Fred: "And it's blue—I mean, A—too, right?"

Фред: А еще он синий, то есть А, так ведь?

History of edits (Latest: Muyyd1 8 months, 2 weeks ago) §

Me: "That's implied when I say it's zawa."

Я: Когда я говорю, что у него есть свойство зава, это подразумевается.

History of edits (Latest: Alaric 7 months, 1 week ago) §

Fred: "Still, I'd like you to say it explicitly."

Фред: Да, но я все же хочу, чтобы ты упомянул это в явной форме.

History of edits (Latest: Alaric 7 months, 1 week ago) §

Me: "Okay. Object 1 is A, B, zawa, and E."

Я: Хорошо. У объекта 1 есть свойства А, В, зава и Е.

History of edits (Latest: Alaric 7 months, 1 week ago) §

Then I add another word, "yokie", which describes all and only objects that are B and E; and the word "xippo", which describes all and only objects which are E but not D.

Теперь я ввожу новое слово "юки", которое описывает те и только те объекты, которые обладают свойствами В и Е. И слово "зиппо", описывающее те и только те объекты, которые обладают свойством Е, но не свойством D.

History of edits (Latest: Alaric 7 months, 1 week ago) §

Me: "Object 1 is zawa and yokie, but not xippo."

Я: Объект 1 --- зава и юки, но не зиппо.

History of edits (Latest: Alaric 7 months, 1 week ago) §

Fred: "Wait, is it luminescent? I mean, is it E?"

Фред: Подожди, он ведь светится? Я имею ввиду --- он же Е?

History of edits (Latest: Alaric 7 months, 1 week ago) §

Me: "Yes. That is the only possibility on the information given."

Я: Да. С учетом имеющейся информации, иначе и быть не может.

History of edits (Latest: Alaric 7 months, 1 week ago) §

Fred: "I'd rather you spelled it out."

Фред: Я бы предпочёл, чтобы ты проговаривал такие вещи.

History of edits (Latest: Alaric 7 months, 1 week ago) §

Me: "Fine: Object 1 is A, zawa, B, yokie, C, D, E, and not xippo."

Я: Ладно. Объект 1 --- А, зава, В, юки, C, D, E, но не зиппо.

History of edits (Latest: Alaric 7 months, 1 week ago) §

Fred: "Amazing! You can tell all that just by looking?"

Фред: Потрясающе! И это все можно понять, просто посмотрев на объект?

History of edits (Latest: Alaric 7 months, 1 week ago) §

Impressive, isn't it? Let's invent even more new words: "Bolo" is A, C, and yokie; "mun" is A, C, and xippo; and "merlacdonian" is bolo and mun.

Впечатляет, правда? Давайте введем больше слов. "Боло" --- А, С и юки. "Мун" --- А, С и зиппо. И "мерлакдониан" --- боло и мун.

History of edits (Latest: Alaric 7 months, 1 week ago) §

Pointlessly confusing? I think so too. Let's replace the labels with the definitions:

Кажется бессмысленно запутанным? Я тоже так думаю. Давайте заменим ярлыки на определения.

History of edits (Latest: Muyyd1 8 months, 2 weeks ago) §

"Zawa, B, and E" becomes [A, C, D], B, E

"Зава, В и Е" превращается в [A, C, D], B, E.

History of edits (Latest: Alaric 7 months, 1 week ago) §

"Bolo and A" becomes [A, C, [B, E]], A

"Боло и А" превращается в [A, C, [B, E]], A.

History of edits (Latest: Alaric 7 months, 1 week ago) §

"Merlacdonian" becomes [A, C, [B, E]], [A, C, [E, ~D]]

"Мерлакдониан" превращается в [A, C, [B, E]], [A, C, [E, ~D]].

History of edits (Latest: Alaric 7 months, 1 week ago) §

And the thing to remember about the Aristotelian idea of categories is that [A, C, D] is the entire information of "zawa". It's not just that I can vary the label, but that I can get along just fine without any label at all—the rules for Aristotelian classes work purely on structures like [A, C, D]. To call one of these structures "zawa", or attach any other label to it, is a human convenience (or inconvenience) which makes not the slightest difference to the Aristotelian rules.

Важно помнить: аристотелевская идея категорий подразумевает, что [A, C, D] --- это вся информация о "зава". Я могу не только использовать любой ярлык, но и прекрасно обойдусь совсем без ярлыков --- правила, регулирующие аристотелевские классы, замечательно работают и для структур вроде [A, C, D]. Использование ярлыка "зава" или какого-либо другого нужно лишь для нашего удобства (или неудобства), а для правил никакой разницы нет.

History of edits (Latest: Alaric 7 months, 1 week ago) §
Pages: ← previous Ctrl next
1 2

© Released under the Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported license. cc BY-NC-SA 3.0.