Книга: Феномен науки. Кибернетический подход к эволюции
12.5. Формализация и метасистемный переход
12.5. Формализация и метасистемный переход
Превращение языка в независимую от создавшего его человеческого мозга реальность, происходящее благодаря формализации, имеет далеко идущие последствия. Только что созданная языковая машина (теория) становится, как часть окружающего человека мира, объектом изучения и описания с помощью нового языка. Происходит, таким образом, метасистемный переход. Новый язык называют по отношению к описываемому языку метаязыком, а теории, сформулированные на этом языке и касающиеся теорий на языке-объекте, — метатеориями. Если метаязык формализованный, то он в свою очередь может стать объектом изучения с помощью языка следующего уровня и этот метасистемный переход может повторяться неограниченно.
Таким образом, формализация языка порождает эффект лестницы (см. главу 5). Подобно тому, как овладение общим принципом производства орудий для воздействия на предметы приводит к многократному повторению метасистемного перехода и созданию иерархической системы промышленного производства, так и овладение общим принципом описания (моделирования) действительности с помощью формализованного языка приводит к созданию иерархической системы формализованных языков, на которой основаны современные точные науки. Обе иерархии имеют значительную высоту. Невозможно построить реактивный самолет голыми руками. То же относится и к инструментам, необходимым для постройки самолета. Надо начинать с простейших орудий и пройти всю иерархию сложности инструментов, чтобы добраться до самолета. Точно так же, чтобы обучить дикаря квантовой механике, придется начать с арифметики.
- 12.1. Формализованный язык
- 12.2. Языковая машина
- 12.3. Четыре типа языковой деятельности
- 12.4. Наука и философия
- 12.5. Формализация и метасистемный переход
- 12.6. Лейтмотив новой математики
- 12.7. «Несуществующие» объекты
- 12.8. Иерархия теорий
- 12.9. Аксиоматический метод
- 12.10. Метаматематика
- 12.11. Формализация теории множеств
- 12.12. Трактат Бурбаки
- 14.4. Формализация научного языка
- Пошаговые инструкции для перехода на 3-й диалект
- Переход по узлу SharePoint и домашней странице
- Формализация спецификаций
- Переход (или middle-eight)
- Быстрый переход по рабочему листу
- Окончательная детализация плана перехода на новую систему и поддержка ее работы
- 12.5. Нелокальные переходы
- Переход от бесплатных услуг к платным
- Переход в приостановленное состояние и возврат к выполнению
- prevScene - Переход на предыдущую сцену
- Оператор безусловного перехода goto