Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет ivanov_petrov ([info]ivanov_petrov)
@ 2008-04-06 23:03:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Разговор о редукции (продолжение разговора несколько в другую сторону)
http://ivanov-petrov.livejournal.com/843576.html?thread=34452536#t34452536
[info]dennett@lj
Интересно. В моих учебниках по теории науки редукция описывается как возможность перевести все утверждения языке одной теории на язык другой теории без потери смысла. Пример - ньютонова кинематика и специальная теория относительности. В этом случае, похоже, этическая проблема не встает, поскольку никакой упрощенной схемы нет - а если и есть, то именно редуцируемая теория является такой схемой, а не редуцирующая.

[info]ivanov_petrov@lj
То есть отношения "верх-низ" (сложна-простая) - отношения нагруженные многими ценностями и субъективными впечатлениями - свели в проблему перевода? Вы правы, думаю, этическая проблема там не встает... именно потому, что в таком определении утерян сам вопрос. То есть при повышении уровня формальности определения редукционизма пропала сама проблема. Мне казалось, нерв редукционизма - создание "более простой" (с какой-то точки зрения) модели. Если мы отказываемся говорить о сравнении сложности и говорим только о переводе - мы просто говорим о другой проблеме. Нет? Там ведь сказано: без потери смысла... А это и есть то, за что дерутся на поле редукционизма. Спорный вопрос вынесен в условие. Перед Парисом стоит всего одна богиня - и либо жри яблоко сам, либо...

[info]dennett@lj
--Мне казалось, нерв редукционизма - создание "более простой" (с какой-то точки зрения) модели.
--Возьмем случай редукции биология-->физика. Врядли в каком-то смысле говорить, что физика есть более простая модель биологии. Вопрос мне кажется, стоит так - можно ли на языке физики без потери смысла описать биологические явления - является ли язык биологического описания только чем-то вроде стенограммы, которую можно расшифровать. Т.е. онтологический вопрос о том, имеют ли на уровне биологии место процессы несводимые к уровню физики, решается через семантический вопрос о переводе без потери смысла.

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

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

[info]ivanov_petrov@lj
нет, мне кажется. именно в том и дело, что обсуждаемое положение - физика есть более простая модель биологии. Если б было иначе, и редукционисты не стремились бы быть редукционистами. и антиредукционситы не стремились бы опровергать... Если без потери смысла - это всего лишь игра в имена. предположим. что физика посредством неравновесной термодинамики или еще каким макаром без потери смысла описывает биологические явления. Ну, называется это физикой, разница какая? все равно это биология.

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

_Отношение редукции возникает между двумя теориями, а не между реальностью и схемой._ Согласен. конечно, только исключать реальность из обсуждения, конечно, нельзя. Если бы был разговор только о двух теориях - это не был бы разговор о редукции. Мне кажется. там две теории и три реальности. Реальность 1 - "настоящая", которую мы стремися отобразить в теории. 2 и 3 - реальности, которые возникают при проживании одной и другой теории. В конечном счете, понятное дело (после различения реальности "настоящей" и "придуманной") придется говорить о человеке - что с ним происходит при жизни с теорией 2 и теории 3. Мейен предположил. что редукционная теория (пусть будет номер 2) делает его циником. В более общей форме - принятие той или иной теории вызывает изменения в психике и этике человека.

[info]dennett@lj
--Редукция есть утверждение о том, что некую систему можно описать по более простому протоколу, - выделить элементарные части (аспекты, свойства) и на языке взаимодействий этих элементов описать всю систему.
--Но ведь эта проблема возникает при любом описании. Вот у нас есть сами явления, вот мы начинаем их научно познавать, это происходит путем вычленения важного, разработки понятий, установления отношений и классификаций, создания схем. Стремление к простоте - к экономии понятийной силы - к отсутствию излишних, неприносящих результата усложнений - одно из непременных требований любой науки. Т.е. мне кажется, при описании редукции у вас получается просто описание научного метода.

