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

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

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

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

Сообщества

Настроить S2

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



Пишет ivanov_petrov ([info]ivanov_petrov)
@ 2005-07-01 09:45:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Разговор о моделях
Dennett Вы пишете: "Меня просто - по отстраненности моей позиции от всех этих конкретных исследований - интересует, как оно "на самом деле" - интересует вполне любительски, и потому мне не так интересно смотреть на модельки."
А не могли бы вы привести пример, когда вам удалось добраться до "на самом деле", увидеть как на самом деле обстоят дела - без моделек.

Ivanov-Petrov Отличный вопрос.... Представьте, что был бы у меня такой бесценный опыт "сути дела без моделек". Одно дело - что он есть, а совсем другое - Вы просите его "привести". Это уже не ситуация знания, а - трансляции знания. И тогда вопрос ко мне "на самом деле" такой: "приведите пример познания сути дела без моделек - причем, передавая мне это знание, воспользуйтесь моделькой".
Можно и иначе. Если моделью называть все, что угодно, то слово лишается смысла. Если же нечто определенное, то отсюда следует, что возможны немодельные знания. Нет?

Dennett «Если моделью называть все, что угодно, то слово лишается смысла. Если же нечто определенное, то отсюда следует, что возможны немодельные знания.» ----Конечно. Но в таком случае, у меня к вам следующий вопрос: что вы называете моделью? Хотя, наверно, это уже большой вопрос - и его, видимо, вам будет удобнее вынести в отдельный пост.

Ivanov-Petrov
Если позволите, я попробую обойтись без определения – мне кажется, это будет понятнее.
Итак, я утверждаю, что существует познавательная деятельность, не опирающаяся на модели. Представим себе, что я занимаюсь геометрией и строю круг. Я знаю его определение и свойства – что я знаю? Модель круга? Мне кажется, что я знаю именно круг, при этом мое знание, разумеется, не полно – я не знаю всех свойств круга, только некоторые существенные. Я не знаю всех теорем про круг – только некоторые, и тем не менее мое знание относится к кругу, а не к модели круга.

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

Далее представим себе, что какие-то люди занимаются практической деятельностью. Цветоводы, врачи, учителя, лесники, рыболовы… на самом деле соответствующая практика есть у почти любой теоретической компоненты, но возьмем более очевидный пример. Итак, есть цветовод, который у себя на подоконнике растит цветочки. Он обладает модельным знанием об искусстве выращивания цветов? Мне кажется, что нет – речь идет о практическом умении, которое до конца не осознается, он «просто» умеет выращивать цветы.

Теперь представим, что некто решил сделать фирму по выращиванию цветов – и их продавать. Он нанимает на работу цветоводов для выращивания цветов – и либо должен брать готовых цветоводов, либо обращаться в учебное заведение, где таких готовят, либо учить работников в фирме.

Предположим, он открывает при фирме трехмесячные курсы цветоводства. Там есть программа, уроки, экзамены, материал, контрольные вопросы… Это уже модельное знание. Эти подготовленные на курсах цветоводы обладают модельным знанием о цветоводстве. И их преподаватели – тоже.

При этом результат работы «модельного» цветовода не обязательно будет хуже или лучше, чем у «просто» цветовода. Он знание получил иным путем – не собирал по капельке, спрашивая, читая, пробуя и ошибаясь, а получил концентрат на специальной образовательной машине.

Модельное знание возникает в связи с особенной социальной организацией, и далее может решать те же задачи, что и немодельное. Отсюда возникает путаница: можно указать на некоторую практику (мыслительную) и сказать: вот здесь применяется модельное мышление. И оно действительно применяется. Но важно то, что могло бы и не применяться – просто сейчас эта деятельность так сделана, что в ней применяется модельное мышление.

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

Я утверждаю: немодельное теоретическое мышление возможно. Поскольку я это утверждаю, я переношу вопрос в иную модальность: я ставлю цель. Есть ли какие-либо фундаментальные запреты, которые помешали бы мне утверждать, что возможно немодельное мышление? Вроде бы нет.

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

