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

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

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

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

Сообщества

Настроить S2

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



Пишет ivanov_petrov ([info]ivanov_petrov)
@ 2008-01-31 08:05:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Разговор о редукционизме: три разворота
Разворот Алгебраического мозга
[info]algebraic_brain@lj
Вот мысль, залезшая из предыдущего обсуждения: если редуцировать теории, правильные лишь относительно своей полезности или применимости (какими, например, являются все нынешние теории естествознания), то ничего страшного. Если это редуцирование (даже подсознательно) распространять на утверждения, которые мы считаем или хотим считать истинными, на которые мы хотим опираться в своей жизни, то существует большая опасность морального разрушения.

Хотя что можно считать истинным? Только духовная практика может дать ответ на этот вопрос. А без такой практики вероятность моральной деструкции высока в любом случае.

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

[info]algebraic_brain@lj
А я и отвечаю, что это, на мой взгляд, происходит за счет неосознанного смешивания

- "истинности" (которую мы используем в своей этике и которая по своей природе устремлена к абсолютному - в христианстве к Богу) и

- "относительной правильности" теорий естествознания (для большинства из коих не доказаны единственность и необходимость).

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

[info]ivanov_petrov@lj
Ну, я бы вспомнил. что наука не так давно отказалась от истинности... До сих пор еще встречаются динозавры. которые не согласны отказываться.

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

Другое дело, что выросло современное теоретизирование, по сути, из более глубоких дисциплин, поэтому по инерции еще претендует...

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


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

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

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

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

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

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

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

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

Разворот Феба

[info]fe_b@lj
Посмотрел гуглом, что такое редукционизм.

Слово недавнее и неполноценное.
Любищев пишет, что его нет в приличных энциклопедиях.

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

Я вижу в этом слове спрятаны две проблемы познания разных масштабов.

Собственно редукционизм - сведение высокого к низкому - частный случай более общей установки
мышления на то, что устройство бытия проще, компактнее, идеальнее, чем само бытие.

Эта двуслойность проблемы очень важна.
Дело в том, что когда ученый (или циник) сводит высокое к низкому, он чувствует,
что делает что-то нехорошее, но оправдывает себя тем, что стремится к высокому идеалу -
просто описать сложное - вроде бы, главная цель познания.

Здесь, конечно, ошибка. Описание целого, через части, во-первых не проще,
а во-вторых, описаывает не не целое.

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

У Штейнера есть очень интересная лекция, в котрой он объясняет, как надо тренировать такое
мышление/память/понимание мира/причин и следствий, которое не сводит явление к его модели.

[info]ivanov_petrov@lj
"Описание целого, через части, во-первых не проще, а во-вторых, описаывает не не целое."
А можно описать целое не через части? это вообще возможно?

А что это за лекция? впрочем. наверное, лучше бы спросить, есть ли она в сети.

[info]albiel@lj
Целое можно описать через взаимодействие с другими объектами и способы участия в ситуациях. Также целое можно описать через участие в более общем объекте, системе. Скажем, яблоко - это плод яблони, с таким-то вкусом, размерами, формой, что оно созревает к такому-то сроку, потом падает с яблони на землю, что плавает в воде, и т. п. Это естественный и максимально распространённый способ описания. До эпохи торжества механики никому бы и в голову не пришло описывать яблоко на манер часового механизма.

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

[info]fe_b@lj
Я же не виноват, что Штейнер это периферия культуры.
Я читал в самиздате лет 30 назад, в неуклюжем переводе. Просто лекция о мышлении.
Антропософы наверно все по-немцки издали и м.б. даже перевели по-русски. Можно спросить у антропософов.
Как найти не знаю. Но могу пересказать, что запомнил.

> А можно описать целое не через части? это вообще возможно?

Главный акт познания - это заметить что некая целостность существует, назвать ее.
Иногда этого достаточно.
Обнаружение существования чего-либо это не обнаружить границу,
а обнаружить центр.
А дальше пульсирующий процесс -
разворачивание в некоторое колличество подробностей - сворачивание обратно в целое.
Поэтому содержательные понятия рекурсивны.
Когда подробностей становится очень много не 7, не 100, а скажем 10000, это признак
сбоя в ритме познания.
Говорят, современное описание клетки состоит из 10000 элементов.

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

[info]ivanov_petrov@lj
Нет, разумеется, Вы не виноваты, это уж точно.