Без потери смысла - это не просто слова. Тут имеется в виду вполне конкретная вещь - вот есть утверждения одной теории - и у них есть некое содержание, семантический объем (набор параметров, предсказания фактов и объяснительный потенциал) - так вот редуцирующая теория должна в точности покрывать весь этот семантический объем - т.е. не должно быть утверджений или интерпретаций, которых бы не воспроизводила редуцирующая теория. И это практический момент - опровержением редукции является невоспроизводимое утверждение или интерпретация. Там много нерешенных вопросов, связанных с ненаблюдаемыми величинами, со смыслом и онтологией вспомогательных понятий - некоторые вопросы поднимаются вот здесь -
http://dennett.livejournal.com/123480.html
но это вполне практический и содержательный подход, убирающий из вопроса о редукции какой бы то ни было морально-политический привкус...

[info]ivanov_petrov@lj
"мне кажется, при описании редукции у вас получается просто описание научного метода" - да, он - насквозь...

Насчет воспроизведения смысла я так и понял.

[info]aka_b_m@lj
"содержательный подход, убирающий из вопроса о редукции какой бы то ни было морально-политический привкус..." - в некотором роде это и есть редукция, которой данный практический подход как бы и должен избежать. Практика и целеполагание - вообще штуки редуцирующие, не находите?

[info]dennett@lj
в каком смысле практика и целеполагание - штуки редуцирующие?

[info]aka_b_m@lj
Деятельность необходимо предполагает сведение сложного к простому, а-ля сороконожка, разве нет? Так что там насчёт первой части моего коммента?

[info]dennett@lj
Мне кажется, что вы думаете, что редукция есть нечто постыдное. Однако же это не так. Все что редуцируется, следует редуцировать.

[info]aka_b_m@lj
Я думаю, что редукция есть нечто не вполне умное, а быть глупым - отчасти и постыдно, если глупость проявляется публично - как это и случилось с сороконожкой. А что, что-то не редуцируется?

[info]dennett@lj
--не вполне умное
--а почему? возьмите парочку известных редукций - там где все аккуратно редуцируется - к примеру, физику давлений и объемов и молекулярную кинетику - и поясните мне, отчего они неумны.

--А что, что-то не редуцируется?
--изначально, что редуцируется, а что нет мы не знаем. вот, к примеру, не знали, что все световые явления редуцируются к электромагнетизму. не знали, что грипп редуцируется к действию вируса. Любое объяснение есть редукция относительная редукция.

[info]aka_b_m@lj
> все аккуратно редуцируется - к примеру, физику давлений и объемов и молекулярную кинетику - и поясните мне, отчего они неумны.

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

> изначально, что редуцируется, а что нет мы не знаем.

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

> Любое объяснение есть редукция относительная редукция.

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

> вот, к примеру, не знали, что все световые явления редуцируются к электромагнетизму. не знали, что грипп редуцируется к действию вируса.

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


(Читать комментарии) - (Добавить комментарий)