Мне кажется, попытки дать ответ на этот вопрос интересны, но интересен и сам вопрос. Сразу возникают и другие: а как будет соотноситься модельное и немодельное мышление? Дело ведь не в том, что одно дает правильные результаты, а другое – нет. Может быть, на выходе у них всегда одно множество результатов. А может быть, и нет – может, модельное мышление способно получить только часть полного множества решений, а немодельное – какую-то иную часть. Они могут пересекаться, эти множества – но не полностью.

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


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


[info]barnak@lj
2005-07-01 03:18 (ссылка)
Итак, я утверждаю, что существует познавательная деятельность, не опирающаяся на модели. Представим себе, что я занимаюсь геометрией и строю круг. Я знаю его определение и свойства – что я знаю? Модель круга? Мне кажется, что я знаю именно круг, при этом мое знание, разумеется, не полно – я не знаю всех свойств круга, только некоторые существенные. Я не знаю всех теорем про круг – только некоторые, и тем не менее мое знание относится к кругу, а не к модели круга.


Математика - это метанаука по отношению ко всем остальным наукам. Геометрия - часть математики, т.е. языка науки. Оставаясь в рамках геометрии Вы можете получить точное знание, и то при всякой системе аксиом всегда можно сформулировать утверждение, истинность или ложность которого доказать невозможно... А вот когда Вы захотите приложить Ваше идеальное (математическое)знание к реальности, например сделать деталь - круг из листовой стали, только тогда у Вас будет отношение модель/реальность: идеальный круг-модель и реальный стальной круг. Отличие будет в области применимости модели - Вы должны будете сделать требование точности - типа отклонение плюс-минус миллиметр.

(Ответить) (Ветвь дискуссии)


[info]ivanov_petrov@lj
2005-07-01 11:05 (ссылка)
"Математика - это метанаука по отношению ко всем остальным наукам" - это одна из возможных точек зрения. Я не думаю, что математика - это язык науки, в смысле - универсальный язык. Хотя это не значит, что математика "такая же" как все науки. Но мне не кажется, что если нечто не выражено на языке математики, то это по определению не относится к науке - слишком радикально пришлось бы пересмотреть весь мир - а спрашивается, ради чего?

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

геометрия, арифметика и Гёдель
[info]falcao@lj
2005-07-04 15:19 (ссылка)
> при всякой системе аксиом всегда можно
> сформулировать утверждение, истинность или ложность
> которого доказать невозможно...

Это не так. В условии теоремы Гёделя требуется ещё, чтобы рассматриваемая аксиоматическая теория была "достаточно сильной", т.е., грубо говоря, "содержала" в себе арифметику. Обычные геометрические задачи как раз вписываются в ту область, для которой (в отличие от "бесконечно сложной" арифметики) имеется разрешающая алгоритмическая процедура.

Замечание не имеет прямого отношения к сути дискуссии, но я хотел внести ясность в этот вопрос.

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


[info]budilnik@lj
2005-07-01 06:16 (ссылка)
"Есть ли какие-либо фундаментальные запреты, которые помешали бы мне утверждать, что возможно немодельное мышление?"
Постойте-постойте. Возможно, я неправильно понимаю, что вы имеете в виду под "немодельным мышлением", но мне кажется, фундаментальный запрет явно есть. Вот он: мы мыслим словами, понятиями, образами, в рамках своего образа мира - и все это уже модели. Мышление по определению - моделирование, разве нет?

(Ответить) (Ветвь дискуссии)

Совершенно точно.
[info]jescid@lj
2005-07-01 06:57 (ссылка)
> Мышление по определению - моделирование, разве нет?
Именно. Ещё точнее - "эволюция способности к моделированию привела к субъективному осознанию" (всё тот же Докинз). "Быть может, осознание возникает тогда, когдща модель мира, создаваемая мозгом, достигает такой полноты, что ему приходится включать в неё модель самого себя".

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

Re: Совершенно точно.
[info]ivanov_petrov@lj
2005-07-01 11:50 (ссылка)
всё тот же Докинз...

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

Re: Совершенно точно.
[info]faceless_lady@lj
2005-07-01 17:35 (ссылка)
да уж...без Докинза тут никак не обошлось. Кто б ещё такое человечеству мог поведать. :-)))

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


[info]readership@lj
2005-07-01 08:45 (ссылка)
ну, да. Мышление это и не мышление вовсе, а моделирование мышления. Все мы роботы :)

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