Что-то вроде отделения экзистенции от эссенции? Но я не понял. как "чувство. что что-то есть" пульсируя, разворачивается в подробности. Называя подробности, мы и занимаемся тем. что называем части, аспекты, свойства. Сколько их - это уже другой вопрос.

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

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

[info]fe_b@lj
> Но я не понял. как "чувство. что что-то есть" пульсируя, разворачивается в подробности.

А это не "чувство. что что-то есть", это акт осознания, м.б. самое главное в познании.
Т.е. это не из подсознания, а из сверхсознания.
Когда Вы узнаете знакомого в толпе, через 10 лет, это же не смутное ощущение, это знание.
Подробности получаются в результате пристального взгляда на уже замеченный объект,
они могут быть неожиданны.
Пульсация это возвращение к синтезу, переосознание целого.
Слишком много подробностей означают несварение, неусвоение, не произошло вовремя переосознания.
Это как если бы Вы стали пристально перещитывать на лице старого знакомого, морщины и поры кожи.

Подробности необходимы, но вторичны.
Оглавление в монографии это перечисление сущностй (иерархия сущностей),
а не перечисление признаков. Такая мнемоническая или поисковая система.

Это моя мысль, а теперь мысль Штейнера.

Штейнер, конечно, шаманит. Каждую фразу говорит три раз разными способами.
Но нельзя же сказать, что его мысль неразумна, что он неразумен и занимается не пониманием,
а чувствованием мира. Как бы я мог его пересказать, если бы он был нечленоразделен ?
Я думаю, что цель Штейнера не в том, чтобы мысль совпала с природой, а в том, чтобы мысль совпала
с мыслью природы. Я думаю, что его цель это ясная и точная мысль, а не священное безумие.


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


[info]ivanov_petrov@lj
2008-01-31 05:07 (ссылка)
А Вы согласны с основной мыслью Деннетта - не обращая внимания на неудачный пример - что вся проблема редукции укладывается во взаимную переводимость теорий? Мне кажется, там будут за внешней гладкостью сильнейшие подвохи - оборот "без потери смысла" весьма многозначителен, и мы там разошлись, на том. что эта формулировка не включает в себя реальность, говоря лишь о соотношении теорий.

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


[info]flying_bear@lj
2008-01-31 05:23 (ссылка)
Я просто не понимаю это утверждение. Что значит смысл? Что значит "потеря смысла"? Мне тоже видится тут миллион подвохов.

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

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


[info]ivanov_petrov@lj
2008-01-31 05:51 (ссылка)
Как я понимаю, Вас бы сожгли (повесили?..) уже за мнение о реальности уровней в "на самом деле"... На разговор о свойствах, сколько помню, всегда следует (при правильной игре) ответ о связях. Мол, свойствами - еще нет, но если задать связи - тут-то уж точно все исчерпывается.

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


[info]flying_bear@lj
2008-01-31 06:38 (ссылка)
Ну, да... Как сказано у Лема, мировоззрение особенно успешно овладевает массами, когда его поддерживает полиция.

Впрочем, мы еше посмотрим, кто кого повесит убедит разумными доводами.

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


[info]flying_bear@lj
2008-01-31 06:41 (ссылка)
Связи - это характеристики пар, троек... конечных малых наборов элементов. Мы же с понятием. Поэтому мое уточнение про пары и тройки связи - включает.

Вот это все - обязательно в корзиночку. Вместе с напоминанием мне написать о выводимости термодинамики из механики, когда (и если) снова стану вменяем.

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


[info]ivanov_petrov@lj
2008-01-31 07:03 (ссылка)
понятно

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


[info]yurvor@lj
2008-01-31 10:55 (ссылка)
Почему обязательно малых наборов? Например, любые инварианты распространяются на взаимодействие всех элементов системы. Всякая фиговина, где имеется интеграл по объёму, сразу переходит в разряд связи бесконечных наборов элементов...

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


[info]alexeigrekov@lj
2008-01-31 09:51 (ссылка)
Ни свойствами элементов, ни с добавлением связей не исчерпывается. Потому что добавляется новая чтойность.
Что такое "на самом деле"? Разделение на мир вещей и мир знания, это, конечно, традиция, но... как однажды заметил Беркли, "мы сначала подняли облако пыли, а потом жалуемся, что оно мешает нам видеть" (цитата по памяти, может быть неточна - А.Г.).

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


[info]flying_bear@lj
2008-01-31 13:03 (ссылка)
Я-то согласен... "А вот левые эсеrы этого не понимают" (Ц).

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


