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

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

Преамбула

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

Амбула

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

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

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


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

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

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



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



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

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

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



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



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



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

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

[identity profile] trueblacker.livejournal.com 2010-10-30 03:01 pm (UTC)(link)
1 0
это теория, сформулированная на Специальном Языке, в переводе на русский приблизительно означает следующее: "видовое разнообразие формируется естественным отбором"

[identity profile] 2000000lemmings.livejournal.com 2010-10-30 03:02 pm (UTC)(link)
Бритва Оккама гласит: "не следует умножать сущностей сверх необходимого". Такая формулировка наиболее распространенная, но в ней есть одно слабое звено: что считать "сущностью", а что нет.
Опаснее, имхо, то, что за рамки высказывания неизбежно выпадает цель. Сверх необходимого для чего? И в дискуссиях, когда люди пытаются применять бритвочку как аргумент, цель зачастую оказывается "умолчальной". А дефолты у всех разные...

[identity profile] trueblacker.livejournal.com 2010-10-30 03:04 pm (UTC)(link)
Солипсизм - это когда ничего нет, кроме субъекта. Всё "объективное" - это всего лишь часть его субъективного.
Вы утверждаете, что это можно опровергнуть, приписав объективность некоторой активности частей этого субъективного

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

[identity profile] psilogic.livejournal.com 2010-10-30 03:39 pm (UTC)(link)
так я и отказался - сказал что имел в виду тоьлко христиан

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

[identity profile] psilogic.livejournal.com 2010-10-30 03:42 pm (UTC)(link)
[ Вы утверждаете, что это можно опровергнуть, приписав объективность некоторой активности частей этого субъективного ]

no! я утверждаю, что вообще не надо приписывать объективность или субъективность, или писать что одно из них часть другого, или что одно не существует, а другое существует

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

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

[identity profile] trueblacker.livejournal.com 2010-10-30 03:58 pm (UTC)(link)
как это "не надо"? вы же говорите об объективных наблюдениях и выводах из них?

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

[identity profile] trueblacker.livejournal.com 2010-10-30 04:02 pm (UTC)(link)
и какие же задачи мы на них формулируем? и решаем?

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

[identity profile] psilogic.livejournal.com 2010-10-30 04:35 pm (UTC)(link)
Я говорю о просто наблюдениях.

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

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

[identity profile] metarattus.livejournal.com 2010-10-30 04:39 pm (UTC)(link)
>Только приписывается, поскольку, как выясняется, он такого не писал, а писал нечто похожее, и писал не он один.

А по сути и с высоты соеврменности - прямо противоположное. Поэтому Мы с некоторых пор всегда называю её "Бритва Лапласа".

>Бритва может быть использована как аргумент против солипсизма. Допустим, солипсист считает, что все сущее - его сон. Но ведь солипсисту надо кушать. И боль от укола шилом ему тоже неприятна, и от того, что он назовет боль сном, легче ему не станет и боль не пройдет.

Необлизательно.
Keywords: психосоматика, истерия, кататония...

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

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

[identity profile] psilogic.livejournal.com 2010-10-30 04:41 pm (UTC)(link)
... и обращения: "мой господин!" :)))

[identity profile] trueblacker.livejournal.com 2010-10-30 04:42 pm (UTC)(link)
если такие трюки не использовать, то в чём логика вашего возражения сравнением количества слов?

[identity profile] trueblacker.livejournal.com 2010-10-30 04:43 pm (UTC)(link)
тогда повторю вопрос:
1. Много вы добавляете в язык математики каждый день?
2. В C++ ?

[identity profile] trueblacker.livejournal.com 2010-10-30 04:44 pm (UTC)(link)
зачем? достаточно "спасибо за уточнение" :)
просто ваш ответ никак не намекает на то, изменилась ли ваша позиция в связи с возражением

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

[identity profile] psilogic.livejournal.com 2010-10-30 04:46 pm (UTC)(link)
[ Необлизательно ]

Я в курсе. Рассмотрите случай, когда психосоматический фактор отсутствует.

[identity profile] psilogic.livejournal.com 2010-10-30 04:48 pm (UTC)(link)
В оценке сложности.

Page 2 of 9