[info]budilnik@lj
2005-07-01 09:59 (ссылка)
Разве я что-то необычное сказал? По моему простые банальности - у нас есть образ мира, как бы внутренняя модель реальности. Мы мыслим в ее рамках при помощи понятий, образов и т.п. - тоже моделей. Вам это не нравится, потому что похоже на роботов? Ну, не знаю, чем тут помочь.

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


[info]readership@lj
2005-07-01 10:31 (ссылка)
Да не, это я пытаюсь помочь :) Видите ли, многие говорят банальности. И ничего плохого в этом нет, была бы польза говорящему. Например, банально считать себя Наполеоном. Уж сколько я их перевидал. И ничего, живут. Знание же не обязательно должно быть правильным, но глупо, на мой взгляд, руководствоваться бесполезным знанием. Человек считает себя Наполеоном, и я с ним не согласен, но пользу в том для него могу углядеть. Ну, такая у человека модель сложилась и помогает. А вот если человек считает свое мышление моделированием, то в чем он для себя тут пользу видит, убей меня, не пойму. В чем польза исключения себя из реальности, которую моделируешь? Чем так привлекает робототехническая модель себя? Робот это круто нынче?
Опасный ход, имхо, ведущий туда же, куда и многие наполеоны попадают. Но без всякой видимой пользы. Вот в чем для меня загадка... Отчего столько людей упорствуют, и повторяют столь бесполезные банальности?

Так что же мышление, как называть? Скажем, не знаю. Но точно знаю, что четкое незнание лучше бесполезного знания...

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


[info]budilnik@lj
2005-07-01 10:46 (ссылка)
Опять вы о своем. Разве я говорил что-то об исключении себя из реальности или о роботах? Какое это вообще имеет отношение к делу? Простите, но вы играете с собственными проекциями. Прежде чем пытаться помочь, нужно понять смысл сказанного и наладить общий язык с собеседником, а вы беседуете с какими то внутренними страшными роботами.

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


[info]readership@lj
2005-07-01 10:53 (ссылка)
Это называется не моими проекциями, а общечеловеческой логикой. Простите, если упустил некие тривиальные для меня логические переходы. В принципе, в логическом мышлении тоже нужно совершенствоваться, да. Я исходил из этого: "Мышление по определению - моделирование". Далее логика привела к роботам. И нет другого пути, увы :)

Если угодно, вот правильная формулировка - Мышление по определению не только моделирование.

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


[info]budilnik@lj
2005-07-01 10:59 (ссылка)
Ну понимаете, все же пока тут только вы овладели общечеловеческой логикой, для остальных лучше все же пояснять ее квантовые скачки. Боюсь, без этого разговора не получится.

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


[info]readership@lj
2005-07-01 11:17 (ссылка)
Льстите. Боюсь, незаслуженно. Ведь я лишь практически переформулировал исходный тезис. Тепрь осталось договориться о том, что из немодельного мышления возможно немодельное знание.
А разговора про роботов не получится по независящим от логики обстоятельствам. Увы. Попробуйте уж сами...

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


[info]budilnik@lj
2005-07-01 11:34 (ссылка)
Роботы - ваша тема, мне это сейчас не интересно и я вам такого разговора не предлагал, так что без проекций, пожалуйста.
Я говорил о мышлении. Объяснил, почему я думаю, что мышление - это моделирование. Вы заявили , что есть немодельное мышление. Все. Было сказано много лишних слов и никаких аргументов. Помнится, вы уже спорили один раз со мной в точно такой же манере. Вполне возможно вы владеете некоей истиной, но если уж вступаете в разговор с непросветленными, будьте пожалуйста адекватны.

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


[info]readership@lj
2005-07-01 17:27 (ссылка)
Будильник, просто вы заслужили, чтобы вам в очередной раз нажали кнопочку. Всего то. А вы продолжаете трезвонить уже совсем не по делу, перевирая такой короткий диалог. Я думал, вам как раз интересно, и переживал, что вынуждент был вас покинуть. Теперь я точно знаю, что вы просто испорченный будильник. Действительно, не интересно. На помойку.

Да, и слышать от непросветленного что должен делать гуру и как себя вести это уж совсем конец света. Кругом роботы!

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


[info]budilnik@lj
2005-07-02 02:17 (ссылка)
Нед диалога. Диалог это про другое.

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

