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

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

Translate into another language.

Participants

Muyyd1 614 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 2 weeks, 4 days 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: Muyyd1 2 weeks, 3 days ago) §

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

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

History of edits (Latest: Muyyd1 2 weeks, 3 days 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 2 weeks, 3 days 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: Muyyd1 2 weeks, 3 days ago) §

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

Я: Объект 1 это зава, В и Е.

History of edits (Latest: Muyyd1 2 weeks, 3 days ago) §

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

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

History of edits (Latest: Muyyd1 2 weeks, 3 days ago) §

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

Я: Это я и подразумеваю, когда говорю зава.

History of edits (Latest: Muyyd1 2 weeks, 3 days ago) §

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

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

History of edits (Latest: Muyyd1 2 weeks, 3 days ago) §

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

Я: Так. Объект 1 это А, В, зава и Е.

History of edits (Latest: Muyyd1 2 weeks, 3 days 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: Muyyd1 2 weeks, 3 days ago) §

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

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

History of edits (Latest: Muyyd1 2 weeks, 3 days ago) §

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

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

History of edits (Latest: Muyyd1 2 weeks, 3 days ago) §

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

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

History of edits (Latest: Muyyd1 2 weeks, 3 days ago) §

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

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

History of edits (Latest: Muyyd1 2 weeks, 3 days ago) §

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

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

History of edits (Latest: Muyyd1 2 weeks, 3 days ago) §

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

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

History of edits (Latest: Muyyd1 2 weeks, 3 days 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: Muyyd1 2 weeks, 3 days ago) §

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

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

History of edits (Latest: Muyyd1 2 weeks, 3 days ago) §

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

"Зава, В и Е" будут [A, C, D], B, E.

History of edits (Latest: Muyyd1 2 weeks, 3 days ago) §

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

"Боло и А" будут [A, C, [B, E]], A.

History of edits (Latest: Muyyd1 2 weeks, 3 days ago) §

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

"Мерлакдониан" будет [A, C, [B, E]], [A, C, [E, ~D]].

History of edits (Latest: Muyyd1 2 weeks, 3 days 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: Muyyd1 2 weeks, 3 days 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.