• Авторизация


Порядок логического моделирования 04-03-2009 16:10 к комментариям - к полной версии - понравилось!


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

Соответственно, недостатки точной науки следующие:
1. Помимо выписанных предположений, очень многие, и зачастую самые критичные для рассматриваемой ситуации, прячутся в общий применяемый аппарат. Эти неявные предположения, как правило, не осознают даже специалисты. Например, когда в XX веке наконец-то занялись вопросом, что же можно измерять действительными числами, выросла целая теория измерений, пользуясь которой можно, в частности, практически всегда отвергнуть предположение, сделанное в соответствующем пункте достоинств.
2. Поскольку термин — монумент понятия, он полностью теряет гибкость и зачастую в конкретной ситуации он начинает означать вовсе не то, что имелось в виду первоначально. Например, способность решать задачи из тестового набора может не иметь никакого отношения к способности гибкого реагирования на изменяющуюся реальную ситуацию.
3. Поскольку строгое доказательство может содержать много шагови вовлекать многие утверждения, которые, как стыдливо говорят ученые,«выполнены в реальной ситуации лишь приближенно», в ходе такого обоснования соответствие реальности может потеряться, так что строго доказанный результат требует содержательной перепроверки при применениях.
4. Поскольку теоретические структуры для тонких моделей слишком сложны, переход к компьютерному моделированию стимулирует применение грубых моделей, которые (в частности в физике) начали подменять собою реальность.
Эти списки не исчерпывающие, но каждое достоинство неуклонно сопровождается соответствующим недостатком.
вверх^ к полной версии понравилось! в evernote
Комментарии (4):
Так логика не сможет строго доказать что-то???
чертово компьютерное моделирование
сам помню, остается только сожалеть.
th13 04-03-2009-23:08 удалить
Вот оно как делается...


Комментарии (4): вверх^

Вы сейчас не можете прокомментировать это сообщение.

Дневник Порядок логического моделирования | Злой_профессор - Логика | Лента друзей Злой_профессор / Полная версия Добавить в друзья Страницы: раньше»