Re: Затрудняюсь понять эту реплику;)
[info]aka_b_m@lj
2008-04-06 22:04 (ссылка)
Расчёт движения молекулы-заслонки далеко за пределами молекулярно-кинетической теории газов. Хотя бы потому, что заслонка - заведомо не газ. Вы так рассуждаете, будто и впрямь рассчитывали в инженерном смысле слова подобное устройство.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Затрудняюсь понять эту реплику;)
[info]yurvor@lj
2008-04-06 22:16 (ссылка)
Молекулярно-кинетическая теория газов основывается на кинетике отдельных молекул - нет ничего особенного чтобы рассмотреть конкретную молекулу-заслонку и посчитать её кинетику. А газ она или не газ - особой роли не играет.

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

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Затрудняюсь понять эту реплику;)
[info]aka_b_m@lj
2008-04-06 22:58 (ссылка)
Боюсь, на заре туманной юности вас жестоко обманули. Вы, случайно, там модель вечного двигателя не расчитывали? Демон Максвелла, entre nous, невозможен ровно по тем же основаниям: он противоречит первому и второму началам термодинамики. И я ваму предложу любое потребное количество моделей, где ДМ будет, скажем, представлять макромолекулу - благо за такими молекулами-дырками с заслонками далеко ходить не надо: их есть в биологии. Но МКТ к таким молекулам заведома неприменима: "заслонка" - это их часть, а не отдельная молекула (а уж расчёт её движения - задача не для девятого класса).

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Затрудняюсь понять эту реплику;)
[info]yurvor@lj
2008-04-07 01:01 (ссылка)
Написал много, потом стёр. Посмотрите просто сюда - http://ru.wikipedia.org/wiki/%D0%94%D0%B5%D0%BC%D0%BE%D0%BD_%D0%9C%D0%B0%D0%BA%D1%81%D0%B2%D0%B5%D0%BB%D0%BB%D0%B0

Вместо заклинаний о том, что он "противоречит началам", вспомните школьный курс физики и посчитайте.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Затрудняюсь понять эту реплику;)
[info]aka_b_m@lj
2008-04-07 01:19 (ссылка)
Вы по делу возразить можете? Зачем нужна энергия для отличения быстрой молекулы от медленной? Вот вы, когда быстрый автомобиль от медленного отличаете, тратите на это энергию (с учётом затрат на подъём полосатой палочки), в точности равную разности их кинетических энергий?

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Затрудняюсь понять эту реплику;)
[info]yurvor@lj
2008-04-07 01:24 (ссылка)
Энергия нужна для совершения работы по сдвигу заслонки. И вообще, если пренебрегать подобными "мелочами", тогда можно много парадоксов напридумывать. Начал на всех не напасёшься...

Но здесь как обычно - если тщательно учитывать малые величины, никаких парадоксов не возникает.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Затрудняюсь понять эту реплику;)
[info]aka_b_m@lj
2008-04-07 01:34 (ссылка)
То есть вы помните, что в школе вам так объясняли - и с тех пор верите. Так что я могу ещё раз со спокойной совестью повторить то, с чего начали: молекулярно-кинетической теории газов работа Демона Максвелла не противоречит. А если тщательно учитывать малые величины, то и крокодилы летают. Нызенько-нызенько.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Затрудняюсь понять эту реплику;)
[info]yurvor@lj
2008-04-07 01:36 (ссылка)
Вы сами-то поняли, что сказали? :)

_Работа_ демона Максвелла не нарушает второго начала термодинамики - парадокса никакого нету.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Затрудняюсь понять эту реплику;)
[info]aka_b_m@lj
2008-04-07 01:46 (ссылка)
То есть вы действительно не помните, чего там в школе считали, но стесняетесь в этом признаться? Не стесняйтесь, здесь все свои, а в школах порой излишне популяризуют, бывает. А насчёт того, что вы приписываете мне слова, которых я не писал - я, с вашего позволения, комментировать не буду.

(Ответить) (Уровень выше)

