psilogic: (Default)
psilogic ([personal profile] psilogic) wrote2010-10-30 06:11 pm
Entry tags:

Опасная бритва

Преамбула

В последнее время N раз сталкивался с тем, что разные люди упоминают бритву Оккама, но применяют ее неверно. Неверно, разумеется, с моей точки зрения - вы можете попробовать меня переубедить, а я готов поспорить на эту тему, для чего изложу подробно свою позицию здесь.

Амбула

Бритва Оккама - высказывание, которое приписывается монаху Оккаму. Только приписывается, поскольку, как выясняется, он такого не писал, а писал нечто похожее, и писал не он один.

Бритва Оккама гласит: "не следует умножать сущностей сверх необходимого". Такая формулировка наиболее распространенная, но в ней есть одно слабое звено: что считать "сущностью", а что нет. Поэтому "бритва" так или иначе уточняется.

Бритва Оккама может иметь две формы. Первая форма - правило, выводимое из некоторых практических положений. Вторая форма - призыв, лозунг, отсылающий к первой форме. Таким образом бритва - это либо теорема, либо призыв, но в любом случае не аксиома или догма, в которую надо верить.


Бритва как теорема
Пусть есть несколько способов рассчитать траекторию снаряда, и способы отличаются только сложностью. Какой способ мы предпочтем - тот, что проще или тот, что сложнее? Наверное, тот, что проще. Это следует хотя бы из желания сэкономить время - жизнь то не резиновая.

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

Отсюда следует первая часть бритвы: "не изобретать сущностей". В том смысле, что если без чего-то можно обойтись, надо обойтись. Но при этом надо, чтобы задача решалась. То есть, для упрощения есть предел - задача должна решаться. Отсюда следует вторая часть бритвы как уточнение: "... сверх необходимого".



Бритва как призыв
Хотя экономия ресурсов обычно полезна, но в тех или иных обстоятельствах у людей могут быть мотивы, чтобы не упрощать, а наоборот усложнять. В таких ситуациях "бритва" работает не как теорема, а как призыв, напоминание, лозунг.
Лозунг не обязательно будет воспринят - по той причине, что человек по каким-то причинам упрощать не захочет.



Опасная бритва
Самая частая ошибка при пользовании бритвой - это когда забывают о второй ее части ("сверх необходимого"). Например, есть три закона Ньютона. Выбросьте один из них - система станет проще. Однако многие задачки решаться перестанут.

Верующие часто делают такого рода ошибку, когда пытаются опровергать резать бритвой эволюционную теорию. Дескать, в библии все проще: все Бог создал. Конечно, это проще. Но библия не выполняет функцию - не помогает ничего просчитать. А эволюционная теория описывает закономерности, которые позволяют применять их для селекции. И генетика, ясное дело, сложнее, чем "дух божий", но "дух божий" не помогает бороться с генетическими заболеваниями.

А неверующие часто делают аналогичную ошибку, когда пытаются защищать "материю", "объективную реальность", "диалектику" и некоторый другой мусор, происходящий из философии. Их можно на этом подловить, показав, что эти понятия не нужны для той или иной теории.



Бритва против солипсизма
Бритва может быть использована как аргумент против солипсизма. Допустим, солипсист считает, что все сущее - его сон. Но ведь солипсисту надо кушать. И боль от укола шилом ему тоже неприятна, и от того, что он назовет боль сном, легче ему не станет и боль не пройдет. Чтобы избегать неприятностей, связанных с аварией на дороге, придется изучать ПДД. В общем, солипсисту придется использовать все обычные закономерности быта и науки, только ко всему добавлять: это - сон... и это - тоже сон. А зачем, что это дает? Ничего. Режем бритвочкой.



Бритва против материализма
Аналогично можно использовать бритву против материализма. Дескать, зачем, говоря о законах механики, добавлять, что кирпич - это материя? Для расчета траектории это не нужно. И вообще непонятно, для чего нужно.



