Случайно подвернулась статья с названием, где эксплуатируется спекуляция на тавтологии между правилом и нормой. Очевидно, что игра - это правила, а правила - это уже формальная система. Тем более, компьютерная игра. Любая компьютерная программа - формальная система. Формальная система - система, позволяющая калькулирование и реализацию квеста, в рамках заданных условий. Кстати, квест - в определенном смысле тоже игра ...
Эти рассуждения навели на мысль о ретроспективе методологии калькулирования, метаизации, абстрагирования, автоматизации, символизации ... и т.д. и т.п. Вспомнил про Рассела (читал его историю западной философии), а поскольку некоторые авторы считают его ещё и чуть ли не основателем современной логики и теории формальных систем, решил ещё посмотреть на него как автора, но уже с новых позиций.
Бертран Рассел. Человеческое познание, его сферы и границы
Возможно имеет смысл и посмотреть на ретроспективу представлений об основаниях математики, в принципе, о принципах, о металогикаХ, метатеорияХ, метаконцептаХ и прочих репрезентациях и интерпретациях.
Комментариев нет:
Отправить комментарий