Не мобращайте внимания на...:-)
[info]faceless_lady@lj
2005-07-01 17:56 (ссылка)
Даже если Вы озвучили не истину в последней инстанции, Ваш собеседник не смог оспорить даже это. :-))) хотя изрядно пыхтел.

По существу. Если давать определение "мышление - это моделирование разумом реальности", то никаких вопросов...всё правильно. Ваш оппонент, как я поняла, пожелал включить в мышление что-то кроме моделирования....но поленился объяснить, ЧТО именно. Вот беседа и застряла. :-)

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

Но мозг выполняет ещё много всякой работы...например, поиск по базе данных. Этот процесс является необъемлемой частью мышления, но моделью не является...и (для особо въедливых) не является моделированием (то есть, построением модели). Это просто один из видов оперирования информацией по сооответствующему алгоритму.

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

Re: Не мобращайте внимания на...:-)
[info]readership@lj
2005-07-01 23:37 (ссылка)
мадам, вы нарываитись. А таких дам мы бъем по губам. Шлеп. Займитесь уж лучше тряпками.

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

Ага...сейчас...побежала. :-)))
[info]faceless_lady@lj
2005-07-02 02:59 (ссылка)
subj

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

Re: Не мобращайте внимания на...:-)
[info]budilnik@lj
2005-07-02 02:37 (ссылка)
Конечно, сам процесс мышления является не моделью, а процессом работы с моделью. Да и работа эта состоит совсем не только из алгоритмов (иначе бы и вправду были роботы с которыми воюет Ридершип), а основана на весьма загадочных возможностях - например, на возможности трансцендироваться, выйти за пределы, любой обусловленности, модели, структуры, или на возможности рождать новые смысловые связи, новое знание и и.п. Но вся эта работа проходит с представлениями - моделями, и сформулированные на выходе общезначимые знания (наука) - такие же модели, уже по той простой причине, что они состоят из слов.

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

Загадочные возможности... :-)))
[info]faceless_lady@lj
2005-07-02 03:08 (ссылка)
Да и работа эта состоит совсем не только из алгоритмов (иначе бы и вправду были роботы с которыми воюет Ридершип), а основана на весьма загадочных возможностях

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

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

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

Re: Загадочные возможности... :-)))
[info]anhinga_anhinga@lj
2005-07-04 04:01 (ссылка)
> что это за восхитительная такая возможность - трансцендироваться?

А... это то, что обычно забывают в "спеках" к AI :-)

"Одно из основных требований к искусственному интеллекту --- чтобы он мог совершать психоделические трипы. ИИ, который этого в принципе не умеет, никуда не годится!"

> И где бы этого можно нам, роботам, попробовать?

Это сложный вопрос, но роботам, сделанным на базе ДНК и нуклеиновых кислот, это, вообще говоря, доступно, судя по многочисленным эмпирическим данным :-) :-) :-)

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


[info]ivanov_petrov@lj
2005-07-01 11:48 (ссылка)
Нет. Мыслим ли мы словами - вряд ли, скорее - иногда-часто. но не необходимо. И понятиями. и образами... Но это не модели. Иначе - прочтите, если вс- модели, то какой смысл говорить это слово? По какому определению мышление есть моделирование?

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


[info]budilnik@lj
2005-07-01 12:08 (ссылка)
Модель - не все конечно, а когда мы выражаем что-то через что-то другое, изображаем и описываем при помощи имеющихся средств. Например, мы думаем о слоне. Но думаем при помощи того образа слона, который у нас есть, при помощи нашей модели слона - зверь, серый, большой с хоботом. Мы не работаем со слоном, как когда гладим его или кормим, мы работаем с моделью слона. Модель отличается от реальности - вспомните притчу о слепых и слоне.
По какому определению - по тому определению из любого словаря, что мышление - отражение реальности, а не реальность. Мы используем представления о слонах, а не настоящих слонов.

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


[info]ivanov_petrov@lj
2005-07-02 02:40 (ссылка)
Я знаю, что такова очень солидная точка зрения. которой придерживались многие великие. но это, как Вы, может быть, знаете, не единственная точка зрения. Эта авторитеная точка зрения подразумевает различение субъекта и объекта в любой познавательной ситуации, подразумевает, что "внутренний слон" каким-то интересным образом совершенно независим от "внешнего слона" и при этом существенно с ним схож - для произведения этого кундштюка и создается слово "модель" - новый его смысл, которым и пользуется моджельное мышление. Я, кстати, думаю, что мышление - это реальность, хотя может быть и ее отражением.

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

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