Бритва против религии
Почему бритва не работает против религии так, как хотелось бы атеистам? Ну, казалось бы, верующие тоже не против сэкономить силы и ресурсы?

Оказывается, все во второй части, в оговорке: "сверх необходимого". Для атеиста важно разобраться в законах природы, понять, как они устроены, как с их помощью что-то предсказывать. И все.
Но для верующего есть еще одна необходимая вещь - утешение. Именно религия дает ему широкий спектр утешительных утверждений вроде того, что все негодяи будут наказаны или что умершие родственники еще живы "где-то там". Атеист с отсутствием всего этого смиряется, верующий же - готов усложнить модель ради утешения.
И для служителей культа есть еще одна необходимая вещь - возможность извлекать выгоду из религии. Если бы не это, религия состояла бы сплошь из одних утешений. А так - можно пугать адом, а для того, чтобы не попасть в ад, верующие должны что-нибудь дать взамен - иногда "бабки", иногда "власть", иногда просто "уважуху".

[identity profile] padb.livejournal.com 2010-10-30 04:48 pm (UTC)(link)
[кирпич - это материя]

"Материя как таковая, это – чистое создание мысли и абстракция. Мы отвлекаемся от качественных различий вещей, когда объединяем их, как телесно существующие, под понятием материи. Материя как таковая, в отличие от определенных, существующих материи, не является, таким образом, чем-то чувственно существующим. Когда естествознание ставит себе целью отыскать единообразную материю как таковую и свести качественные различия к чисто количественным различиям, образуемым сочетаниями тождественных мельчайших частиц, то оно поступает таким же образом, как если бы оно вместо вишен, груш, яблок желало видеть плод как таковой, вместо кошек, собак, овец и т.д. – млекопитающее как таковое, газ как таковой, металл как таковой, камень как таковой, химическое соединение как таковое, движение как таковое." (Энгельс Ф. Диалектика природы. – Маркс К., Энгельс Ф. Соч., т. 20, с. 570.)

[identity profile] psilogic.livejournal.com 2010-10-30 04:50 pm (UTC)(link)
1. нисколько, т.к. я не математик
2. много (больше 10) - хотя эти слова и не "ключевые". но программа на языке C++ содержит не только ключевые слова

[identity profile] psilogic.livejournal.com 2010-10-30 04:51 pm (UTC)(link)
это да! я же изъявил желание посыпать голову пепелом - значит согрешил-покаялся, но не факт, что исправился :)))

[identity profile] trueblacker.livejournal.com 2010-10-30 04:51 pm (UTC)(link)
Смотря как повернуть эту модель. Что является более многочисленными сущностями с т.з. бритвы Оккама? Матрица или 6.5 миллиардов независимых наблюдателей?

[identity profile] psilogic.livejournal.com 2010-10-30 04:52 pm (UTC)(link)
что ви хотели скасать етой цитат? :)

[identity profile] trueblacker.livejournal.com 2010-10-30 04:52 pm (UTC)(link)
методами, несостоятельность которых легко иллюстриуется развитием вашего примера

[identity profile] psilogic.livejournal.com 2010-10-30 04:55 pm (UTC)(link)
6.5 независимых, конечно, проще. В системе с матрицей матрица должна имитировать все законы физики виртуального мира плюс подчиняться закона своего мира.

[identity profile] padb.livejournal.com 2010-10-30 04:57 pm (UTC)(link)
я ее привел, в надежде, что вы поймете, что такое материя и зачем используется это определение, в общем говоря, что кирпич это не материя

[identity profile] psilogic.livejournal.com 2010-10-30 04:58 pm (UTC)(link)
Дык, дело то не в методах, а в сложности. Или вы всерьез считаете, что теория эволюции, как она излагается в нормальном учебнике, проще чем несколько глав древневрейской сказки? Тогда подумайте, почему первое изучают уже после начальной школы, а второе - можно и в детсаду.

Вот если вы захотите взять теорию эволюции во всей ее полноте и добавить к ней куда-то еще и Бога, который запустил процесс эволюции, тогда да - тогда с Богом получится сложнее.