[info]algebraic_brain@lj
2008-01-31 06:07 (ссылка)
Извиняюсь, что встрял в разговор, но он мне очень интересен. Редукцию из биологии в физику на языке алгебраической теориий категорий я бы сформулировал так: существует точный функтор из категории биологических объектов в категорию физических объектов. Проще говоря, между физическими объектами существуют все биологические гомоморфизмы, плюс еще какие-то.

Обычно избыток гомоморфизмов вызывается тем, что в системе меньше ограничений, т.е. - да, она проще.

Т.е. такой формулировкой примиряются обе позиции, редукция - да, это перевод. Редукция - да, это упрощение.

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


[info]ivanov_petrov@lj
2008-01-31 07:02 (ссылка)
я не понял.

_между физическими объектами существуют все биологические гомоморфизмы_ что это значит?

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

(Комментарий удалён)

[info]ivanov_petrov@lj
2008-01-31 07:54 (ссылка)
у меня следующее подозрение: оборот "нейтрон цитоплазмы" не имеет смысла

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


[info]algebraic_brain@lj
2008-01-31 08:22 (ссылка)
Да, согласен. Да и пример "небиологического гомоморфизма" у меня дурацкий, непонятный вышел. На самом деле там, на физическом уровне, морфизмы уже между математическими объектами надо строить. Но то, что можно построить морфизм, не имеющий биологического смысла, у меня интуитивно сомнения не вызывает.

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


[info]ivanov_petrov@lj
2008-01-31 08:37 (ссылка)
да, конечно. Канарейка того же цвета, что шарик для пинг-понга.

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


[info]algebraic_brain@lj
2008-01-31 08:45 (ссылка)
Нет, имеется в виду - морфизм между канарейками. Имеющий физический смысл, но не имеющий биологического. Потому что биологичность накладывает дополнительные ограничения.

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


[info]ivanov_petrov@lj
2008-01-31 08:57 (ссылка)
Искусственный пример придумать, наверное, можно... Корявый. Но если попроще - не могу. Имеют смысл... Как сказал отец Уленшпигелю - никогда не пытайся влить бочку в бутылку, или ты прольешь свое пиво на землю

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


[info]algebraic_brain@lj
2008-01-31 09:01 (ссылка)
Не додумал. Спасибо, буду додумывать.

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


[info]algebraic_brain@lj
2008-01-31 10:16 (ссылка)
Точность функтора не требует обязательного наличия дополнительных морфизмов, главное чтобы каждый биологический морфизм однозначно отображался в физический. Но вы правы, некая корявость имеется. Я пока не могу ее уловить. Странно, что нет наглядных дополнительных морфизмов. Тут скрыта какая-то правда.

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


[info]algebraic_brain@lj
2008-02-04 13:42 (ссылка)
Похоже, я поторопился с точным функтором. Как раз наоборот, если биология не редуцируется, то можно будет найти нетривиальные дополнительные гомоморфизмы (http://algebraic-brain.livejournal.com/29420.html) между канарейками как физическими объектами. Например, если мы вынуждены будем ввести дополнительные сущности, то физические гомоморфизмы не будут учитывать гомоморфность этих сущностей и она при некоторых гомоморфизмах будет нарушаться.

В общем, это у меня логическая ошибка случилась. Т.е. функторная семантика, вроде бы, достаточно работоспособна здесь. Но буду думать еще. :)

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


[info]ivanov_petrov@lj
2008-02-04 13:51 (ссылка)
когда придумаете - напишите, пожалуйста. Я почти ничего не понимаю, но когда дозреет - соберусь лбом и попытаюсь понять хоть десятую часть

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


[info]algebraic_brain@lj
2008-02-04 13:56 (ссылка)
Обязательно напишу. И постараюсь объяснить более-менее доступно.

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


[info]yurvor@lj
2008-01-31 14:15 (ссылка)
Можно, я попробую Вам помочь - на примере?

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

Теперь, можно как делать? Вести описание в терминах настоящих электронов - и получить сложное описание[1]. Или в терминах ненастоящих "электронов" и "дырок" - и получить более простое описание[2], но, что замечательно, с тем же результатом.

Соответственно, отображение [2]->[1] и есть хороший пример редукции. Собственно, относительно него можно попробовать рассмотреть все те вопросы, которые были заданы тут абстрактно - по поводу появления нового смысла и т.п.

Вот только вопросы этики и морали непонятно, как сюда приложить :)


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