[info]budilnik@lj
2005-07-02 02:48 (ссылка)
Мне кажется дело прояснится, если вы предложите пример, в котором мышление работает не с представлениями-моделями и в результате получается не-модельная наука.

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


[info]ivanov_petrov@lj
2005-07-02 03:29 (ссылка)
Так просто не получится. Как Вы себе представляете, откуда я его возьму? У меня в заднем кармане брюк лежит не-модельная наука и дожидается, когда Вы спросите у меня доказательств ее существования? Или другое - а Вы сможете ли увидеть этот пример? То есть - у меня, скажем, в заднем кармане эта наука лежит, но и у Вас тоже - а иначе откуда Вы возьмете понимание примера - что это пример именно того? Но Вы, видимо, уверены, что все просто. Всё лежит уже готовое и ждет только, чтобы Вы, слегка кивнув, согласились считать это существующим, дали несчастной немодельной науке мандат - быть. А мне вот кажется. полезным будет иное положение дел. Возьмите это на себя, а? Науку Вам в одиночку не построить - это я Вам ручаюсь, но Вы попробуйте выработать четкое не-модельное представление.

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


[info]hrjushechka@lj
2005-07-01 06:23 (ссылка)
Круг это уже и есть модель. И ничего кроме модели.

(Ответить) (Ветвь дискуссии)


[info]ivanov_petrov@lj
2005-07-01 11:49 (ссылка)
Ну коли так, то что Вы относите не к моделям?

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


[info]hrjushechka@lj
2005-07-04 02:25 (ссылка)
Ну все же так просто ;)
Весь нас окружающий мир, включая нас - это не модели, а вот прикоснуться к нему, осознать его, изучать мы можем только посредством моделей. Неважно - моделей ли нашего мозга, наших наук, наших органов чувств. Модели же это, грубо говоря, отражения окружающего мира, обобщающие знания о нем. Сами же писали о туземцах, для которых музыка это просто шум. А потому, что в головах соответствующих моделей нету.
А у вас самого разве не было такого, что смотрите на что-то и черте-что кажется. Вдруг, бац, перещелкнулось и все видится уже по другому - мозг подсунул соответсвующую модель.
Круг это одна из моделей науки называемой геометрия. Вот и все.
P.S. Всю дисскусию не читал, сори если повторился или сказал банальность.

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


[info]ivanov_petrov@lj
2005-07-04 05:28 (ссылка)
Я правильно Вас понял - в прежние времена говорили "внешний мир" и "внутренний мир", а теперь надо говорить "окружающий" и "модели". Так?

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


[info]hrjushechka@lj
2005-07-04 07:38 (ссылка)
Нет:)
Во внутреннем мире еще движок существует, с помощью которого эти модели создаются :)
Этакая операционная система. И еще окромя моделей там масса всякого мусора бродит: мечты там разные, псевдоучения, верования и т.д. и т.п. Свято место пусто не бывает, одним словом. :)

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


[info]ivanov_petrov@lj
2005-07-04 08:38 (ссылка)
Спасибо. Значит, движок, модели и ненужный хлам. Теперь я понял. Вспомнил песенку "из чего только сделаны мальчики...".

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


[info]readership@lj
2005-07-01 23:46 (ссылка)
занятно.

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

Поддерживаю будильника!
[info]tsutsu@lj
2005-07-01 06:58 (ссылка)
Все что находится в голове человека по сути является моделями. Любое знание. Грубо говоря, можно провести аналогию между мозгом человека и компьютером.
Процитирую Уилсона (во 2-ой главе "Психологии эволюции" он объясняет это гораздо лучше, чем я): Чувственный опыт представляет собой неразбериху до тех пор, пока мы не создадим объясняющую его модель. Эта модель может прояснить его, но никогда не соответствует ему в точности. "Карта не является местностью"; вкус меню не совпадает со вкусом указанных в нем блюд.
А человек все воспринимает через чувственный опыт (и проводит коррекции имеющихся в мозге моделей, но от этого модель не превращается в объект. Кстати, когда вы рисуете круг, то то, что он круг вы оцениваете через сравнение модели, проэцируемой "вероятным кругом" в ваш мозг-компьютер с уже имеющейся моделью идеального круга в вашем мозге-компьютере.

(Ответить) (Ветвь дискуссии)

Re: Поддерживаю будильника!
[info]readership@lj
2005-07-01 08:46 (ссылка)
да, да, да. И вы робот :)

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