Re: Затрудняюсь понять эту реплику;)
[info]aka_b_m@lj
2008-04-07 02:57 (ссылка)
Чтобы не погружать вас в сложные расчёты понапрасну, я вам тут соорудил демона Максвелла из подручных материалов. Значит, берём двухкомнатную квартиру, герметизируем, и возле открытой, но герметично закрывающейся двери между комнатами сажаем мужика (в скафандре, ага). Мужик ждёт, когда все молекулы соберутся в одной из комнат и - раз! - закрывает дверь. Потом мы гоним воздух по трубе из полной комнаты в пустую и крутим в потоке динамо, пока давления не выровняются. От динамо заряжаем в том числе и аккумулятор (мужик - электрический). Объём комнат никак не ограничиваем, чтобы вам не пришлось утверждать, что вся полученная энергия уйдёт на закрывание двери. Вы видите здесь противоречия с молекулярно-кинетической теорией газов? Я - нет.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Затрудняюсь понять эту реплику;)
[info]flying_bear@lj
2008-04-07 03:02 (ссылка)
Я Вам там ниже ответил. Вопрос крайне непростой, в двух словах не объяснишь, но ответ понятен - атомистику не нарушает, работать не будет. Очень советую у Фейнмана посмотреть - прекрасно написано, читать одно удовольствие.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Затрудняюсь понять эту реплику;)
[info]aka_b_m@lj
2008-04-07 03:12 (ссылка)
Да я-то как раз знаю, что непростой: нам в школе как раз так и объясняли, как в Википедии написано - слово в слово, и я ещё тогда чёрную метку поставил: народу правды не говорят. Мы же здесь вопрос о редукции разбираем, а не о демоне. Так что даже наблюдения над молекулярно-кинетической теорией (которая, насколько я в курсе, весьма частный случай атомистики, отчего я и пишу её каждый раз полным титулом) не так поучительны, как наблюдения над поведением редукционистов. Вы лучше оцените моего демона, я вроде хорошо придумал: с чего вдруг ему не работать - работа-то не пыльная!

(Ответить) (Уровень выше) (Ветвь дискуссии)

работа-то не пыльная!
[info]flying_bear@lj
2008-04-07 06:35 (ссылка)
Вот ссылка: Ч. Беннет. Демоны, двигатели и второе начало термодинамики. В мире науки, 1988, №1, С. 52. По поводу Вашего демона (и ему подобным) там много всего: (1) измерение - физические процесс (грубо говоря, чтоб отличить быстрые молекулы от медленных, нужно посветить фонариком) (2) устройство, работающее как демон ("мужик электрический") подвержено флуктуациям и иногда будет срабатывать из-за них неправильно - это детально разобрано у Фейнмана (3) самое главное, по Беннетту: в термодинамике всегда работают с замкнутыми циклами. Показано, что, даже если исхитриться не тратить энергии на измерения, вы спустите всю заработанную свободную энергию на очистку памяти "демона". Очень элегантный анализ, но там нужно писать формулы и рисовать картинки, так что лучше по ссылке. Если же у демона бесконечная память, тогда пожалуйста: она будет засираться, засираться... Но бесконечные системы и не должны подчиняться термодинамике, это нормально.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: работа-то не пыльная!
[info]aka_b_m@lj
2008-04-07 09:43 (ссылка)
Ох, меня терзают смутные сомнения. Статью Беннета я, конечно, запомню и постараюсь посмотреть, бо школьные пробелы надо закрывать - но прямо сейчас я этого сделать не могу. Поэтому вынужден продолжать плясать от фонаря. В моём случае (макроскопический мужик, неограниченно наращиваемый объём комнат) отмазка, как мне навскидку кажется, будет другой: время ожидания события значительно превысит сроки существования Вселенной etc. Хотя в принципе извлечение энергии из локальных неоднородностей - это как раз именно то, чем мы с вами в глобальном масштабе и занимаемся. Но введение понятия энтропии как меры "всех возможых микростояний системы", ИМХО, выходит за рамки возможностей редукции описания системы к таким микросостояниям - отчего я и начал возражать на исходное утверждение [info]dennett@lj'а в теле поста.

(Ответить) (Уровень выше)