[identity profile] psilogic.livejournal.com 2010-10-30 04:59 pm (UTC)(link)
о, да. кирпич нематериален :)

[identity profile] metarattus.livejournal.com 2010-10-30 05:03 pm (UTC)(link)
>Рассмотрите случай, когда психосоматический фактор отсутствует.

Не путайте ТруЪ СолипсизмЪ с лицемерием.

+ не забывайте это для нас такие крайности - аномалии, а для солипсиста, или, шире, мистика - суть самая нормальная норма - Просветление.

Как Нам кажется, солипсизм более уязвим с сов7 другой стороны: с вопроса "Почему Ваш сон столь причудливый и даже вычурный и каковы его первопричины?"

[identity profile] trueblacker.livejournal.com 2010-10-30 05:03 pm (UTC)(link)
т.е. вы всего лишь проецируете собственные игрища в собственноручно созданной песочнице на лингвистические, культурологические, философские и эпистемологические реалии.
То, что в вашей собственной программе вам ничего не стоит завести новое понятие, слово, или сущность, не означает, что вы можете легко экстраполировать это на историю развития человеческого языка и указать, ЧТО человечество в своих знаниях усвоила благодаря тем или иным языковым структурам, а что - вопреки им.
Разделение на материальное и нематериальное надёжно зафиксированно в языке, поэтому, в некотором смысле, существует реально - просто по факту многотысячелетней проверки временем. Человеку оказалось удобно систематезировать реальность именно через призму этого разделения, это объективный факт. В чём истинная причина этого удобства? Глубинная сущность устройства вселенной? Специфика человеческого мышления? Перепитии человеческой истории? Слишком сложный вопрос, чтобы отвечать на него параллелями с программой на С++.

[identity profile] trueblacker.livejournal.com 2010-10-30 05:04 pm (UTC)(link)
вкусовщина, не более того
законы физики - всего лишь 4 жалких взаимодействия

[identity profile] psilogic.livejournal.com 2010-10-30 05:08 pm (UTC)(link)
То, что я в программе мог заводить новые понятия - это контрпример. Достаточно одного, чтобы опровергнуть обобщение. Неважно, откуда пример взят - из собственного опыта или из чужого.

Язык участвует в мышлении, помогает мышлению, но не определяет (не детерминирует) мышление. На мышление влияет еще много чего, кроме языка.

Если в языке есть некий феномен, это не значит, что он полезен для мышления.

[identity profile] psilogic.livejournal.com 2010-10-30 05:08 pm (UTC)(link)
да ну вас :))

[identity profile] trueblacker.livejournal.com 2010-10-30 05:09 pm (UTC)(link)
>Или вы всерьез считаете, что теория эволюции, как она излагается в нормальном учебнике, проще чем несколько глав древневрейской сказки?

ох... вообще-то я этого не говорил. Но раз уж вы хотите, могу привести аргументы и в пользу этой позиции тоже. Теорию эволюции можно преподавать в детском саду не хуже нескольких глав из древнееврейской сказки, если изложить соответствующим языком и освободить от нагромождения нюансов, требующих серьёзной научной подготовки.

>Вот если вы захотите взять теорию эволюции во всей ее полноте и добавить к ней куда-то еще и Бога, который запустил процесс эволюции, тогда да - тогда с Богом получится сложнее.

вот это ближе к формулировке моего возражения.

[identity profile] trueblacker.livejournal.com 2010-10-30 05:19 pm (UTC)(link)
определение как "однозначная детерминиронность" в приведённой цитате и не подразумевалась. Речь идёт о существенном влиянии, "искажениях", если угодно, которые вносит язык в "истину", которую познающий субъект пытается облечь в слова. Облекая её в слова и передавая из поколения в поколения, он весьма существенно влияет на понятийный аппарат, который будет выработан у исследователей последующих поколений, тем самым, привонося риск того, что такой аппарат в итоге и вовсе исключит из поля зрения субъекта важные детали, которые могут быть осмысленны только при значительном уточнении теории.
Вот что понимаете под "о чём мы можем мыслить".
Язык, к счастью, - живая, а не детерминированная, система. Его текущее, мгновенное состояние обладает вполне конкретным, хотя и едва ли определяемым в терминах этого же языка детерминизмом. Но уже в следующем поколении картина этого детерминизма будет более или менее другой.