[info]palmas1@lj
2008-01-31 17:40 (ссылка)
А может это всё же не редукция? Объекты-то получаются "одного уровня". Эдак можно и замену шарика материальной точкой назвать редукцией. Мне кажется, что это какая-нибудь аппроксимация, а не редукция.

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


[info]yurvor@lj
2008-01-31 17:47 (ссылка)
Нет, не одного, в том-то и дело. Меняется только сложность вычислений, но не точность модели. А замена шарика материальной точкой - это не то совсем. Это как раз загрубление модели...

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

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


[info]palmas1@lj
2008-01-31 18:09 (ссылка)
А можно ли тогда такое понимание редукции изложить как результат предельного перехода, скажем, когда количество частиц стремится к бесконечности? В принципе, предел может обладать свойствами, которые отсутствуют у любого элемента последовательности.

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


[info]yurvor@lj
2008-01-31 18:21 (ссылка)
Ч-чего? Этого я вообще не понял.

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

Редукция происходит не от "теории 1" к "теории 2" - в этом никакой редукции (уменьшения) нету. Редукция происходит от "теории 1 + теории 2" к "теории 2" - и вот тут она и есть, редукция, в полный рост - уменьшение _общего_ количества сущностей.

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


(Анонимно)
2008-01-31 18:37 (ссылка)
Такая редукция сродни обычной замене переменных. В одной системе надо писать много уравнений, потом сделали замену, раз - оказывается в новой системе нам нужно только одно уравнение, прочие не нужны. Ну и описывать можно всё, что нас интересует, одной переменной. Оставили одну сущность, прочие выбросили. Ровно как с переходом к описанию движения центра масс некоторой эффективной материальной точкой.

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


[info]palmas1@lj
2008-01-31 18:38 (ссылка)
Виноват, забыл залогиниться

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


[info]algebraic_brain@lj
2008-01-31 08:36 (ссылка)
Конечно, не ясно, можно ли построить и даже физический морфизм, имеющий биологический смысл (т.к. я рассуждаю, не зная, можно ли редуцировать биологию к физике). Т.е. все это нужно воспринимать так: если бы биология редуцировалась к физике, то это был бы точный функтор.

Примеры физических гомоморфизмов я плохие и неправильные сделал, но я надеюсь, что смысл точности функтора получилось отобразить. Если нет - извиняюсь. Я на самом деле постоянно думаю о том, как подобные вещи понятно сказать.

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


[info]alexeigrekov@lj
2008-01-31 09:55 (ссылка)
Думаю, нет точного функтора ни в одну из сторон. Потеря смысла как раз и заключается в нетривиальности ядра.

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


[info]algebraic_brain@lj
2008-01-31 10:07 (ссылка)
Можете пояснить чуть подробнее? На категорном языке. Спасибо.

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


[info]alexeigrekov@lj
2008-02-04 04:16 (ссылка)
Сейчас не готов. Постараюсь все же сделать это немного позже. Пока у меня есть только интуитивное видение этого. Надо еще поразмышлять.

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


[info]alexeigrekov@lj
2008-01-31 09:46 (ссылка)
А можно поставить вот какой вопрос: обсуждение ведется в неявном предположении, что проблема редукции разрешима, или же такого предположения нет, или мы, наоборот, про себя согласны, что, конечно, редукционизм ложен, но вот собрались поговорить, в чем его проблема?
Если редукция - это перевод, то дальше следует такое суждение: а перевод-то без потери смысла невозможен НИКОГДА (ну хорошо, почти никогда).

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


[info]ivanov_petrov@lj
2008-01-31 09:57 (ссылка)
Мы не договаривались об этом. Может, разрешима, может, нет.

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


[info]alexeigrekov@lj
2008-02-01 05:23 (ссылка)
Цепь рассуждения, по-видимому, такая:
1. Редукция есть перевод без потери смысла (определение dennett).
2. Перевод без потери смысла невозможен, за исключением тривиальных случаев, когда языки фактически являются одним языком.
3. Следовательно, в нетривиальных случаях редукция невозможна.

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


[info]alexeigrekov@lj
2008-02-01 05:25 (ссылка)
И я бы добавил к этому слова dennett: "Более того, смысл редукции заключается в том, что редуцирующая теория утвержает, что она есть теория тех же самых явлений, что и редуцируемая. Если редуцирующая теория признает, что она есть теория нетривиально других явлений, то нет предмета редукции."

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


[info]ivanov_petrov@lj
2008-02-01 05:45 (ссылка)
угу

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


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