Re: Поддерживаю будильника!
[info]tsutsu@lj
2005-07-01 11:19 (ссылка)
зашто да не?

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

Re: Поддерживаю будильника!
[info]tsutsu@lj
2005-07-01 11:39 (ссылка)
все роботы, при чем программируемые. есть предложение это изменить?;)

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

Re: Поддерживаю будильника!
[info]ivanov_petrov@lj
2005-07-01 11:52 (ссылка)
Что ж тут скажешь... Я не думаю, что все. что находится у человека в голове, является моделями. Об Уилсоне уже писал пост - здесь промолчу. Аналогия с компьютером не кажется мне более изящной, чем декартова - с рычагами, или еще какя-либо. Отношусь к таким аналогиям с пониманием, но без симпатии.

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


[info]faceted_jacinth@lj
2005-07-01 10:28 (ссылка)
> "приведите пример познания сути дела без моделек - причем, передавая мне это знание, воспользуйтесь моделькой".
Могу привести другой способ передачи знания: вы передаёте рецепиенту некоторую последовательность действий (возможно, диалоговым образом), произведя которую и обдумав результаты, он вдруг воскликнет: "Я понял!". У вас нет гарантии, что он понял то же самое что и вы, конечно. Но _модель_ никуда не передавалась: возможно, у вас в голове была модель его метода познания, но вы её не передавали.

Далее, про садовода.
Ваш садовод, научившийся выращивать цветы методом проб и ошибок, имеет некоторое количество информации, которое он может записать на листочек. Там будут записи вида "Кактус вообще нужно поливать редко", "Если весной полить кактус сильно, то он зацветёт" и т.д. Вообще набор таких записей образует модель окружающего мира. У неё даже есть предсказательная сила (иначе зачем бы она была нужна?), правда, ограниченная - он может предсказывать будущее только при тех начальных условиях, которые он уже видел. Интерполировать он пока не может. Если он добавит возможность интерполяции (из наличия утверждений "Если не поливать Кактус, то он сдохнет", "Если не поливать Розу, то она сдохнет" считать верным утверждение "Если не поливать Бегонию, то она сдохнет"), то предсказательная сила вырастет. Более того, он может взять своё правило интерполяции, выдрать из него внутреннее представление входных данных, и объявить это представление первичным правилом. В моём примере, это будет мета-утверждение "Если не поливать <растение>, то оно сдохнет" - оно отличается от обычного утверждения тем, что на самом деле это алгоритм, позволяющий генерировать верные утверждения. (Я намеренно игнорирую стандартные логические приёмы - выделение растений в класс и правила подстановки, потому что у моего воображаемого садовника этого нет, садовник использует гораздо более простые механические правила). Строчка "<растение>" неявно включает в себя правило, по которому "Кактус" и "Роза" могут быть в неё подставлены, а "Стул" не может. Это правило может задаваться различным образом.
Так, что-то я увлёкся. Короче, это не важно - главное, что даже простой список фактов об объекте можно считать моделью этого объекта. Требовать от модели "полноты" - то есть выдачи хоть какого-то результата на любых входных данных, или, что то же самое, требовать чтобы декларируемые входные данные совпадали с универсумом, глупо, потому что моделей, удовлетворяющих этому требованию, нет. Тот же самый круг: что произойдёт с кругом, если в его центре взорвать атомную бомбу? Наша модель круга в принципе не может обработать такой вопрос =)

(Ответить) (Ветвь дискуссии)


[info]ivanov_petrov@lj
2005-07-02 02:16 (ссылка)
Передавать знания можно, конечно, по разному. Можно и так.

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

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


[info]faceted_jacinth@lj
2005-07-02 07:46 (ссылка)
Ага, понимаю.
Тогда вопрос такой: от пусть у садовода есть Искуственная Нейронная Сеть, которой он скармливает входные данные, и обеспечивает соответствие выходных данных экспериментальным. Обучает её то есть.

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

