|
|
|
Данная публикация представляет собой исправленный и уточненный вариант изданного несколько лет назад текста, в котором содержались неприемлемые искажения в изображении формул. Также снова переписан раздел теоремы самоприменимости.
В целом, в данной работе сделана попытка представить определенную метатеоретическую концепцию универсальной логической системы, способную, вполне ожидаемо, вызвать неприятие с учетом завышенных претензий на глубокомысленность и кажущейся своей недостаточной вразумительностью, но тем не менее способная представить интерес как определенная бескомпромиссная теория онтогенеза.
СОДЕРЖАНИЕ
Часть I. Метафизические основания самовыводимой метатеории.
Введение.
Наброски самовывода метатеории самой себя.
Самовозникновение. Развертывание.
Часть II. Мета-физическая теория самовыводимого формализма (СФ). Интерпретация и абстрагирование при самовыводе.
Особенность раскрутки формального аппарата.
Возможные способы построения самовывода.
Примеры самоприменимых конструкций.
Теорема самоприменимости.
Феномен самоописания.
Способы расширения формализма.
Принцип рекурсии
«Самоорганизующееся Развитие».
Самовыводимая теория и ее среда реализации.
Использование СФ для моделирования интеллектуальной деятельности.
Часть I. Метафизические основания самовыводимой метатеории
Введение
Существует представление, что первичным основанием всего существующего многообразного Космоса и его целесообразного устройства является вселенский универсум – как единственный, объемлющий и неотделимый от него источник. Можно ли каким-то образом выразить его неограниченный творческий потенциал, не прибегая к представлению о наличии в нем персонифицированного интеллекта или сознания? Встав на такую точку зрения – о самопроизвольности и самодостаточности развития универсума, нужно признать, что такое развитие должно подчиняться собственной внутренней логике, которая должна формироваться и расширяться совместно с реализацией творческого потенциала саморазвития универсума. В этой работе делается попытка разработки теории самопорождения (автогенеза), содержащей одну из подобного рода логик.
Так как теория автогенеза, содержащая такую логику, должна в первую очередь демонстрировать свойство автокреативности, то сама должна быть самоприменимой и самовыводимой теорией. В этом случае необходимо сформулировать представление и принципы такой своеобразной теории. Исходя из представления об эмерджентном возникновении, самоорганизации и автокреативном развитии [2], создание такой теории возможно. Однако, на первый взгляд эта задача кажется неразрешимой.
Самоприменимая теория — как предполагается, есть метатеория самоё себя, теория, которая сама себя может теоретически описывать. Если пользоваться понятиями формы и содержания, то в своей принципиальной основе метатеория себя заключается в том, что содержание, актуализируясь (проявляясь), интерпретирует ту форму, тот формальный аспект, в который облачено, заключено содержание; при этом формальная сторона, формализм, в свою очередь, определяет правила и законы существования и проявления содержания. Например, эффективность дорожного движения достигается при его упорядочении. Упорядоченность (структурированность) устанавливается с помощью «логики», отвлеченной от собственно движения.
Эта логика, как и всякая другая, подчиняется определенным правилам и законам. Но сами правила и законы, в свою очередь, порождаются структурой (содержанием) движения. Например, определяется правило разделения движения на потоки в зависимости от направления, при этом содержание движения – левостороннее или правостороннее – меняет, например, приоритет и способ выполнения (т.е. правила) поворотов налево и направо участниками движения. Таким образом, круг взаимозависимости движения и правил оказывается замкнут.
Самовыводимая теория, являющаяся развитием понятия самоприменимой теории, выстраивает, формирует свой собственный формализм на основе возможности самоописания (вытекающей из самоприменимости); вскрываемыми, найденными в процессе развития, методами позволяет усовершенствовать и развивать свой собственный формальный аппарат. Это означает возможность воздействия следствий и заключений (как прямых, так и в виде теоретических обобщений), выводимых в ней, на предшествующие положения, посылки, определения, утверждения с целью их последующего уточнения, развития, преобразования («содержание» корректирует и дополняет и «наращивает» собственную «форму» и имеет возможность развиваться).
Какие, например, имеются соображения у предшественников насчет общих теорий.
«Общая теория должна быть настолько общей, чтобы ей удалось охватить все различные уже существующие конкретные теории. В связи с этим она должна быть достаточно абстрактной, чтобы ее термины и понятия могли быть интерпретированы в каждой из более узких областей. …Общие понятия должны подчеркивать то общее, что есть в поведении рассматриваемых систем, и пренебрегать частностями, характерными для поведения каждой конкретной системы в отдельности. … Понятия такой теории должны распространяться на достаточно широкий круг систем, и в то же время они должны позволить нам прийти к выводам, содержащим достаточно информации для адекватного понимания рассматриваемого частного случая...»
«…общая теория должна иметь научный характер в том смысле, что её понятия и ее язык в соответствующем контексте должны быть однозначно определены… Фундамент общей теории должен быть настолько прочным, чтобы ее выводы имели практическую ценность при исследовании реально существующих систем» [10].
Интересная особенность предельно общей самовыводимой теории (понятия которой распространяются «очень широко» – и на себя в том числе), в данном случае заключается в том, что она не может быть создана как «синергетическое» обобщение имеющихся теорий, — она должна выводится, вытекать из некоего общего, максимально отвлеченного от частностей, принципа «самопорождения». (Заметим, что подобная идея в ее исходной постановке, не нова: например, так называемая, абсолютная идея Г. Гегеля1.)
Предполагаемые принципы самовыводимости.
Самовыводимая теория, реализуясь, непрерывно включает в себя (берет на вооружение) выражения, непосредственно собираемые или извлекаемые путем формализации из проведенных перед этим рассуждений, выявляя в них логические элементы, правила, законы, определения, приемы, способы, — все, что можно формализовать и предположительно использовать. Формальный аппарат, как «само»-выводимый, может расширяться только за счет а) выявления новых концептуальных моментов и методов при интерпретации себя как предметной сферы, б) метатеоретического обобщения: порождением новых абстракций (смыслов, формализмов), понятий с оригинальными свойствами и применением этих свойств для манипулирования на уровне непосредственно логики (в формальном аппарате), в) построения выражений с новыми, обращенными на аппарат, свойствами. Такая самонаправленность и расширение в итеративном процессе предполагает наличие (актуализацию) динамического самоописания. (Подробно о природе самоописания – во второй части.)
Все перечисленные выше принципы могут быть выведены (или порождены) в процессе разворачивания теории из идеи её постановки (по свойству самоприменимости), хотя некоторые составляющие, например, принцип причинности в виде дедуктивного вывода (причинно-логического следования), первоначально применяется по интуиции. Это особенность начального момента самовывода и самоприменимости и будет обосновано.
Наброски самовывода метатеории самой себя.
Дальнейшие рассуждения, до II части, носят предварительный характер.
Какая-либо теория в момент своего зарождения представляет собой неоформившуюся идею, смутные формулировки, неясные логические зависимости и принципы. Обозначим нашу теорию, в таком исходном виде, как М.
|
|