|
|
От
|
Игорь С.
|
|
|
К
|
K
|
|
|
Дата
|
26.12.2002 11:08:47
|
|
|
Рубрики
|
Семинар;
|
|
Ну как же так,
>И вот почему. Мне предложили расплывчатую формулировку, было же показано, что это конкретная программа.
Ведь именно конкретные программы и нельзя анализировать формально! Их надо анализировать содержательно, "конкретно", извините за тавтологию.
> Все привыкли представлять общественные знания, как нечто идеалистически – патетическое.
Я не понимаю, причем здесь патетика. Речь идет о применимости формальных методов анализа.
> Средства не оправдывают цель, а зачастую ее предопределяют, не зависимо от желания породившего средства.
Но это нельзя установить формальными методами - верификацией. Нужен содержательный анализ - валидация.
> Поэтому то и опасен «от балды» как метод.
Я сейчас не о том, опасен или нет.
Вполне допускаю, что опасен. Да и Маркс согласен - "идея становится материальной силой, когда она овладевает массами."
Я о том, как можно устанавливать опасность и как нельзя. Мне кажется, что так как Вы - нельзя.