Можно ли считать этот чёрный ящик "моделью" сада? То есть как вы вообще определяете модель?

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


[info]ivanov_petrov@lj
2005-07-02 09:56 (ссылка)
Эта дискуссия, в общем-то, и началась с того, что мне не захотелось определять модель. На то есть причины и помимо моей лени - я полагаю, что моделью называют сейчас самые разные вещи, и слово это столь затрепалось, что не значит уже почти ничего. Если Вы оглянетесь на сделанные здесь высказывания, в окружающих комментах, то увидите, что мысль, слово, образ, компьютер и прочее - все есть модель. Заранее могу предсказать: когда в помойку этих мнений придет какой-нибудь рационалист, при этом - любящий математику и модели, он выметет эту гадость и придаст слову определенный смысл. Но я не математик и не люитель моделей, это - не обо мне. Я об этом говорить бы не хотел, но если угодно... Моделью мне кажется удобным называть некий объект (мысль; схему; образ; рисунок и чертеж и т.д.), которые просты и понятным нам по какой-либо причине. Например. математические модели часто служат таковыми, поскольку в математике очень мало того, что не сделал бы сам человек своей мыслью. Поэтому некоторые считают, что вся математика - это сплошь модели. Это несколько грубое заблуждение (для иного и весь лес - это черенки от лопат), но доля здесь имеется: действительно, математику можно знать очень хорошо. И, уподобляя математической формуле некоторое явление, мы занимаемся моделированием. Познавать неизвестное через известное - добрый старый прием, и в нем нет ничего плохого для познания. глупо только называть так что ни попадя и путать разные приемы. Ваш пример с черным язщиком кажется мне плохим - я очень плохо знаю что-либо о нейронных сетях, но думаю, что негоже называть моделью то, что нам не известно ни по устройству, ни по действиям. Вы много раз упоминали предсказательную силу - это вообще не относится к свойствам модели. Это способ проверки, годится и для моделей и для не-моделей, и если нечто обладает предсказтельной силой, невежливо называть это моделью. Сами понимаете, пророки себе жили, предсказывали, и вдруг появляется некто и говорит пожилому человеку: ты - модель! нехорошо как-то.

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


[info]faceted_jacinth@lj
2005-07-02 16:49 (ссылка)
взззбззз.
Вы пытаетесь меня запутать!
Вы утверждаете, что есть способ познания отличный от "модельного". Вы привели пример садовника, я утверждаю, что ваш садовник тоже пользуется моделью, правда, неполной. Типа, не пытается приделать к ней интерполятор, с надеждой её уменьшить.
Приведите какой-нибудь другой пример предсказывающего девайса, не являющегося моделью.


И прочитайте про Нейронные Сети - оно простое, понятное, и расширяет сознание.

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


[info]ivanov_petrov@lj
2005-07-03 03:43 (ссылка)
Нет, я не собирался Вас путать. Заранее говорю: не существует способа показать Вам, что некто пользуется не-моделью. Я думал, это понятно. Напрасно Вы ждете опровергающий пример. За статью спасибо, но сейчас мне расширяться недосуг - я временно буду ограниченный, а потом, при случае, расширюсь.

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


[info]sonte@lj
2005-07-16 07:20 (ссылка)
Забавно, что в матлогике слово "модель" употребляется в отчасти противоположном смысле: записи на листочке называются теорией, а модель - это как раз сам мир (точнее, любой из мыслимых миров), который теория описывает. То есть с точки зрения "изнутри математики" железная болванка является моделью геометрического цилиндра.

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


[info]ivanov_petrov@lj
2005-07-16 10:07 (ссылка)
Я сейчас не перечитывал эту дискуссию, но - кажется - где-то тут уже высказывалась эта точка зрения. Только с еще большим напором - мол, реальный круг и есть модель круга, и нечего болтать... Это, конечно, оправданная точка зрения, но - изнутри математики, о чем не следовало бы забывать. Там горе в том, что всё это построение завязано на предпосылку. Математика считается "настоящим" содержанием мира (законы природы написаны на языке математики, к ней стремятся все науки и т.д.). Это "внутренность" мира. и если смотреть "изнутри", мир будет моделью. Предпосылкой является не доказанное представление именно об этой роли математики в мире. Это отличное эмпирическое правило и смелая гипотеза - не более. Стоит подумать, что не то чтобы это - неверно, но просто мир более богат и в эту дуальную модель соотношения "математики" и "мира" надо встроить что-то еще - и весь этот круг мыслей рушится.

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