Re: Затрудняюсь понять эту реплику;)
[info]aka_b_m@lj
2008-04-09 01:04 (ссылка)
ОК, перейдём к разбору полётов. Я принял фразу "_Работа_ демона Максвелла не нарушает второго начала термодинамики - парадокса никакого нету." за цитату из себя, почему и возмутился в этой (http://ivanov-petrov.livejournal.com/901604.html?thread=38549988#t38549988) реплике, но, похоже, это ваши собственные слова. В таком случае вы противоречите сами себе, потому что за пару комментов до этого вы ссылаетесь на Википедию, где сказано: "демон Максвелла позволяет нагреть правую часть сосуда и охладить левую без дополнительного подвода энергии к системе … что противоречит термодинамическому принципу неубывания энтропии в замкнутых системах (см. Второе начало термодинамики)". Ну так что, сделаете очередную (1 (http://ivanov-petrov.livejournal.com/901604.html?thread=38543588#t38543588), 2 (http://ivanov-petrov.livejournal.com/901604.html?thread=38547684#t38547684), 3 (http://ivanov-petrov.livejournal.com/901604.html?thread=38549476#t38549476)) попытку перейти на личности или всё-таки выскажетесь по существу вопроса?

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Затрудняюсь понять эту реплику;)
[info]yurvor@lj
2008-04-09 01:13 (ссылка)
Здесь Вы цитируете оригинальную формулировку парадокса. Достаточно прочесть следующий абзац из этой же статьи, чтобы понять, как разрешается этот парадокс - т.е. что парадокса никакого нет. Собственно, следующий абзац я лично и перефразировал.

Моя первая реплика (http://ivanov-petrov.livejournal.com/901604.html?thread=38541540#t38541540) именно это и утверждает. Вы же утверждали здесь (http://ivanov-petrov.livejournal.com/901604.html?thread=38540260#t38540260) (правда, косвенно), что демон Максвелла невозможен.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Затрудняюсь понять эту реплику;)
[info]aka_b_m@lj
2008-04-09 01:48 (ссылка)
Во-первых, демон Максвелла позволяет уменьшать энтропию точно так же, как вечный двигатель позволяет получать энергию. Когда мы пытаемся воплотить эти устройства, то выясняем, что мы что-то не учли, что существует в действительности и не включено в изначальную модель. При учёте этого устройства перестают противоречить принципам, но превращаются - в случае демона Максвелла - в устройство по сортировке молекул по скоростям. Оснований называть его демоном Максвелла немногим больше, чем называть вечным двигателем ветряную мельницу. Вот это самое "неучтённое", которое надо учесть и которое вы так упорно отказываетесь назвать, и выходит за рамки МКТ.
Во-вторых, я так и не дождался никаких возражений по поводу устройства, которое условно можно назвать "мужик при дверях" и которое является демоном Максвелла только в самом общем понимании - так как делает то же самое, оставаясь в рамках МКТ.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Затрудняюсь понять эту реплику;)
[info]yurvor@lj
2008-04-09 02:00 (ссылка)
Я уже сказал - у нас с Вами какое-то разное понимание смыслов.

Демоном Максвелла _принято_ называть вполне конкретный мысленный эксперимент. Со всеми его учтёностями и неучтёностями. Т.е. при учёте всего устройства не теряют своих имён - просто от того, что кто-то что-то не учёл. Поэтому мужик по сортировке молекул так и остаётся демоном Максвелла.

Что же до учитывания "того, что не учтено", никуда оно не выходит. МКТ газов по сути - механическая теория сталкивающихся шариков, т.е. механика - плюс статистика из-за количества этих шариков. Понятное дело, что энергия, потребная на сдвиг задвижки (или там информационные рассуждения) никак за рамки механики не выходят.

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

К сожалению, разговор с Вами не доставил мне удовольствия. Увы.

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: Затрудняюсь понять эту реплику;)
[info]aka_b_m@lj
2008-04-09 02:06 (ссылка)
Совсем простой вопрос: демон Максвелла возможен?
И второй совсем простой вопрос: чем мой "мужик" противоречит МКТ газов? Механике плюс статистика?
И реплика a parte: да мне-то как раз и интересно посмотреть, как редукционистов крутит при редуцировании их самих, так что ваше неудовольствие как раз в программе.

(Ответить) (Уровень выше)


(Читать комментарии) -