[userpic]

Re: ЭПИСТЕМОЛОГИЯ И ЭКОЛОГИЯ КИБЕРНЕТИЧЕСКОЕ ОБЪЯСНЕНИ ↑

metanymous в посте Openmeta (оригинал в ЖЖ)

Как теоретически, так и практически актуальное событие из любой последовательности или совокупности событий имеет уникальное определение в терминах кибернетического объяснения. Для генерирования этого уникального определения могут комбинироваться ограничения самых разных видов. Например, выбор фрагмента для данного пустого места в разрезной головоломке "ограничивается" многими факторами. Его форма должна находиться в соответствии с формой нескольких соседей и, возможно, с границей головоломки; его цвет должен находиться в соответствии с цветовым паттерном области; ориентация краев должна подчиняться топологической схеме, заданной резательной машиной, на которой была сделана эта головоломка, и так далее. С точки зрения человека, пытающегося решить головоломку, все это - ключи, т.е. источники информации, направляющие его в его выборе. С точки зрения наблюдателя-кибернетика, это - ограничения.
С кибернетической точки зрения, и слово в предложении, и буква в слове, и анатомия некоторой части в организме, и роль видов в экосистеме, и поведение некоторого члена в семье - все должно получить (негативное) объяснение в результате анализа ограничений.
Негативная форма этих объяснений в точности сравнима с методом логического доказательства посредством reductio ad absurdum. При этом виде доказательства нумеруется достаточный набор взаимно исключающих альтернативных утверждений, например "П" и "не П", после чего процесс доказательства переходит к демонстрации, что все утверждения из этого набора за исключением одного несостоятельны или "абсурдны". Из этого следует, что выживший член набора, очевидно, является состоятельным в терминах логической системы. Это такая форма доказательства, которую нематематики иногда находят неубедительной. Нет сомнений, что теория естественного отбора также иногда кажется неубедительной людям, далеким от математики, по сходным причинам (какими бы эти причины ни были).
Еще одна тактика математического доказательства, имеющая параллель в конструкции кибернетического объяснения, - это использование "отображения" ("mapping") или строгой метафоры. Например, алгебраическое утверждение может быть отображено в систему геометрических координат и там доказано геометрическими методами. В кибернетике отображение появляется в качестве метода объяснения всегда, когда возникает концептуальная "модель", или, более конкретно, когда для симуляции сложного коммуникативного процесса используется компьютер. Но это не единственный случай появления отображения в этой науке. Формальные процессы отображения, трансляции и трансформации принципиально присущи каждому шагу любой последовательности тех феноменов, которые стремится объяснить кибернетик. Эти отображения или трансформации могут быть очень сложными, например, если выход некоторой машины рассматривается как трансформа входа; или они могут быть очень простыми, например, если поворот стержня в каждой точке вдоль его оси рассматривается как преобразование, тождественное его повороту в некоторой предыдущей точке.
Отношения, остающиеся постоянными при таких трансформациях, могут иметь любой умопостижимый вид.