[info]sonte@lj
2005-07-17 06:15 (ссылка)
Я вообще-то не хотел высказывать никакой точки зрения, только отметил, что есть такой формальный логический термин "модель". Кстати, несовпадение с общепринятым пониманием "математической модели" иногда приводит к путанице в статьях по искусственному интеллекту.
Но в связи с замечанием о взглядах на роль математики в мире вот что вспомнилось. Термин "модель" в логике стали употреблять в середине 20-го века, может быть, в 30-е. А в начале века, когда математическая логика зарождалась, говорили "интерпретация с реальным содержанием". Интересно, есть ли связь с тем, что к концу 19-го века "платонизм в основаниях математики" отвергался, но вскоре, когда к кризису привыкли, опять стал неявно общепринятым.

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


[info]ivanov_petrov@lj
2005-07-17 06:49 (ссылка)
Точного ответа я не знаю. Думаю, историк логики, философии, математики может сформулировать в паре предложений, что произошло в начале ХХ... Я имею некоторые смутные ощущения, не более того. Чтобы не писать долго и много о том, чего не знаю, скажу только одно - на мой взгляд, господствующее в Европе мировоззрение в 1890-х годах стало меняться с материализма на другое, которое мне удобнее называть математизмом.

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


[info]dennett@lj
2005-07-01 11:05 (ссылка)
Да, теперь я понимаю. Мне кажется, то, что вы здесь описываете очень близко к тому, что излагает Полани в книге Личностное знание. Она есть вот здесь:
http://hcs.cmc.msu.ru/lectures/filosof.htm

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

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

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

(Ответить) (Ветвь дискуссии)


[info]readership@lj
2005-07-01 11:30 (ссылка)
пример с натуральным рядом именно то, и еще геометрия, конечно. Может, она и более первичное нечто. Над этим "интуитивным" знанием рациональный ум возводит аксиоматику. Мы привыкли к сим правилам хорошего тона, и называем рационально обоснованным знанием. Знание о Боге, однако, тоже знание. И здесь, кстати, богословы пытаются аксиомы вводить, называя их иначе. В конце-концов получается богословская модель. Поэтому, я бы все называл знанием. Есть способ и слова отличить разные знания...

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


[info]ivanov_petrov@lj
2005-07-02 02:31 (ссылка)
Читал и радовался. Дело в том, что еще когда писал ответ, подумал - он может понять это как личностное знание Поланьи, надо бы оговорку сделать... Но не буду громоздить. И надо же... Поланьи я, к счастью, читал. Однако это не совсем то (хотя и не так далеко). Соотношение такое: Существует принятая точка зрения, назовем ее модельное (ее многие защищают - вот и в комментах окружающих...). В человеческом знании кроме этой модельной составляющей есть еще много чего - остаток. Он не однороден, там собрано просто все, что не влезает в мдельное знание. Поланьи описал свой кусочек остатка - но не весь остаток. Так что его позиция тоже не модельна, но не вполне совпадает с моей.

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

Проверке все эти виды знания могут подвергаться - разные механизмы проверки, разная эффективность(с точки зрения других систем проверки), но - могут. Может быть, это больше похоже на умение... Но тут тоже будет непонятка. Я-то при этом согласии на "умение" беру обыденный смысл слова, который весьма близок к "знанию", а Вы говорите в рамках противопоставления базы знаний и базы умений, а это придает совсем другой смысл. В этом формализме знаний и умений - нет, это не умение, а знание. Еще раз: "мой садовод", несомненно, обладает личным смутным знанием Поланьи и набором умений, отличающихся от знаний (как каждый человек), но эти высказывания - всего лишь проекция нескольких высказанных теорий на садовода. Речь же о том, что он может обладать и чем-то другим - хотя и не обязательно обладает. С разговором о мышлении всегда одна сложность - там все в модальностях. Умеющий считать до пяти не обязательно берет интегралы, хотя является, предположим, строго логичным субъектом. А садовник может быть всего лишь смутно-умеемым, а может - и нечто иное.

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