>Если в языке есть некий феномен, это не значит, что он полезен для мышления.

я спорю не с этим. Я говорю о том, что даже если некая языковая структура, концепция, феномен - "не полезна" на данном этапе или в данной задаче, это не значит, что она не была полезной когда-то. И вопрос о том, закончилось ли на данный момент это "когда-то" или ещё нет, более сложен, чем задача о кирпичах.

[identity profile] natalia-vas.livejournal.com 2010-10-30 05:24 pm (UTC)(link)
Есть другая формулировка — "stultum est facere per multa quid fieri potest per pauciora" ("глупо делать посредством многого то, что может быть сделано посредством меньшего"; с ходу именно эту фразу в сети не нашла); "Frustra fit per plura quod potest fieri per pauciora" ("напрасно получать посредством многого..."). Никаких "сущностей", а мысль та же. Коротко и ясно. http://kosilova.textdriven.com/narod/studia/ockham.htm
"Fieri" — "образовываться", "возникать", "facere" — "делать" (а не "объяснять"), так что смысл высказывания можно толковать широко.
Как пишут, фраза про "сущности" Оккаму действительно не принадлежит. И она сильно запутывает дело.

[identity profile] trueblacker.livejournal.com 2010-10-30 05:30 pm (UTC)(link)
ок, как скажете :-)

[identity profile] esya.livejournal.com 2010-10-30 05:33 pm (UTC)(link)
Короче, бритва инструмент для бритья и пользоваться ей надо осторожно :)

[identity profile] psilogic.livejournal.com 2010-10-30 05:35 pm (UTC)(link)
да, это и в "вики" есть

[identity profile] padb.livejournal.com 2010-10-30 05:36 pm (UTC)(link)
материя это категория используемая в марксизме для обозначения объективной реальности

хотя на примере из цитаты лучше вам объяснить вашу ошибку наверное:
плод как таковой вы нигде в мире не найдете, вы найдете яблоко, вишню, грушу. Плод это скорее совокупность яблок, груш, вишен, из которой абстрагировано понятие плода.

кирпич существует объективно, но он не материя как таковая.

Логически продолжая вашу мысль,[кирпич - это материя], раз так то если кирпич это материя и кирпич можно уничтожить, то материю тоже можно уничтожить(т.к. [кирпич - это материя]),т.е. можно уничтожить объективную реальность. Абсурд.

[identity profile] psilogic.livejournal.com 2010-10-30 05:38 pm (UTC)(link)
[ освободить от нагромождения нюансов, требующих серьёзной научной подготовки. ]

а с нагромождением нюансов - уже не получится

возможно, вы имели в виду такую теорию, в которой очень замысловатый Бог, структура которого как-то позволяет просчитать изменчивость, наследственность и т.п. свойства живых существ... но в реале так не бывает. религия может объяснять, но не предсказывать.

[identity profile] psilogic.livejournal.com 2010-10-30 05:40 pm (UTC)(link)
так... начались декларации о моих ошибках. о-кей, давайте поглядим на вашу безошибочность :)

[ Плод это скорее совокупность яблок, груш, вишен, из которой абстрагировано понятие плода. ]

гы... а что, "совокупность яблок" - не абстракция?

[identity profile] padb.livejournal.com 2010-10-30 05:42 pm (UTC)(link)
и что же вы везде используете эту бритву?

ну например если есть две схемы, где одна из них длиннее другой, сложнее, с наличием прибавлений, а другая короче, проще, но приходят по ним к одному результату. Какую вы выберите?

Page 3 of 9