Тарасенко Владислав
Фрактальная логика

Lib.ru/Современная: [Регистрация] [Найти] [Рейтинги] [Обсуждения] [Новинки] [Помощь]
  • Комментарии: 21, последний от 11/01/2023.
  • © Copyright Тарасенко Владислав (odn1@mail.ru)
  • Размещен: 18/12/2007, изменен: 18/12/2007. 165k. Статистика.
  • Монография: Философия
  • Иллюстрации/приложения: 87 шт.
  • Скачать FB2
    • Оценка: 4.93*13  Ваша оценка:
      
       Москва, 2002 Владислав Тарасенко
       []
       Фрактальная логика Научное издание Исследование поддержано Российcким гуманитарным научным фондом
       Проект 00-03-00186 "Анализ сетевого мышления"
      
      
      
       ã Владислав Тарасенко 119842 г. Москва • ул. Волхонка д.14 Телефон 7290860 • Факс 2003250 • E-mail: odn1@mail.ru
       Линия состоит из множества точек; плоскость - из бесконечного множества линий; книга - из бесконечного множества плоскостей; сверхкнига - из бесконечного множества книг. Нет, решительно не так. Не таким more geometrico должен начинаться рассказ. Сейчас любой вымысел сопровождается заверениями в его истинности, но мой рассказ и в самом деле - чистая правда.
      
      
       Х.Л. Борхес Книга песка
       Содержание
      
      
      
      
      
       Глава 1 Исторические предпосылки фрактальной логики
      
      
       1.1 Математические "монстры" - примеры и проблемы
       1.2 Логические парадоксы -- примеры и проблемы
       1.3 "Монстры" и парадоксы -- неслучайные совпадения.
       1.4 Исторический очерк фрактальной геометрии
       1.5 Принцип дополнительности фрактальной геометрии
       1.6 Парадоксы как фракталы. Фрактальная логика: обратная связь как модель "монстров" и парадоксов
       1.7 Парадокс лжеца: логический формализм через понятие обратной связи.
      
      
      
      
      
      
      
      
      
      
      
      
       []
      
      
      
      
      
      
      
      
      
      
      
      
      
      
      
      
       Глава 2 Логические ряды и логические фракталы
      
      
       2.1 Определение логического ряда. Виды рядов.
       2.2 Процедуры генерации логических рядов с помощью обратных связей. Прямая и обратная задача генерации логического ряда.
       2.3 Операции с логическими рядами
       2.4 Кортежи, масштабы и инварианты логических рядов. Самоподобие. Определение регулярного логического фрактала.
       2.5 Формализм масштабного преобразования. Определение преобразованных логических фракталов.
       2.6 Монады. Монадология.
       2.7 Тезис о построении логического фрактала через два типа обратных связей
       2.8 Количественные характеристики логических фракталов
      
      
      
      
      
       Послесловие: проблемы и задачи фрактальной логики
      
      
      
      
      
      
      
      
      
      
      
      
      
       Глава 1 Исторические предпосылки фрактальной логики
      
      
      
  •    Математические "монстры" - примеры и проблемы
      
       Рассмотрим построение триадной кривой, которую впервые исследовал в 1904 году шведский математик Хельге фон Кох (рисунок 1.1.1).
       Возьмем прямолинейный отрезок длины 1. Назовем его затравкой. Разобьем затравку на три равные части длиной в 1/3, отбросим среднюю часть, и заменим ее ломаной из двух звеньев длиной 1/3 таким образом, чтобы средняя часть оказалась основанием равностороннего треугольника со стороной 1/3. Мы получили ломаную, состоящую из четырех звеньев с общей длиной 4/3 -- так называемое первое поколение.
       Для того чтобы перейти к следующему поколению кривой Коха, надо у каждого звена аналогично отбросить и заменить среднюю часть.
       Соответственно, длина второго поколения будет равна 16/9, третьего -- 64/27 и так далее.
       Если продолжить этот процесс до бесконечности, то в результате получится триадная кривая Коха.
       Рассмотрим свойства этой кривой.
       Во-первых, эта кривая не имеет длины -- как мы убедились, с увеличением числа поколений ее длина стремится к бесконечности.
       Во-вторых, к этой кривой невозможно построить касательную -- каждая ее точка является точкой перегиба (особой точкой или сингулярностью), в которой производная не существует - эта кривая не гладкая.
       [] []
       Длина и гладкость -- фундаментальные свойства кривых, которые изучаются как евклидовой геометрией, так и неевклидовыми геометриями типа геометрий Лобачевского или Римана. На основании этих свойств развиваются методы анализа и преобразования геометрических фигур.
       К триадной кривой Коха традиционные методы геометрического анализа оказались неприменимы. Поэтому, кривая Коха оказалась чудовищем -- "монстром" среди гладких обитателей традиционных геометрий.
       Одним из первых, кто досконально начал изучать "монстров" был Карл Вейерштрасс. Вслед за Бернардом Больцано, опубликовавшем в 1851 году книгу "Парадоксы бесконечности", он привел пример функции, графиком которой была негладкая кривая, обратив внимание на то, что понятие "непрерывная функция" и "непрерывная функция имеющая в каждой точке производную" не являются тождественными.
       18 июля 1872 года в докладе Берлинской академии наук Вейерштрасс доложил пример негладкой непрерывной функции. Данная функция задается рядом:
       W(x) = []аn cos (bnpx),
       a<1, b>1, ab>1.
       График этой функции (рис. 1.1.2) самоподобен, то есть, инвариантен (неизменен) при определенных преобразованиях координат (растяжения по абциссам в b раз и в 1/a раз по ординатам). В малом масштабе дублируются детали крупного масштаба, в результате этого можно говорить, что это функция никогда не сводится на малом отрезке к линии - она непрерывна, но не имеет дифференциала и производной. Функция имеет очень сложную "пилообразную" структуру - причем на "пилы" большего масштаба до бесконечности накладываются "пилы" меньшего.
       []
      
       Рис 1.1.2 Функция Вейерштрасса при a=0,5 b=4 на различных масштабах: иллюстрация самоподобия1
       Пример Вейерштрасса получил широкий отклик и потряс математиков. "Как интуиция может обмануть нас до такой степени?" - восклицал Пуанкаре. Бурбаки так описывает период появления "монстров": "...примеры кривых, не имеющих касательных, построенные Больцано и Вейерштрассом, положили начало патологическим явлениям в математике. В течение целого века мы видели столько чудовищ такого рода, что почувствовали некоторое пресыщение, и чтобы нас действительно удивить, надо было бы показать нам нагромождение самых нелепых уродств. У большинства математиков XIX в. чувство отвращения сменилось состоянием растерянности... надо было винить грубый и несовершенный характер нашей геометрической интуиции, и вполне понятно, что после этого она с полным правом была дискредитирована как средство доказательства".
       "Монстры" составили своеобразную альтернативу объектам и методам евклидовой геометрии. До конца XX века эта альтернатива носила скорее негативный, чем позитивный оттенок. "Монстры" не были другой геометрией, это были скорее "темные" и "запретные" зоны геометрического анализа в которых традиционные методы не работали.
       [] []
      
      
      
      
      
      
      
      
       [] []
       1.2 Логические парадоксы -- примеры и проблемы
      
      
       "Из них же самих один стихотворец сказал: "Критяне всегда лжецы, злые звери, утробы ленивые". Свидетельство это справедливо".
       Послание к Титу святого апостола Павла. Глава 1. Стих 12-13.
      
      
       Как известно, логика оперирует с высказываниями -- записанными с помощью знаков суждениями естественного или искусственного языка, которые имеют значения -- сформулированные для данного высказывания логические содержания. Набор значений конечен. В случае классической двузначной логики этот набор - истина и ложь. Одно высказывание не может одновременно иметь несколько значений.
       Высказывания можно формализовать -- то есть записать на формальном языке и сформулировать логику высказываний -- набор процедур и операций, которые преобразуют одни высказывания в другие или изменяют значения высказываний.
       На этом предположении строится традиционная формальная логика, устанавливающая процедуры и операции над высказываниями.
       Рассмотрим суждение естественного языка "Я лгу". Преобразуем его в высказывание логики. Для этого проанализируем его содержание и интерпретируем логические значения.
       Если мы предположим, что содержание высказывания "Я лгу" истинно, то его содержание указывает на то, что это высказывание ложно, следовательно, это высказывание является ложным, и его значение -- ложь.
       Если мы предположим, что содержание высказывания "Я лгу" ложно, то суждение "Я лгу" неверно. Следовательно, я говорю истину, и это высказывание является истинным. Его значение -- истина.
       Таким образом, одно и то же высказывание обладает двумя значениями одновременно.
       Высказывание "Я лгу" -- широко известный с древних времен пример семантического парадокса, иллюстрирующего противоречивость интерпретаций высказываний.
       Одним из первых исследователей парадоксов был Зенон Элейский, занявший место в истории философии благодаря рассмотрению четырех парадоксов движения.
       [] Рис.1.2.1 Зенон Элейский (430-495 до н.э.) и иллюстрация знаментитого парадокса "Ахилл и черепаха". Всего Зенонм было придумано более 40 апорий, направленных против бесконечности и движения.
      
       В своих парадоксах Зенон пытался показать, что из определенного положения можно получить суждения, противоречащие друг другу. Следовательно, необходимо подвергнуть критике это положение.
       Анализ парадоксов -- любимая тема логических исследований XIX-XX веков, из которой выросло множество интересных работ по философии, основаниям математики, логическим теориям, искусственному интеллекту.
      
       Парадоксы оказали колоссальное воздействие на литературу и беллетристику ХIХ-ХХ веков. Здесь можно упомянуть имена Л. Кэррола, Х.Л. Борхеса, Б. Касареса, Х. Кортасара, У. Эко, М. Павича.
       Самой яркой работой на эту тему, на мой взгляд, является книга Дагласа Хофштадтера "Гёдель, Ешер, Бах"2. Главные герои книги -- персонажи Зенона -- Ахилл и Черепаха, постоянно попадают в бесконечные и парадоксальные ситуации. Между их диалогами обсуждаются проблемы логики, геометрии, биологии, нейрофизиологии, музыки и дзен-буддизма.
       Кроме семантических парадоксов популярной темой исследований являлся анализ теоретико-множественных парадоксов, самым известным из которых был парадокс Рассела. Этот парадокс фиксировал противоречивость фундаментальной категории логики -- категории множества.
      
      
      
      
      
      
       [] Рис. 1.2.2 Бертран Артур Уильям Рассел (1872-1970). Портрет и шарж с формулировкой знаменитого парадокса. Рассел - автор огромного количества книг по философии, логике, основаниям математики. Нобелевскую премию получил по литературе.
      
       Так же как и "монстры", поражающие математиков, парадоксы поражали логиков. Они не вписывались в традиционные процедуры логического анализа и наводили на мысль о том, что в основаниях логики не всё благополучно.
      
      
       1.3 "Монстры" и парадоксы -- неслучайные совпадения.
       Сопоставив историю исследований геометрических "монстров" и логических парадоксов, можно увидеть ряд удивительных совпадений.
       Совпадения исторические.
       Если начинать отсчет с мифических времен, то первым известным нам местом встречи монстров и парадоксов будет остров Крит.
       "Все критяне лжецы" -- сказал один критянин" -- формулировка древнейшего парадокса.
       Лжецы критяне, еще и потому, что якобы у них был выстроен лабиринт -- топологический аналог геометрического "монстра" и дом мифического монстра Минотавра -- чудовища с головой быка и туловищем человека. Минотавр живет в архитектурном "монстре". Первооткрывателем (или первостроителем) этого геометрического -- архитектурного "монстра" следует признать Дедала -- строителя лабиринта.
       Случайно или нет совпадение места лабиринта и места рождения парадокса лжеца? Сказать сложно. Лично меня это совпадение удивляет и поражает. Когда совмещаешь эти вещи, то охватывает ощущение резонанса, соприкосновения с какой-то тайной зашифрованной в этом совпадении. Может быть, тайной рождения европейской культуры и цивилизации, европейского "линейного" мышления из "нелинейного" мифа. Я вернусь к этой теме в конце книги. []
       [] []
      
      
       Мысленно перенесемся в другую эпоху и возьмем в качестве отправной точки 1903 год. В этом году Бертран Рассел пишет письмо Готлобу Фреге, впервые описывающее его знаменитый парадокс. Именно в этом году шведский математик Хельге фон Кох строит свои кривые и публикует их в следующем -- 1904 году.
       За тринадцать лет до этого Давид Гильберт в Кенигсберге исследует и обращает внимание научного сообщества на очередного "монстра" - кривую, построенную в 80 годах XIX века итальянским математиком и логиком Джузеппе Пеано. Приблизительно в это же время -- в начале 90 годов, Георг Кантор исследует парадоксы в определении понятия "мощность множества".
       В 1912 году - через девять лет после 1903 года, поляк Вацлав Серпинский пополняет "монструарий" новыми фигурами - своими "салфетками" и треугольниками. На время перед первой мировой войной приходится расцвет полемики вокруг теоретико-множественных парадоксов в сообществе логиков.
       В двадцатых-тридцатых годах ХХ века русский инженер адмирал А. Крылов применил функции без производных для моделирования процесса колебаний корабля: "монстры" постепенно стали приобретать физический смысл.
       []
      
      
      
      
      
      
      
      
      
      
      
      
      
      
      
      
       []
      
      
       []
       Рис 1.3.4 Фрагмент публикации Х. Коха "Une méthode géométrique élémentaire pour l'étude de certaines questions de la théorie des courbes planes", Acta Mathematica 30 (1906 г.),145-174
      
      
      
       1.3.5 Давид Гильберт (1862 -- 1943)
       Великий немецкий математик, оставивший крупный вклад в теории инвариантов, основаниях геометрии, в логических основаниях математики. Его исследования "монстров" тесно переплетались с поисками непротиворечивых оснований геометрии. [] [] 1.3.6 Публикация Д. Гильберта (1890), анализирующая работы Пеано
      
       1.3.7 Вацлав Францижек Серпинский (1882 - 1969) Основные труды Вацлава Серпинского связаны с теорией множеств и ее приложением к топологии. Кроме этого, на русском языке известны работы Серпинского по теории чисел и арифметике.
       []
       1.3.8 Построение треугольника Серпинского
      
       Рис. 1.3.9 Алексей Николаевич Крылов (1863-1945) Всемирно известный кораблестроитель. Разработал схемы расчетов основных характеристик корабля -- остойчивости и плавучести. Создал теорию килевой качки, заложил основы строительной механики, динамики и вибрации кораблей.
      
      
       Совпадения биографические.
       Георг Кантор -- пример математика и логика, который в своем творчестве обращался как к анализу парадоксов, так и к построению и исследованию "монстров" причем на одном и том же примере. В 1883 году Кантор публикует свою работу "Über unendliche, lineare Punktmannigfaltigkeiten", в котором демонстрирует пример построения "монстра" -- множества точек, называемого сейчас множеством Кантора. Это множество образовано в результате бесконечного итерационного процесса, похожего на процесс построения кривой Коха (рис. 1.3.11). Кантор последовательно отбрасывал из отрезка единичной длины сначала среднюю часть, а потом средние части всех оставшихся фрагментов. Проделав эту процедуру бесконечное число раз, великий логик рассмотрел свойства получившегося множества точек -- так называемой канторовой пыли. Кантор показал, парадоксальность этого "монстра". Мощность получившегося множества точек оказалась равной мощности множества точек на отрезке.
       В этом примере встретились парадокс и "монстр" -- "монстр" оказался иллюстрацией парадоксального понятия мощности множества, воплощением непонятной бесконечности. Кантор пытается понять бесконечность и строит концепцию для ее описания.
      
      
       Рис.1.3.10 Георг Фердинанд Кантор (1845-1918) По выражению Гильберта, развив теорию множеств, Кантор построил рай для математиков. Первым ввел в математику понятие актуальной бесконечности, сопоставив ей математические объекты -- трансфинитные числа. Построил теорию трансфинитных чисел, связав ее с теорией множеств. Ввел понятия мощности множества и подобия множеств.
      
       [] Рис. 1.3.11 Построение канторовой пыли [] Рис 1.3.12 Первая страница работы Кантора "Über unendliche, lineare Punktmannigfaltigkeiten" (1883)
       Не случайным, с точки зрения изучения биографических совпадений, оказывается увлечение логикой Бернарда Больцано. В 1837 году Больцано пишет книгу "Попытка нового понимания логики", в которой он попытался ввести новую неформализованную "Про-Лейбницевскую" логику.
       Попытки поиска оснований логики предпринимал и Джузеппе Пеано -- автор кривой Пеано, исследовавший в 80-90 годах XIX века понятия числа. Пеано интересовался рекурсивными схемами -- процедурами, с помощью которых можно определить понятие числа.
       Работы Пеано оказали влияние на Бертрана Рассела, его взгляды периода "Принципов математики".
       []
       [] [] []
      
      
      
      
      
      
      
      
      
      
       Совпадения социальные.
       И "монстры" и парадоксы -- это контрпримеры, противоречащие существующим на данный момент парадигмам в сообществе ученых, частные случаи, разрушающие хорошо выстроенные научные представления.
       Есть совпадения в отношении научного сообщества к "монстрам" и парадоксам. Удивление, испуг, растерянность, заменялись запретами на их применение и попытками создать новую теорию, свободную от "монстров" и парадоксов -- описать логически корректные и непротиворечивые основания математики.
      
      
       Этот процесс был проанализирован Имре Лакатосом в его книге "Доказательства и опровержения". Лакатос назвал его "monster barring" - процессом "исключения монстров" - как некоторой позитивистской программы ухода от парадоксальности при исследовании геометрических и логико-математических объектов, построенных путем бесконечных рекуррентных процедур.
       Книга "Принципы математики" Б. Рассела и А. Уайтхеда с этой точки зрения предстает как попытка исключения монстров, попытка найти непротиворечивые первые принципы, основания математики, свободные от рекурсий и бесконечных кругов, заселяющих логику "монстрами". Попытка, на взгляд Лакатоса, неудачная3.
       Совпадения операциональные: дискретность процедур.
       Построение "монстров" и парадоксов можно представить как набор дискретных операций-алгоритмов, напоминающих рецепт. Сначала договариваются о каких-то правилах игры, а потом описываются конечные мыслительные или геометрические операции, исполнение которых приводит к тому, что появляется "монстр" или парадокс.
       Совпадения самодостраивания и цикличности.
       И "монстры" и парадоксы есть результат применения процедур к одному и тому же объекту и изменений этого объекта, исходя из состояния этого объекта. Парадокс -- это самореферентное суждение, суждение о суждении. "Монстр" - самореферентная рекуррентная процедура.
       В случае с парадоксами суждение начинает бегать по кругу -- от "Высказывание истинно, значит оно ложно" к "Высказывание ложно, значит, оно истинно". Мысль зацикливается и не может остановиться. При этом, суждение пытается обосновать себя самого -- объектом анализа суждения становится само суждение, рождается новое значение, разрушающее присутствие старого значения. Это и есть "самодостраивание": зацикливаясь, мыслительная процедура, выстраивает сама себя и рождает парадокс.
       Аналогичный процесс запускается и при построении "монстров". Фигуры Коха, Пеано или Серпинского не есть выстроенные объекты, а есть процессы самодостраивания -- процессы бесконечных изменений одного и того же объекта.
       "Монстр" есть выстраивание - циклический, постоянно возвращающийся процесс изменения. Если процесс итераций остановить, то "монстр" тут же превратится в обычную ломаную линию с конечным количеством особых точек.
       Совпадения бесконечности.
       Суждение, попав в логический круг, начинает вертеться в нем -- значения не фиксируется, и меняется бесконечное число раз по циклу: "Суждение истинно значит ложно, суждение ложно значит истинно".
       Так же, до бесконечности, продолжается построение "монстра".
       Бесконечность присутствует как в изменении значений парадоксального высказывания, так и в итерациях "монстров".
       Бесконечность сводит с ума борцов с монстрами, являясь символом нелогичности и иррациональности.
       Концептуальные совпадения
       Есть несколько научных и философских концепций, обращающихся одновременно и к математическим монстрам, и к логическим парадоксам.
       Во-первых, это теория хаоса и концепция сложности (complexity), синергетическая парадигма, которые приводят парадоксы в качестве результата "линейного" мышления. "Монстры" в этих концепциях - формы нового, "нелинейного" мира.
       Во-вторых, это концепция автопоэзиса, бурно развиваемая сейчас философами, биологами и социологами, основателями которой считаются чилийские биологи и эпистемологи Умберто Матурана и Франциско Варела4. Франциско Варела в своих работах приводил монстры и парадоксы в качестве моделей саморазвивающихся, самодостраивающихся автопоэтических систем5.
      
       Многие статьи У. Матураны и Ф. Варелы присутствуют в ИНТЕРНЕТ. В качестве отправной точки можно сходить на сервер www.synergetic.ru, где присутствуют обзоры и библиография работ.
       Наша задача состоит в том, чтобы выстроить совпадения математических "монстров" и логических парадоксов на концептуальном поле фрактальной геометрии.
       [] Рис 1.3.15 Иллюстрация бесконечного самодостраивания и цикличности: метафора автопоэзиса. М. Эшер. Руки.
      
      
      
      
      
      
       [] []
      
      
      
      
      
      
      
      
      
      
       [] []
       1.4 Исторический очерк фрактальной геометрии ...( и что этот образ? не явь и не сон, не заболеванье и не исцеленье, а с криком летящая над колесом мгновенная ласточка одушевленья) тогда он и скажет себе: - Чудеса! Не я ли раздвинул тяжелые вещи, чтоб это дышало и было как сад, как музыка около смысла и речи,
       и было псалтырью, толкующей мне о том, что никто, как она, не свободен, - словами, которых не ищут в уме делами, которых нигде не находят...
      
       Ольга Седакова "Последний читатель"
      
      
       "Почему геометрию часто называют холодной и сухой? Одна из причин заключается в ее неспособности описать форму облака, горы, дерева или берега моря. Облака - это не сферы, горы - не конусы, линии берега - это не окружности, и кора не является гладкой, и молния не распространяется по прямой. Природа демонстрирует нам не просто более высокую степень, а совсем другой уровень сложности. Число различных масштабов длин в структурах всегда бесконечно.
       Существование этих структур бросает нам вызов в виде трудной задачи изучения тех форм, которые Евклид отбросил как бесформенные - задачи исследования морфологии аморфного. Математики, однако, пренебрегли этим вызовом и предпочли все больше и больше отдаляться от природы, изобретая теории, которые не соответствуют ничему из того, что можно увидеть или почувствовать."
       Этими, ставшими уже популярными, словами американский математик Бенуа Мандельброт начинает свой всемирно известный бестселлер "The Fractal Geometry of Nature"6.
       Фрактальная геометрия, по Мандельброту это и есть настоящая геометрия природы, отличающаяся от традиционных геометрий, уводящих человека в царство безжизненных абстракций. Природа аморфна и причудлива.
       Фрактал - форма природного хаоса, форма аморфного, форма бесформенного, приближающая взгляд и ум человека к природе.
       Термин "фрактал" предложен Мандельбротом. Вот что пишет он сам по этому поводу в разделе "Фрактал" и другие неологизмы" во введении к своей книге "Фрактальная геометрия природы"7: "Я создал термин фрактал от латинского прилагательного fractus. Соответствующий латинский глагол frangere означает "разрывать, прерывать": создавать нерегулярные фрагменты. Это, следовательно, имеет (подходящее для нас!) значение дополнительное к термину "фрагментированный" (как и к фракция (fraction), рефракция (refraction)), fractus также "нерегулярный", оба значения сохраняются в термине fragment.
       Правильнее поизносить - frac'tal - с ударением таким же, как и в слове fraction.
       Сочетание "фрактальное множество" (fractal set) будет определена строго, но сочетание "природный фрактал" (nature fractal) будет подано свободно - для определения природных примеров, которые полезно репрезентировать с помощью фрактальных множеств. Например, броуновская кривая - это фрактальное множество, а физическое броуновское движение - это природный фрактал.
       (Поскольку алгебра происходит от Арабского jabara = "связывающего вместе", фрактал и алгебра стоят в этимологических оппозициях!)
       Обычно, в моих путешествиях по вновь открытой или заново определенной территории, я часто перемещался под влиянием права на присваивание имени поворотным пунктам этой территории. Как правило, тщательно созданный неологизм представляется более лучшим, чем добавление новый морщина к уже затасканному термину."
      
      
       Мандельброт рассматривает математические аналоги природных форм и уточняет представление о фракталах -- особых геометрических множествах, форма которых принципиально отличается от традиционных геометрических форм типа точки, линии и плоскости.
       В качестве примера фракталов Мандельброт рассмотрел множества Жюлиа Мандельброта на комплексной плоскости.
       В основе построения этих множеств лежит рекуррентная процедура - процесс итерации z®f(z,c), где z -комплексная переменная, c - комплексная константа, f - нелинейная функция.
       Если x и y - координаты плоскости, то переменная z=x+iy, константа c=p+iq, а, например, нелинейную функцию можно выбрать такую: f(z,c)=z*z+c.
       Тогда если c=0, то все точки z делятся на три класса:
       1.|z|<1 => аттрактор точки z - это точка (0,0),
       2.|z|=1 => точка z останется на окружности радиуса 1,
       3.|z|>1 => аттрактор точки z - бесконечность,
       Если c - не нуль, то возникает аттрактор, отличный от нуля.
       Аттракторы - это центры притяжения, которые ведут борьбу за влияние на плоскости; любая начальная точка либо в течение процесса приходит к тому или иному аттрактору, либо лежит на границе и не может принять определенного решения. С изменениями параметров меняются и области влияния аттракторов, а вместе с ними и границы.
       Множества Жюлиа и Мандельброта строятся рекурсивно при помощи различных функций F и G, позволяющих перейти от k-той точки на плоскости к (k+1)-ой точке по следующему закону:
       x(k+1)=F(x(k), y(k),p),
       y(k+1)=G(x(k), y(k),q),
       где p и q - параметры, которые считаются постоянными в течение каждой итерации (x(0),y(0))->(x(1),y(1))->...->(x(k),y(k))->... В качестве функций F и G можно рассматривать различные нелинейные функции. Если плоскость, состоящая из всех пар (x,y), рассматривается при фиксированных p и q, то получаются так называемые множества Жюлиа. Если, напротив, фиксируется начальная пара значений (x,y) и прослеживается ее судьба при различных значениях параметров p и q, то получаются изображения, называемые множествами Мандельброта.
       Вот что писал великий английский физик и математик Роджер Пенроуз по поводу фрактального множества Мандельброта:
       "Доводилось ли вам когда-нибудь видеть картины, нарисованные компьютером, - объекты, известные под названием множеств Мандельброта? Впечатление такое, как будто вы отправляетесь в путешествие в какой-то далекий мир. Вы включаете свое чувствительное устройство, видите невероятно сложную конфигурацию с множеством всевозможных деталей и пытаетесь понять, что это такое. Вы можете вообразить, что перед вами какой-то необыкновенный ландшафт или, быть может, живое существо, облепленное со всех сторон крохотными детенышами, очень похожими на породившее их создание, но всё же несколько отличающееся от него. Весьма искусная и впечатляющая картина!
       И всё же, даже глядя на уравнения, никто не имел ни малейшего представления о том, что они могут порождать структуру такого типа. А ведь эти ландшафты - не плод чьего-то разыгравшегося воображения: все видят одну и ту же картину.
       Вы исследуете нечто с помощью компьютера, но это ничем не отличается от исследования, проводимого с помощью обычной экспериментальной техники."
       Мандельброт демонстрирует методологию описания множеств, полученных с помощью рекуррентных процедур.
       В качестве качественного инварианта описания он применяет понятие самоподобия, подразумевающее подобие фрагмента множества, полученного бесконечной рекуррентной процедурой, всему множеству.
       []
       Рис. 1.4.1 Бенуа Мандельброт (род. 1924)
       Автор термина "фрактал" и основоположник фрактальной геометрии.
      
       [] []
       а) б)
       [] []
       в) г)
       [] []
       д) е)
       Рис 1.4.2 а)-е) Фрагменты множества Мандельброта при различных масштабах.
       Фрагмент в рамке показан на следующем (по буквенному обозначению) рисунке. Фрагмент в е) напоминает по форме а).
      
      
      
      
       Для количественного описания фрактальных множеств Мандельброт предложил использовать понятие размерности фрактального множества.
       В обычном понимании размерность геометрического множества есть число измерений, с помощью которых можно задать положение точки на геометрическом объекте.
       В свое время бурные дискуссии вызвал переход в "многомерие" - от плоскостей с размерностью два и евклидовых пространств с размерностью три, к менее представляемым n-мерным абстракциям. Достаточно сложно себе представить четырех, пяти или шестимерное пространство.
       Сходная ситуация, на наш взгляд, складывается и в связи с освоением концепции фрактала.
       Переход от "линейного мышления" к "фрактальному" сопряжен с введением новых интерпретаций размерности - числа измерений предметов.
       Фрактальная геометрия заставляет мыслить в понятиях "дробномерия" - дробных измерений, или даже "дробномирия".
       Вот что пишут Ю.А.Данилов и Б.Б.Кадомцев в известной статье "Что такое синергетика?"8:
       Мандельброт предложил использовать в качестве меры "нерегулярности" (изрезанности, извилистости и т. п.) определение размерности, предложенное Безиковичем и Хаусдорфом. Фракталь (неологизм Мандельброта) - это геометрический объект с дробной размерностью Безиковича-Хаусдорфа...
       ...Размерность Безиковича-Хаусдорфа всегда не меньше евклидовой и совпадает с последней для регулярных геометрических объектов (для кривых, поверхностей и тел, изучаемых в современном учебнике евклидовой геометрии). Разность между размерностью Безиковича-Хаусдорфа и евклидовой - "избыток размерности" - может служить мерой отличия геометрических образов от регулярных. Например, плоская траектория броуновской частицы имеет размерность но Безиковичу-Хаусдорфу больше 1, но меньше 2: эта траектория уже не обычная гладкая кривая, но еще не плоская фигура....
       ...Под фракталом, подразумевался некий сильно изрезанный, геометрический объект, который являлся, например уже не точкой, но еще не гладкой линией, или уже не линией, но еще не плоскостью."
       Мандельброт специально нашел такое определение размерности (размерности по Хаусдорфу и Безиковичу), которое бы в частном случае соответствовало нашим представлениям о классических целых размерностях, а в общем случае позволяло вводить и измерять фрактальные предметы.
       Для уточнения понятия размерности рассмотрим множество S точек в некотором евклидовом пространстве.
       Будем покрывать это множество по очереди отрезками прямой, квадратами, кубами. Для этого выберем функцию покрытия h(d) = g(d)dd, которая при d=1 соответствует прямолинейным отрезкам, при d=2 квадратам, при d=3 - кубам. g - это геометрический коэффициент равный в нашем случае единице.
       Рассмотрим меру множества Md=Sh(d). Мера -- это общее понятие для таких понятий как длина, площадь и объем, которая работает "в зазорах" между этими понятиями.
       При d®0 мера Md равна нулю или бесконечности в зависимости от выбора d-размерности меры. Например, при покрытии фрагмента плоскости отрезками (d=1) мера равна бесконечности так как длина плоскости бесконечна - поверхность нельзя покрыть конечным числом отрезков, чья длина стремится к нулю. При покрытии фрагмента плоскости кубиками (d=3), мера стремится к нулю - объем плоскости равен нулю. Однако, при d=2 мера плоскости стремится к конечной величине. Этой мерой служит площадь исследуемого нами фрагмента плоскости.
       При покрытии фигуры Коха (рис.1.1.1) отрезками (d=1), мера (длина фигуры) стремится к бесконечности. При покрытии фигуры Коха квадратами (d=2) мера (площадь фигуры) стремится к нулю. Этот факт дает основание предположить, что между d=1 и d=2 должно существовать значение d, при котором мера меняет свое значение с нуля на бесконечность.
       Размерность Хаусдорфа-Безиковича D множества S есть критическая размерность, при которой мера Md меняет своё значение с нуля на бесконечность:
       Md=Sg(d)dd [] 0 при d>D; Md=Sg(d)dd []¥ при d<D.
       В случае с плоскостью, размерность Хаусдорфа-Безиковича равна двум. В случае фигуры Коха эта размерность не является целой и является фрактальной. Мера фигуры Коха не является длиной и площадью, а находится между ними.
       Для определения размерности сложной фигуры на евклидовой плоскости (береговой линии, кластера), ее покрывают набором квадратов со стороной l®0, и при различных l подсчитывают число квадратов N(l). Далее ищется степенная функция меры таким образом, чтобы она была конечной при каком-то показателе степени. Для этого в двойных логарифмических координатах строится зависимость числа квадратов, покрывших фигуру, от длины сторон этих квадратов. Получается график, похожий на график зависимости длины береговой линии от функции выбранного шага (рис. 1.5.2). По углу наклона этого графика определяется фрактальная размерность.
       Размерности можно вводить и по-другому. Будем покрывать изучаемое множество в p-мерном пространстве кубиками с ребром e. Кубику с номером i сопоставим вероятность Pi, с которой в него попадают точки множества. Далее можно ввести набор величин Dq называемых обобщенными размерностями, по формуле:
       Dq = [],
       где суммирование ведется по всем кубикам покрытия.
       При разных q возникают разные виды размерностей, характеризующих исследуемое множество - степень упорядоченности точек в пространстве.
       Теория размерности -- область математики, активно разрабатываемая в работах А. Н. Колмогорова, А. Реньи, Ф. Хаусдорфа.
       1.4.3 Феликс Хаусдорф (1868 - 1942) Автор оригинальных трудов по теории множеств, топологии, функциональному анализу. Предложил понятие меры и размерности, которое использовал Мандельброт для количественного описания фракталов. В 1942 году покончил жизнь самоубийством, узнав о предстоящей отправке своей семьи в гитлеровский концлагерь.
      
       [] Рис. 1.4.4 Андрей Николаевич Колмогоров (1903 - 1987) Великий советский математик. Получил фундаментальные результаты в теории множеств, теории меры, используемые в хаотической и фрактальной динамике.
       [] Рис. 1.4.5 Альфред Реньи (1921 - 1970) Внес большой вклад в теорию размерностей и теорию множеств. Во фрактальной геометрии и мультифрактальном анализе активно используется понятие обобщенной размерности, введенное Альфредом Реньи.
      
       1.5 Принцип дополнительности фрактальной геометрии
       Кроме исследования математических фракталов, Мандельброт предъявил процедуры отождествления математических фракталов и реальных природных и социальных объектов -- облаков, рек, береговых линий, капилляров, колебаний цен на рынке.
       В статье "Метафизика фрактала"9 мною было показано то, как введение фрактальной концепции в практику научных исследований разрушает евклидианскую исследовательскую научную программу. Этот процесс был рассмотрен с помощью представлений И. Лакатоса о влиятельной метафизике научной теории (то есть, о положениях, стоящих над эмпирической проверкой и направляющих научный поиск).
       Концепция фрактала игнорирует "защитный пояс" классических геометрических концепций (конкретные исчисления, связанные с евклидианской программой фрактальной концепцией даже не критикуются), заменяя "жесткое ядро" - тривиальные первые принципы - категории геометрии. Этим самым задается метафизика фрактала - влиятельная метафизика фрактальной концепции.
       Эта замена идет не по пути изменения или введения новой аксиоматики, основанной на строгих логических приемах определения понятия, а по пути введения интерсубъективного контекста фрактальной концепции - создания устойчивых практик узнавания фрактала как в феноменах математики (геометрических множествах, решениях нелинейных уравнений), так и в феноменах - конструктах прикладных теорий (географии, лингвистики, астрофизики).
       В связи с этим, можно предложить схему контекстуального введения категории фрактала и задания на этой базе влиятельной метафизики - как самоорганизации коммуникаций, интерсубъективной среды для диалога между учеными, способствующему усилению познавательной ценности категории фрактала.
       Мандельброт вводил представления о фрактале фрактально -- не жестко и хаотически:
       во-первых, Мандельброт ввел термин "фрактал";
       во-вторых, он ввел "затравку" - первое - (математически точное, но в общем случае, неверное) определение понятия фрактала через размерность Хаусдорфа-Безиковича;
       и, в-третьих, он запустил интерсубъективный механизм "самоорганизации научного понятия" -- развил ассоциации между термином "фрактал" и предметами математики и природы в научном сообществе.
       Для создания механизма "самоорганизации понятия" Мандельброт сумел описать (пользуясь методами аналогии, компьютерной визуализации, перечислением сходных, по его представлениям, предметных областей, применяя метафоры) способы отождествления (узнавания) различных математических и природных форм как фрактальных, с помощью которых можно было бы расширить "затравочное" определение и произвести диверсификацию понятия фрактала на различные области знания. Тем самым он придал новому понятию категориальный статус и создал на этой базе массовую научную коммуникацию - стратегию диалога, среду самоорганизации нового понятия.
       Геометрические объекты, вовлекаемые Мандельбротом в корпус представлений фрактальной концепции давно исследовались математиками, и даже применялись физиками и инженерами, но общего позитивного понятия не было. Не было общей методологии, связывающей в целое представление такие, казалось бы, совершенно не корреспондирующие между собой вещи как, например, множество Жюлиа, колебания цен на хлопок и чертеж побережья Британии.
       С методологический точки зрения представляется важным тот факт, что для введения нового понятия - понятия фрактала, Мандельброт не "изобретал" каких-то абсолютно новых формализмов или теорий. Он, скорее, не "первооткрыватель", а "перворассматриватель" - первый-по-новому-рассмотритель - его работа заключалась в перестройке перцептивных схем и создании языка объяснения новых предметов.
       Его действия можно интерпретировать как переключение "гештальта" (парадигмы - воспринимающих и интерпретирующих способностей научного сообщества) на сборку нового понятия, на распознавание и интерпретацию фрактальных структур в конкретных познавательных контекстах. Мандельброт создал новые устойчивые перцептивные механизмы, и устойчивые лингвистические коммуникативные практики в науке, призвав научное сообщество по-новому оценить давно известные вещи (например - различные типы размерностей, парадоксы измерения, множества, типа множества Кантора).
       Поэтому, фрактальная геометрия не есть "чистая" геометрическая теория. Это скорее концепция, новый взгляд на хорошо известные вещи, перестройка восприятия, заставляющая исследователя по-новому видеть мир.
       Мандельброт сделал сильный методологический ход, перейдя от некомуникабельного современной ему науке "чистого" конструктивного "монстра", к фракталу - предмету измерения математики и прикладных наук. Для этого он сконструировал две процедуры отождествления - процедуру отождествления рекурсивных математических "монстров" как фракталов и процедуру отождествления предметов измерения фрактальной концепции и предметов измерения теоретических конструктов прикладных исследований (географии, лингвистики, материаловедения и др.). В этом смысле, он ввел цельность представления в разрозненные нагромождения фактов и моделей, создав (предустановив), по меткой метафоре Ю.А. Данилова, "фрактальную" гармонию - фрактальный порядок интерпретируемого мира. Мандельброт запустил интерсубъективный механизм самодостраивания, самоорганизации этого порядка.
       После подобного "переключения внимания" в научном сообществе интерсубъективно фиксируется познавательная ценность категории фрактала, формируется некоторое "личностное" знание - подразумеваемое знание о фрактале, предающее статус очевидности категории фрактала, создающее контекст фрактальной концепции и снимающее необходимость точного определения фрактала.
       В диссертационной работе10 было показано, что введение фрактальной геометрии в практики интерпретации природы можно интерпретировать с точки зрения принципов дополнительности, наблюдаемости и соответствия квантовой механики.
       В качестве иллюстрации дополнительности схем измерения фрактальной геометрии, эксплицируем логические процедуры измерения природного фрактала -- береговой линии.
       С трудностями при измерении длины береговой линии Британии столкнулся в начале нашего века английский гидромеханик Ридчардсон при попытке заменить береговую линию ломаной с длиной L=Nd при исследовании зависимости длины ломаной от шага циркуля в разномасштабных картах (рис. 1.5.1).
      
      
       []
       Рис 1.5.1 К измерению длины береговой линии Британии
      
      
      
       []
      
      
      
       Рис 1.5.2 Зависимость длины побережий L(d) от шага циркуля d.
      
      
      
      
      
      
      
      
      
      
      
      
      
      
      
      
      
      
      
       Оказалось, что при уменьшении единицы измерения d, длина L резко возрастает: Таблица 1.5.1
      
      
      
       Шаг циркуля
       d, км
       Длина
       L(d), км
       500
       2600
       100
       3800
       54
       5770
       17
       8640
      
      
      
       Мандельброт предложил аппроксимировать степень "убегания" длины береговой линии L(d) в зависимости от d степенным законом:
       L(d)=ad1-D
       Он показал, что размерности D различных побережий отличаются (рис. 1.5.2), и могут служить достаточно информативной географической характеристикой, описывая степень извилистости, скрученности побережья.
       Зададимся вопросом - почему факт "разбегания" длины был долгое время -- до работ Мандельброта, не замечаем научным сообществом географов? Почему географы не обращали внимания на работы Ридчардсона? Как можно интерпретировать эту селективную избирательность?
       Если побережье - "действительно" фрактал, то почему, этого так долго "не замечали" географы? С чем это связано?
       С одной стороны, можно сказать, что факт невнимания к аномальному поведению длины побережья - ошибка географов, которую исправила фрактальная теория.
       Но как назвать ошибку, для которой не было корректно сформулированной задачи -- не существовало образцов ответов?
       Поэтому, нам интереснее рассмотреть факт невнимания к результатам Ридчардсона не в терминах ошибки или заблуждения, а в терминах интерсубъективности восприятия предмета исследования.
       С этой точки зрения весьма интересной представляется концепция личностного знания М.Полани. Факт невнимания географов к масштабному "разбеганию" длины побережья, выразившийся, в частности, в попытках найти и обосновать "истинный", "самый верный" масштаб измерения обусловлен отсутствием "влиятельной метафизики" и соответствующей ей научной теории, и как следствие - языка описания, способов интерпретации.
       В результате этого рождается селективный отбор эмпирических фактов:
       "...в научном исследовании всегда имеются какие-то детали, который ученый не удостаивает особым вниманием в процессе верификации точной теории. Такого рода личностная избирательность является неотъемлемой чертой науки."11
       Когда внимание учного направлено на линию, происходит интенциональный акт понятийного "схватывания" линии, который, несомненно, связан с "влиятельной метафизикой" евклидианской исследовательской программы, определяющей свойства сознания ученого, характеристики познавательной среды, в которую он погружен. Личностная избирательность - результат этого "схватывания", абстрагирования понятия.
       Математические "монстры" (затем преобразившиеся в фракталы) - яркий пример личностной избирательности научного сообщества, не желающего принимать "в свою компанию" то, что "противоречит здравому смыслу".
       Ситуация становится более интересной, когда появляются дополнительные схемы объяснения, когда бывшие "монстры" теряют свои маргинальные статусы. В дополнительности кроится конфликт, вызов коммуникационной тотальности единой схемы объяснения
       Для корректного рассмотрения данной проблемы введем понятие о принципе дополнительности фрактальной геометрии, когда природный феномен, в зависимости от понятийных установок исследователя или научного сообщества, может менять свой понятийный статус.
       По аналогии с интерпретацией квантово-механических событий копенгагенской школой Бора и Гейзенберга, можно предположить, что при соотнесении природного феномена с предметами разных теорий (фрактальной геометрией и геометрией Евклида) образуются комплиментарные предложения, по крайней мере одно из которых может быть определенным, тогда как другое - неопределено.
       Будем считать, что утверждение о том, является ли природный феномен, например, евклидовой линией или фракталом, является неопределенным до тех пор, пока мы не уточним, в рамках какой теории мы его пытаемся объяснить - на языке фракталов, или на языках других геометрий. Только после такого уточнения и задания соответствующей процедуры отождествления одно из дополнительных понятий приобретает определенность.
      
      
       Пусть:
       А - высказывание "длина побережья Британии равна 2 километра",
       В - высказывание "фрактальная размерность побережья Британии равна 1.23".
       Высказывания А и В находятся в отношении, напоминающим отношение дополнительности в квантовой механике. Если измерена длина побережья, и результаты измерения выражены высказыванием А, то А - истинно или ложно. В этом случае высказывание В о том, что побережье Британии имеет фрактальную размерность принципиально неопределено - фиксированием длины мы задали линейность предмета измерения побережья предустановив ему единичную, нефрактальную размерность.
       Длину и фрактальную размерность измерить при одном и том же масштабном преобразовании нельзя. А дополнительно к В. И наоборот - В дополнительно к А. как и в квантовой механике, дополнительность в данном случае симметрична.
       Эти высказывания подпадают под определение отношения дополнительности В.С.Меськова12: "Два высказывания находятся в отношении дополнительности, если и только если: 1) они не могут быть одновременно истинными; 2) они не могут быть одновременно ложными; 3) если одно из них является истинными или ложным, то второе - неопределенным; 4) если одно из них является неопределенным, то второе может принимать любое из допустимых истинностных значений".
       Данные утверждения могут быть записаны в "трехзначной" логике Рейхенбаха:
       АÚ~А®~~ВÛВÚ~В®~~А ,
       где: Ú - обычная дизъюнкция, ® - альтернативная (по Рейхенбаху) импликация, ~ - "циклическое" (по Рейхенбаху) отрицание.
       Как известно, Г. Рейхенбах, наряду с М. Штраусом и П. Феврие был основоположником семантического подхода в логике квантовой механики, суть которого заключалась в логической экспликации дополнительности рассмотрению дополнительности как отношению между высказваниями о дополнительных величинах.
      
      
       [] Рис. 1.5.3 Ганс Рейхенбах (1891 - 1953) Немецкий философ и логик. Профессор философии физики в Берлинском университете. Преподавал в Стамбульском университете и в Калифорнийском университете США.
      
       Рейхенбах приводит следующую таблицу значений13:
       Таблица 1.5.2
      
       А
       ¾
       А
       ~А
       И
       Н
       Л
       Н
       И
       И
       Н
       Л
       И
       Таблица 1.5.3
      
      
       А
       В
       А\/ В
       А ® В
       И
       И
       И
       И
       И
       Н
       И
       Л
       И
       Л
       И
       Л
       Н
       И
       И
       И
       Н
       Н
       Н
       И
       Н
       Л
       Л
       И
       Л
       И
       И
       И
       Л
       Н
       Н
       И
       Л
       Л
       Л
       И
      
      
       Введение в предмет рассмотрения фрактальных размерностей или характеристик, связанных с гладкими моделями, зависит от наблюдателя -- специфического познавательного субъекта с "загруженными" теоретическими и социокультурными установками.
       Изучение когнитивного статуса наблюдателя -- любимая тема исследований автопоэзиса. В этом можно найти еще одно концептуальное пересечение теории автопоэзиса и фрактальной геометрии.
       Наиболее ярко зависимость от наблюдателя видна на примере введения понятия размерности. Вот, что пишут по этому поводу в уже упоминавшейся статье Ю.А.Данилов и Б.Б.Кадомцев:
       "Мандельброт обратил внимание на то, что довольно широко распространенное мнение о том, будто размерность является внутренней характеристикой тела, поверхности или кривой неверно (в действительности, размерность объекта зависит от наблюдателя, точнее от связи объекта с внешним миром).
       Суть дела нетрудно уяснить из следующего наглядного примера. Представим себе, что мы рассматриваем клубок ниток. Если расстояние, отделяющее нас от клубка, достаточно велико, то клубок мы видим как точку, лишенную какой бы то ни было внутренней структуры, т. е. геометрический объект с евклидовой (интуитивно воспринимаемой) размерностью 0. Приблизив клубок на некоторое расстояние, мы будем видеть его как плоский диск, т. е. как геометрический объект размерности 2. Приблизившись к клубку еще на несколько шагов, мы увидим его в виде шарика, но не сможем различить отдельные нити - клубок станет геометрическим объектом размерности 3. При дальнейшем приближении к клубку мы увидим, что он состоит из нитей, т. е. евклидова размерность клубка станет равной 1. Наконец, если бы разрешающая способность наших глаз позволяла нам различать отдельные атомы, то, проникнув внутрь нити, мы увидели бы отдельные точки - клубок рассыпался бы на атомы, стал геометрическим объектом размерности 0."
       Возьмем на заметку тот факт, что говоря о зависимости размерности от наблюдателя, авторы подчеркивают прагматику введения размерности, которая носит комплиментарный характер:
       "Но если размерность зависит от конкретных условий, то ее можно выбирать по-разному. Математики накопили довольно большой запас различных определений размерности. Наиболее рациональный выбор определения размерности зависит от того, для чего мы хотим использовать это определение. (Ситуация с выбором размерности вполне аналогична ситуации с вопросом: "Сколько пальцев у меня на руках: 3 + 7 или 2 + 8?" До тех пор, пока мы не вздумали надеть перчатки, любой ответ можно считать одинаково правильным. Но стоит лишь натянуть перчатки, как ответ на вопрос становится однозначным: "5 + 5".)
       Подчеркнем, что размерность сильно зависит от того как ее измерять. Это означает, что кроме формул для подсчета размерности необходимо точно задать и некий операциональный набор способа измерения размерности.
       В одном из первых в отечественной литературе обзоров по фракталам14 (или фракталям - если сохранять род слова Fractal при переводе), Я.Б. Зельдович и Д.Д. Соколов приводят такой пример. Положение точки области плоскости, ограниченной квадратом можно задать двумя измерениями, и тогда ее размерность будет равна двум, а можно исхитриться, и представить себе эту область в виде ломаной с очень сильно прижатыми друг к другу звеньями, сложенными наподобие столярного метра. Тогда, для задания положения точки хватит и одного измерения, и размерность будет равна единице.
       "Монстр" - кривая Пеано (1.3.10) напоминает подобный столярный метр -- при уменьшении длины ее звеньев, она начинает заполнять всю плоскость.
       Точно таким же свойством обладает траектория броуновской частицы -- чем больше время наблюдения, тем плотнее частица заполняет плоскость. Размерность определяет степень сложности траектории частицы в фазовом пространстве, степень негладкости этой траектории.
       []
       Рис. 1.5.4 Фрактальная траектория броуновской частицы. Рисунок из книги: Mandelbrot B. The Fractal Geometry of Nature. Freeman, San-Francisco.1977
      
      
       Именно изломанность, пилообразность, негладкость "монстров" вызвала ассоциации при создании термина "фрактал" у Мандельброта15:
      
       "В латинском языке есть поговорка: "назвать (именовать) значит узнать": Nomen est numen. До тех пор, пока я не принялся за своё изучение, упоминаемые в предыдущих разделах множества не нуждались в убедительном термине для их обозначения. Однако, когда классические монстры начали включаться в мои труды, и начали возникать многочисленные новые "монстры", потребность в термине стала чрезвычайно необходимой. Это стало особенно острым, когда нужно было дать имя первому предшественнику этого эссе."
       Термин "фрактал" закрепил и развил новый познавательный статус "монстров". С появлением имени у "монстров" появилось лицо, они перешли из области негативных примеров в область позитивных определений.
      
       1.6 Парадоксы как фракталы. Фрактальная логика: обратная связь как модель "монстров" и парадоксов.
      
      
       Мандельброт проанализировал "монстров" с точки зрения представлений фрактальной геометрии, показав общность между монстрами, природными объектами и множествами Жюлиа и Мандельброта.
       Так же как и эти объекты, "монстры" обладают фрактальной размерностью и демонстрируют самоподобие.
       Наиболее ярко понятие самоподобия иллюстрируется с помощью рассмотренной нами ранее фигуры Коха. Действительно, при увеличении ее фрагмента с помощью геометрического преобразования подобия можно получить фигуру тождественную той, чей фрагмент мы увеличивали.
       Так же, как и для береговой линии, для кривой Коха или треугольника Серпинского можно вводить разного рода размерности.
       В частности, "степень убегания" (1-D) длины (L) фигуры Коха в зависимости от единичной длины звена (d) оценивается по следующей формуле:
       L (d) µ d1-D,
       где D = ln4/ln3 " 1.2628... - предложенная Мандельбротом степенная характеристика "убегания длины" или фрактальная размерность (по определению) триадной кривой Коха - мера изрезанности этой кривой".
       Итак, Мандельброт превратил "монстров" из "пугал", за которыми надо было охотиться с целями исключения из "нормальных" геометрических рассуждений в концептуально оформленные геометрией предметы измерения и построения.
       Этот же мыслительный ход можно осуществить и по отношению к парадоксам.
       Действуя по аналогии, можно предположить, что парадоксы есть частные случаи логических фракталов, которыми должна оперировать фрактальная логика.
       Мы сознательно не будем жестко определять термины "логический фрактал" и "фрактальная логика", постепенно вводя представления о частных случаях логических фракталов и соответствующих логик. Пока ограничимся представлением о том, что фрактальная логика -- это набор понятий и представлений, основанных на принципах фрактальной геометрии, применяемых к логическим объектам с бесконечным количеством значений.
       Фрактальная геометрия оперирует парадоксальными геометрическими предметами, результаты измерения которых (длина, площадь, объем) устремляются к бесконечности. В качестве начальной (а потому неточной) метафоры можно сказать, что фрактальная логика оперирует парадоксальными логическими объектами, число логических значений которых также стремится к бесконечности.
       Фрактальная логика превращает бесконечный парадокс из "монстра" и "пугала" в концептуальный предмет формального, инструментального и социокультурного рассмотрения.
       Для того, чтобы сделать термины "логический фрактал" и "фрактальная логика" не только метафорами, но и понятиями оформленной и формализованной логической концепции, рассмотрим понятие обратной связи. Интерпретация построения "монстров" -- фракталов через обратную связь содержится в книге Пайтгена, Юргенса и Заупе "Хаос и фракталы: новые горизонты науки"16.
       Российский математик Александр Зенкин17 интерпретировал парадокс лжеца как процесс с обратной связью.
       В свое время Алан Тьюринг предложил свой знаменитый мысленный эксперимент -- машину Тьюринга, и выдвинул тезис о том, что любая вычислимая (частично рекурсивная -- имеющая завершение) функция может быть запрограммирована (вычислена с помощью конечного алгоритма) на машине Тьюринга. Интеллект человека, по мнению Тьюринга, устроен похожим образом, поэтому машина в принципе может мыслить.
       Машину Тьюринга можно интерпретировать в терминах отрицательной обратной связи -- вычислительные процедуры за конечное число шагов сходятся к нужному значению функции.
       []
       Рис. 1.6.1 Алан Матисон Тьюринг (1912-1954)
       Автор оригинальных трудов по математической логике, вычислительной математике, искусственному интеллекту. В годы второй мировой войны, будучи в Англии, успешно работал над дешифровкой сообщений нацистского командования.
      
      
       Для систематизации и сравнения процедур генерации "монстров" и парадоксов, мы рассмотрим нечто подобное: мысленный эксперимент - машину логической обратной связи, схема которой представлена ниже.
      
      
       блок
       управления []
      
       []
      
       [] [] входной блок блок обработки выходной блок [] []
      
      
      
       линия обратной связи []
       Рис 1.6.2 Машина обратной связи.
      
       Машина состоит из трех блоков памяти: входного блока (ВХБ), выходного блока (ВБ), блока управления (БУ) и одного процессорного блока обработки (БО), связанных между собой связями. Блок управления нужен для "запуска" машины.
       Общая схема работы состоит из двух циклов -- цикла запуска машины и рабочего цикла:
       Цикл запуска:
  •    Ввод информации в блок управления
  •    Ввод информации во входной блок
  •    Пересылка информации из блока управления в блок обработки
       Рабочий цикл:
  •    Пересылка информации из входного блока и ввод ее в блок обработки
  •    Работа блока обработки
  •    Пересылка информации из блока обработки в выходной блок
  •    Пересылка информации из выходного блока во входной блок.
       В качестве примера работы логической машины с обратной связью, приведем рассмотренный выше пример генерации кривой Коха:
  • Цикл запуска -- в блок управления вводится "затравка" -- единичный отрезок. Это нулевая итерация нашей фигуры -- i=0.
  •    Запускается рабочий цикл: затравка преобразуется в блоке обработки в первое поколение фигуры - отрезок делится на три равные части, средняя часть отбрасывается, а на ее месте строится ломаная, являющаяся фрагментом равностороннего треугольника со стороной, равной, одной третьей длины отрезка. Это первая итерация нашей фигуры -- i=1.
  •    Полученное первое поколение "отправляется" на выходной блок,
  •    Обратная связь переносит первое поколение на вход.
       После этого по тому же алгоритму, примененному для отдельному отрезку звеньев ломаной, первое поколение преобразуется во второе поколение в рабочем блоке: i=2.
       Получающийся "монстр" -- результат бесконечного числа циклов работы машины при i®¥.
       В устремлении процедуры на бесконечность состоит главное отличие нашей машины от машины Тьюринга. Построение фракталов всегда осуществляется не на конечном, а на бесконечном числе итераций.
       Теперь интерпретируем с помощью обратной связи парадокс лжеца.
       Рассмотрим высказывание А, соответствующее суждению "Я лгу".
       Пусть оно будет истинным. С точки зрения обратной связи это означает, что на нулевой итерации при i=0, значение А равно И.
       Далее, нам надо интерпретировать парадоксальное умозаключение "Значение А истинно, значит, А ложно" как обратную связь -- процедуру, присваивающую новое значение высказыванию А при изменении счетчика итераций.
       Обратная связь меняет значение А при i=1 на Л. Таким же образом, при i=2 значение А равно И, при i=3, опять Л -- и так далее.
       Таким образом, цикл запуска будет следующим:
       Ввод информации в блок управления -- установление i=0,.
       Ввод информации во входной блок - значение А есть И
       Пересылка информации из блока управления в блок обработки
       Рабочий цикл:
       Пересылка информации из входного блока и ввод ее в блок обработки
       Работа блока обработки -- смена значения А на противоположное (с И на Л или с Л на И), увеличение значения счетчика итераций на единицу,
       Пересылка информации из блока обработки в выходной блок.
       Пересылка информации из выходного блока во входной блок.
       Построим таблицу истинности высказывания А в зависимости от итераций - различных i:
      
      
      
      
      
       i = 0
       i = 1
       i = 2
       i = 3
       i = 4
       I = 5
       i = 6
       i = 7
       i = 8
       ...
       И
       Л
       И
       Л
       И
       Л
       И
       Л
       И
       ...
       Таблица 1.6.1 Таблица истинности парадокса лжеца
       Парадокс -- это результат бесконечного изменения логического значения машиной обратной связи.
       Таким образом, математический "монстр" и логический парадокс лжеца могут быть представлены как результат бесконечного числа итераций машины обратной связи.
       На основании этой общности мы будем постепенно вводить представление о логических фракталах.
      
      
      
      
      
      
       1.7 Парадокс лжеца: логический формализм через понятие обратной связи
      
      
       Предположим, что значение высказывания "Я лгу" зависит от итерации i. Назовем это высказывание переменным высказыванием.
       Назовем начальным условием значение переменного высказывания при i=0.
       Если высказывание имеет только одно значение, то такое высказывание мы будем называть постоянным.
       Рассмотрим феноменологию парадокса лжеца -- то есть, не будем интерпретировать то, как обратная связь преобразует высказывание, а лишь зафиксируем, что на выходе из обратной связи появляется высказывание с противоположным логическим значением. Это может зафиксировать операция отрицания.
      
      
      
      
       Введем следующие обозначения:
       ai -- обозначение высказывания "Я лгу" на i-той итерации. Его значение может быть И или Л. Ясно, что переменное высказывание может быть представлено как ряд постоянных высказываний классической логики высказываний.
       = -- обозначение операции ввода начальных данных -- присвоения значения высказыванию при i=0. Запись a0=И означает, то, что мы задаем на нулевой итерации значение И. Это интерпретация нашего предположения о том, что высказывание "Я лгу" истинно.
       : - обозначение обратной связи, переводящей значение высказывания с i итерации на i+1 итерацию бесконечное число раз. Слева будем записывать обозначение значение на i+1итерации, справа -- на i итерации, в результате которой формируется значение на i+1 итерации.
       ~ - обозначение операции отрицания, преобразующей значение обратной связи на противоположное -- Л преобразуется в И, И преобразуется в Л.
      
      
       Тогда обратную связь парадокса лжеца можно формализовать следующим образом:
      
      
       a0=И, ai+1: ~ ai
      
      
       В результате действия обратной связи образуется переменное высказывание или ряд постоянных высказываний:
      
      
       а0 a1 a2 a3 a4... (1.7.1)
      
      
       Далее, пользуясь рядом (1.7.1) последовательно запишем значения переменного высказывания, рассчитанные по этому формализму. Таблица истинности из прошлого раздела будет представима в виде ряда значений переменного высказывания или ряда значений атомарных высказываний:
       ИЛИЛИЛИЛИЛИЛИЛИЛ... (1.7.2)
       Таким образом, в этой интерпретации логическое значение парадокса лжеца -- бесконечное чередование значений, генерируемых обратной связью.
       Заметим, что указанное представление можно распространить и на теоретико-множественные парадоксы. Суждение "Множество всех множеств, не содержащих себя в качестве элемента, принадлежит самому себе" может быть представлено как бесконечная последовательность значений такого рода высказываний.
       Структура парадокса в нашей интерпретации -- бесконечная последовательность чередующихся логических значений.
       Глава 2 Логические ряды и логические фракталы
      
      
       2.1 Определение логического ряда. Виды рядов.
      
      
       Введем точное представление о логическом ряде.
       Логический ряд -- одномерная упорядоченная последовательность логических значений k-значной логики, пронумерованных от 0 до бесконечности.
       Ряды бывают сходящиеся, в этом случае значение ряда постоянно при i®¥, периодические -- значение устойчиво повторяется, и апериодические -- значения, появляющиеся в произвольном порядке.
      
       Аттрактор логического ряда -- устойчивая на бесконечность структура значений логического ряда. Может быть: неизменное значение (аттрактор первого рода -- унарный кортеж18), комбинация значений (аттрактор второго рода -- бинарный кортеж, n-ka), апериодичность (аттрактор третьего рода).
       Пусть мы задали для данной k-значной логики конечное множество аттракторов. Назовем их детерминированными аттракторами.
       Законом будем называть ряд, для которого доказано наличие аттрактора из множества детерминированных аттракторов. Пример закона классической логики дан в разделе 2.3.
       Значение высказывания, в случае двухзначной логики, может быть И или Л. В общем случае может быть любое конечное число вариантов значений. В качестве примера логического ряда двузначной логики можно привести ряд, представленный в таблице 1.5.1. Каждый член этого ряда упорядочивается номером. Номер значения фиксируется итерацией логического ряда i. Итерация i меняется от 0 до бесконечности.
       Назовем классическим рядом ряд составленный из высказываний классической логики высказываний двухзначной логики.
       Назовем рейхенбаховским рядом ряд с тремя возможными значениями -- И, Л, Н и составленный из высказываний рейхенбаховской логики высказываний, описанной выше.
       Назовем начальным условием значение логического ряда при i=0.
       Обозначим специальными терминами частные случаи логических рядов:
       Вырожденный ряд -- логический ряд, с одинаковыми значениями.
       Например:
      
      
       ИИИИИИИИИИ.... (2.1.1)
      
      
       Соответственно, в частных случаях, И - вырожденный ряд (ИВ) -- ряд с истинными значениями, Л-вырожденный ряд (ЛВ) -- ряд с ложными значениями. Вырожденный ряд -- пример ряда с аттрактором первого рода.
       Вырожденный ряд -- пример закона на множестве детерминированных аттракторов с одним элементом -- И.
       Ряд лжеца -- классический логический ряд с регулярно чередующимися друг за другом значениями истинности и ложности. В зависимости от начальных условий, существует два ряда лжеца:
       ИЛИЛИЛИЛИЛ... (2.1.2)
       ЛИЛИЛИЛИЛИ... (2.1.3)
       Мы будем различать И-ряд лжеца (ИРЛ) -- ряд при начальном условии И -- случай (2.1.2), и Л-ряд лжеца (ЛРЛ) -- ряд при начальном условии Л -- (2.1.3).
       В нашей терминологии ряд лжеца имеет аттрактор второго рода.
      
      
       2.2 Процедуры генерации логических рядов с помощью обратных связей. Прямая и обратная задача генерации логического ряда.
      
      
       Уточним и формализуем данные в разделе 1.7 определения.
       Постоянное атомарное высказывание - символы a, b, c...
       Значения постоянных высказываний в случае классической логики высказываний - И или Л. В общем случае высказывание может иметь k значений. Значения постоянных высказываний не меняются при изменении итерации.
       Переменное атомарное высказывание - символы ai, bi, ci ...
       Сложное высказывание - высказывание, составленное из атомарных высказываний, тех или иных логических символов (например - ®, Ø, \/, &, º, в классической логике) и технических знаков (скобки, запятые) по правилам определеной логики высказываний (например - классической или рейхенбаховской).
       Обратная связь - формула, описывающая способ присвоения нового значения высказыванию ai+1, при известных старых значениях ai по правилам определенной логики высказываний.
       Записывается с помощью символа двоеточия ":". Формула содержит левую и правую часть. Слева от двоеточия записывается переменное атомарное высказывание, справа - сложное высказывание, значение которого будет присвоено переменному атомарному высказыванию в следующей итерации.
       Пример.
       Запись "ai+1: ai&b" означает: присвоить переменному атомарному высказыванию ai+1 значение сложного высказывания ai&b.
       Система обратных связей - несколько обратных связей, меняющих свои значения одновременно на одной итерации. Система записывается путем записи в строчку всех обратных связей через точку с запятой.
       Пример записи системы обратных связей:
       ai+1: ai&b i; bi+1: ai&b i&c
       Вероятность перехода -- числовое значение от 0 до 1 изменения значения переменного атомарного высказывания на новое. Вероятность определяется с помощью генератора случайных чисел с равномерным распределением вероятности.
       Пример.
       Запись "0.8ai+1: ai&b" означает: присвоить переменному атомарному высказыванию bi+1 значение сложного высказывания ai&b с вероятностью 0.8. Ясно, что с вероятностью 0.2 обратная связь сохранит свое старое значение.
       Если в обратной связи вероятность не указана, то она по умолчанию, равна 1.
       Бифуркация -- расщепление возможных значений атомарных высказываний с некоторой вероятностью.
       Пример:
       0.8ai+1: ai&b; 0.2ai+1: ai&c
      
       Это означает следующее: в обратной связи высказывание ai+1 принимает значение ai&b с вероятностью 0.8, а значение ai&c с вероятностью 0.2.
       Начальные условия - значения переменных атомарных высказываний при i=0. Запись a0 = И означает: "Присвоить начальному условию высказывания ai значение И.
       Мир (множество) начальных условий -- совокупность всех комбинаций значений начальных условий.
       Возможность - значения переменных атомарных высказываний при i¹0.
       Мир (множество) возможностей - совокупность всех комбинаций значений возможностей в обратной связи или системе обратных связей.
       Граничные условия - значения постоянных атомарных высказываний в формуле.
       Мир (множество) начальных и граничных условий - совокупность всех комбинаций значений начальных условий и значений граничных условий.
       Прямая задача генерации логического ряда -- построить логический ряд при заданных обратных связях, граничных и начальных условиях, проанализировать все аттракторы рядов в мире начальных и граничных условий.
       Обратная задача генерации логического ряда -- по логическому ряду реконструировать тип логики и систему обратных связей, которая сгенерировала этот ряд истинности.
      
      
       Пример решения прямой задачи генерации.
      
      
       Дана система высказываний, построенная с помощью классической логики высказываний:
       ai+1: (ai&bi) ®c; bi+1: Ø(c\/ai) ®bi
       Граничные условия: c есть Л.
       Исследуем поведение системы при разных начальных условиях.
       Рассмотрим мир начальных условий с фиксированными граничными условиями, и мир возможностей, обозначив одинаковыми цифрами одинаковые возможности и комбинации начальных условий:
      
      
      
      
       Таблица 2.2.1 Исследование логического ряда
       в мире начальных условий
      
      
      
       Вариант начальных условий
       A0
       b0
       c
       a1
       b1
       Возможность по варианту н.у. при i=1
       1
       И
       И
       Л
       Л
       И
       3
       2
       И
       Л
       Л
       И
       И
       1
       3
       Л
       И
       Л
       И
       И
       1
       4
       Л
       Л
       Л
       И
       Л
       2
      
      
       Видно, что мир возможностей уже при первой итерации беднее мира начальных условий -- в нем нет варианта 4.
      
      
       Исследуем каждую комбинацию начальных условий.
       Пусть a0 есть И, b0 есть И (комбинация 1), тогда по таблице, a1 есть Л, b1 есть И и реализуется вариант 3 (такой же как a0 есть Л, b0 есть И), который опять переходит в вариант 1. Обозначим знаком ">" переход от одной возможности к другой. Схема переходов: 1>3>1>3>...
       Ряд для ai есть ИРЛ. Значение bi будет истинным всегда.
       Для начальных условий по набору 2 переходы будут: 2>1>3>1... Аналогично и для 3: 3>1>3>1...
       Для начальных условий при варианте 4: 4>2>1>3>1...
       Вывод: при всех значениях начальных условий в случае граничных условий с есть Л, наша система приходит к предельному циклу, при котором bi есть И, а аi колеблет свое значение.
      
      
      
      
      
      
       Теорема 1 прямой задачи генерации.
      
      
       Рассмотрим систему из n переменных высказываний k-значной логики, с вероятностью перехода 1. Такая система может иметь только два аттрактора -- аттрактор первого рода или аттрактор второго рода с максимально возможным периодом длиной в kn значений.
      
      
       Доказательство. Выпишем все возможные варианты переходов из мира начальных условий в возможности, используя обозначения предыдущего примера. Их всего kn. Запишем их в kn строчки:
       1>1, 1>2, 1>3, ..., 1> kn ,
       2>1, 2>2, 2>3, ..., 2 > kn ,
      
       3>1, 3>2, 3>3, ..., 3> kn,
       ...
       kn >1, kn >2, kn >3, ..., kn > kn .
      
      
       Наличие какой-либо системы высказываний означает, что в мире возможностей одновременно не может быть двух разных переходов - из всех комбинаций переходов одновременно может реализоваться только по одной комбинации высказываний из каждой строчки.
       Действительно, любое высказывание ai не может при одном и том же i иметь одновременно два значения.
       Например, если у нас -- в результате системы высказываний реализовался переход 1>1, то в этой системе высказываний переход из возможности 1 в возможность 2 невозможен.
       Пусть Х -- какое либо начальное условие из мира начальных условий (1, 2, 3..., kn), переходящее в возможность.
       Назовем возможность новой, если она еще не реализовывалась в переходе, и старой, если она уже где-то встречалась.
       При i=0 есть kn-- 1 новых возможностей, при i=1 есть kn-2 и т.д. Цикл образуется тогда, когда у нас встречается на i-q итерации старая возможность -- повтор возможности. Если возможности на i и i+1 итерациях одинаковы, то образуется на цикл, а фиксированное значение. Таким образом, получается аттрактор ряда истинности первого рода.
       С каждой новой итерацией количество новых возможностей уменьшается. Допустим, что у нас не встречаются старые возможности -- циклы и фиксированные значения не образуются. Но тогда на на i+1 итерации число новых возможностей станет равным нулю, и мы неизбежно перейдем к старой возможности, которая образует цикл.
       Таким образом, самый длинный цикл будет длину kn.
       Теорема доказана.
      
      
      
      
       2.3 Операции с логическими рядами
      
      
       Рассмотрим множество всех логических рядов, обозначив отдельный ряд буквами А, В, С...
       Назовем операцией над логическим рядом правило образования нового логического ряда, через преобразование каждого значения старого логического ряда.
       Операции могут быть унарными -- над одним рядом и бинарные -- с двумя рядами.
      
      
       Рассмотрим множество классических рядов и зададим на нем логику классических рядов (ЛКР) в виде набора унарных и бинарных операций.
       Зададим бинарные операции по аналогии с классической логикой высказываний -- конъюнкцию &, дизъюнкцию \/, импликацию ®, тождество º.
       Например, А&B означает, что результатом этой операции является логический ряд, образованный конъюнкцией логических значений рядов А и В с одинаковыми номерами итераций. То есть, начальным условием этого ряда будет конъюнкция начальных условий А и В, значением при i=1 будет конъюнкция значений А и В при i=1 - и так далее до бесконечности.
       Зададим три унарные операции -- отрицание, обозначаемое знаком Ø, левый сдвиг на n значений -- ln, правый сдвиг на n значений -- rn.
       Левый сдвиг на n значений -- ln, операция, в результате которой получается новый ряд, образованный сдвигом всех значений старого ряда на n значений влево.
       То есть i-тое значение преобразуется в i-1 значение. Если значение i-n определить невозможно (i-n -- отрицательное число), то оно отбрасывается, и ряд пишется с i-n значения.
       Правый сдвиг на n значений -- rn, операция, в результате которой получается новый ряд, образованный сдвигом всех значений старого ряда на n значений влево.
       То есть i-тое значение преобразуется в i-1 значение.
       Законом ЛКР будем называть ряд с аттрактором первого рода -- И.
       То есть, множество детерминированных аттракторов ЛКР состоит из одного аттрактора -- значения И.
       Частным случаем закона является получившийся в результате некоторой операции И-вырожденный ряд (ИВ).
      
      
       Формализм ЛКР:
       А, В, С... -- классические логические ряды, ИВ, ЛВ, ЛРЛ, ИРЛ -- их частные случаи.
       Операции: &, \/, ®, º, Ø, ln, rn, где n меняется от 0 до бесконечности.
       Технические символы: ), (,
       Если А, В -- классические логические ряды, то А&В, А\/В, А®В, АºВ, ØА, lnА, rnА - тоже классические логические ряды, где n константа -- целое число, которое может меняться от 1 до бесконечности.
      
      
       Теорема 1 ЛКР:
       Законы классической логики высказываний имеют аналоги (так же записанные ряды и операции) в ЛКР.
      
      
       Доказательство следует из того, что все высказывания ЛКР, составляющие ряды - ai "подчиняются" законам классической логики -- по определению ЛКР.
      
      
       Вот некоторые аналоги законов.
       АºА -- закон тождества,
       ØØА º А -- двойного отрицания.
       В ЛКР есть специфические законы. Например:
       ØЛВ -- закон отрицания Л-вырожденного ряда,
       ЛРЛ\/ИРЛ -- закон "аннигиляции" двух разных рядов лжеца.
       А\/ИВ -- закон дизъюнкции с истинно-вырожденным рядом.
       Ø(A&ЛВ) -- закон отрицания конъюнкции ЛВ ряда,
       l1ЛРЛºИРЛ -- закон сдвига ряда лжеца,
       или в общем случае: lnЛРЛºИРЛ где n -- нечетное число.
       Введем обозначения для различных логик. Модификации ЛКР, связанные с изменением числа операций будем обозначать ЛКР1, ЛКР2 и так далее.
       Логику рейхенбаховских рядов зададим по аналогии с операциями, введенными на высказываниях с тремя значениями Рейхенбахом и обозначить ее модификации соответственно ЛРР1, ЛРР2 и так далее.
       Логики, состоящие из k значений, где k -- целое число от 4 до бесконечности обозначим как ЛkР1, ЛkP2 и так далее.
       Например, для четырехзначных логических рядов можно задать логики Л4Р1, Л4Р2, Л4Р3 и так далее.
      
      
      
      
       2.4 Кортежи, масштабы и инварианты логических рядов. Самоподобие. Определение регулярного логического фрактала.
      
      
       Введем следующие понятия:
       Кортеж -- конечная последовательность, упорядоченный набор компонентов -- элементов кортежа.
       Логический кортеж -- кортеж, составленный из логических значений, принятых в данной k-значной логике.
       Далее, употребляя термин "кортеж" мы будем иметь ввиду логический кортеж.
       Длина кортежа -- число компонентов кортежа.
       Кортежи бывают:
       Унарные -- состоящие из одного значения -- с единичной длиной,
       Бинарные -- состоящие из двух значений,
       n-ки (тройки, четверки и так далее) -- состоящие из трех, четырех и более значений.
       Рассмотрим примеры кортежей в ЛКР:
       Унарные -- <И>, <Л>
       Бинарные -- <ИИ>, <ИЛ>, <ЛИ>, <ЛЛ>
       Тройки -- <ИИИ>, <ЛИИ>, <ЛЛИ>, <ЛЛЛ>, <ИЛЛ>, <ИИЛ>, <ИЛИ>, <ЛИЛ>.
       Так как число кортежей при фиксированной длине кортежа конечно, то каждый логический ряд можно представить как бесконечную последовательность кортежей.
       Рассмотрим в качестве примера ИРЛ, отделяя кортежи пробелом:
       ИРЛ как последовательность унарных кортежей: И Л И Л И Л И Л ...
       ИРЛ как последовательность бинарных кортежей: ИЛ ИЛ ИЛ ИЛ ИЛ ...
       ИРЛ как последовательность троек: ИЛИ ЛИЛ ИЛИ ЛИЛ ИЛИ ЛИЛ ...
       ИРЛ как последовательность четверок: ИЛИЛ ИЛИЛ ИЛИЛ ИЛИЛ...
       ИРЛ как последовательность пятерок: ИЛИЛИ ЛИЛИЛ ИЛИЛИ ЛИЛИЛ ИЛИЛИ ...
       Введем понятие масштаба и инварианта.
       Масштаб с разрешением n (n-й масштаб) -- бесконечный буквенный ряд, получающийся при последовательном обозначении составляющих ряд разных кортежей, длиной n разными буквами.
       При этом, для обозначения кортежей надо придерживаться следующего правила: начинать обозначение надо каждый раз с одной и той же буквы греческого алфавита при рассмотрении ряда на новом количестве значений в кортеже, а новый кортеж, встречающийся на исследуемом масштабе, обозначать следующей буквой алфавита.
       Для ИРЛ масштаб с разрешением 1 будет следующим:
       a b a b a b a b ...
       масштаб ИРЛ с разрешением 2:
       a a a a a...
      
       масштаб ИРЛ с разрешением 3:
       a b a b a b a b ...
       масштаб ИРЛ с разрешением 4:
       a a a a a a a ...
       масштаб ИРЛ с разрешением 5:
       a b a b a b a b ...
       Видна интересная закономерность -- четные масштабы тождественны между собой и нечетные масштабы тоже тождественны между собой.
       Для описания масштабных характеристик рядов введем следующие определения:
       Самоподобным рядом или инвариантом (инвариантным относительно определенных масштабов) будем называть ряд, у которого есть минимум два тождественных масштаба.
       Универсальным инвариантом (универсально инвариантным) будем называть такой ряд, все масштабы которого тождественны.
       ИРЛ не является универсально инвариантным, так как он имеет не тождественные масштабы.
       ИРЛ является самоподобным или инвариантным относительно четных масштабов -- четные масштабы имеют одинаковую структуру и ИРЛ является инвариантным относительно нечетных масштабов -- нечетные масштабы тоже имеют одинаковую структуру. Примерами универсально инвариантного ряда являются ИВ и ЛВ.
       Тривиально инвариантным на выделенных масштабах рядом будем называть с тождественными обозначениями кортежей на описанных нами масштабах. ИРЛ на четных масштабах, а так же ИВ и ЛВ на всех масштабах являются тривиально инвариантными и самоподобными рядами.
       Регулярным логическим фракталом будем называть самоподобный ряд, у которого есть хотя бы два масштаба, внутри которых обозначения кортежей не тождественны. Или, другими словами, регулярный логический фрактал это самоподобный ряд, минимум два масштаба которого не являются тривиально инвариантными.
       ИВ и ЛВ не являются логическими фракталами, а ИРЛ и ЛРЛ являются регулярными логическими фракталами.
      
      
       2.5 Формализм масштабного преобразования. Преобразованный логический фрактал.
      
      
       n-мерное масштабное преобразование -- унарная операция - преобразование данного логического ряда (затравки) в новый логический ряд путем последовательной замены кортежей длиной n затравки на новые кортежи.
       Масштабное преобразование должно быть задано на всем наборе возможных значений кортежей длиной n для данной k-значной логики. Полученный новый логический ряд так же может подвергаться масштабному преобразованию либо конечное число раз, либо до бесконечности.
       Заметим, что масштабное преобразование можно интерпретировать в терминах обратной связи, рассмотренной в 1.4 -- преобразование последовательно применяется к уже преобразованному этим преобразованием логическому ряду. Ясно, что эта обратная связь отличается от обратной связи -- генератора логического ряда через итерации начальных условий.
       Обозначим две задачи масштабного преобразования. Прямая задача масштабного преобразования -- по заданной затравке и масштабному преобразованию описать результат преобразований через заданное конечное число преобразований или бесконечное число преобразований.
       Обратная задача масштабного преобразования -- по заданному ряду реконструировать множество затравок и соответствующие им масштабные преобразования.
       Будем обозначать преобразование кортеж затравки в кортеж нового ряда знаком решетки -- "#". Назовем это преобразование на отдельном кортеже решеткой. Количество решеток R в преобразовании рассчитывается по формуле: R=kn, где k -- количество значений в логике (для ЛКР это 2, для ЛРР это 3 и т.п.), n -- длина кортежа.
       Пример масштабного преобразования затравки иллюстрирован рисунком 2.5.1.
       []
       Рисунок 2.5.1 Схема масштабного преобразования затравки.
      
      
      
       Масштабное преобразование чем-то напоминает сокращения в языке. Хофштадтер19 (в блестящем переводе Марины Эскиной) рассмотрел следующее суждение: "БОГ, одолевающий гения", где слово "БОГ" -- сокращение слов "БОГ", "Одолевающий", "Гения". При последовательной расшифровке сокращений получаем бесконечно разворачивающуюся последовательность суждений, в которых слово "БОГ" оказывается бесконечным сокращением самого себя. Интересно, что в этом случае обозначает слово БОГ?
      
      
       Рассмотрим одномерное масштабное преобразование кортежей затравки в ЛКР. Набор значений унарных кортежей: И, Л. Поэтому для осуществления преобразования необходимы две решетки. В качестве примера можно взять следующий вариант преобразования:
      
      
       И#ИЛ, Л#ЛЛ (2.4.1)
      
      
       Это одномерное масштабное преобразование -- преобразование унарных кортежей в бинарные кортежи.
      
      
       Возможны и другие преобразования. Например:
       И#ИЛЛЛЛИИ, Л#ЛИ (2.4.2)
      
      
       Рассмотрим двухмерное масштабное преобразование. Весь набор бинарных кортежей следующий: <ИИ>, <ИЛ>, <ЛИ>, <ЛЛ>. Для осуществления преобразования необходимы четыре решетки. В качестве примера можно взять следующий вариант преобразования:
      
      
       ИИ#Л, ИЛ#ЛЛЛИИИ, ЛИ#ИИ, ЛЛ#ИИИИИИИИИИЛ (2.4.3)
      
      
       Вот еще один вариант:
       ИИ#Л, ИЛ#Л ЛИ#И, ЛЛ#И (2.4.4)
      
      
       Это -- двухмерное масштабное преобразование -- преобразование бинарных кортежей унарными кортежами.
       Рассмотрим отдельную решетку в n-мерном масштабном преобразовании. Пусть минимальное количество значений в преобразовании справа от всех решеток -- f, максимальное -- s.
       Если во всех решетках преобразования n<f, то такое преобразование мы будем называть расширение n-ок кортежей. Если во всех решетках преобразования n>s, то такое преобразование будем называть сжатие n-ок кортежей.
      
      
       Масштабные преобразования (2.4.1) и (2.4.2) являются расширениями унарных кортежей. Масштабное преобразование (2.4.4) -- сжатием бинарных кортежей. Масштабное преобразование (2.4.3) -- не является расширением или сжатием.
      
      
       Пример 2.4.1.
       Возьмем ИРЛ в качестве затравки, и зададим для нее расширение унарных кортежей: И#ИЛИ, Л#ИИЛ.
      
      
       Выпишем получившиеся ряды, последовательно их нумеруя:
       Затравка: И Л И Л ...
       1: ИЛИ ИИЛ ИЛИ ИИЛ ...
       2: ИЛИ ИИЛ ИЛИ ИЛИ ИЛИ ИИЛ ИЛИ ИИЛ ИЛИ ИЛИ ИЛИ ИИЛ ...
       3: ИЛИ ИИЛ ИЛИ ИЛИ ИЛИ ИИЛ ИЛИ ИИЛ ИЛИ ИЛИ ИИЛ ИЛИ ИЛИ ИИЛ ИЛИ ИЛИ ИЛИ ИИЛ...
      
      
      
      
       Пример 2.4.2
      
      
       Зададим для ряда 3 из предыдущего примера сжатие бинарных кортежей:
       ИИ#Л, ИЛ#И, ЛИ#И, ЛЛ#И.
      
      
       Выпишем получившиеся логические ряды:
       Затравка: ИЛ ИИ ИЛ ИЛ ИИ ЛИ ИЛ ИИ ИЛ ИЛ ИИ ИЛ ИЛ ИИ ЛИ ИИ ЛИ ЛИ ИЛ ИИ ИЛ ИЛ ИИ ЛИ ИЛ ...
       1: ИЛ ИИ ЛИ ИЛ ИИ ЛИ ИЛ ИЛ ИИ ИЛ ИИ ЛИ...
       2: ИЛ ИИ ЛИ ЛЛ ЛИ ЛИ...
       3. ИЛ ИИ ИИ...
      
      
       Введем обозначение n-мерных масштабных преобразований по следующему принципу: [], где s -- порядковый номер масштабного преобразования. Ясно, что для любой n количество масштабных преобразований бесконечно.
      
      
       Преобразованным логическим фракталом мы будем называть ряд, полученный в результате масштабного преобразования кортежей затравки неединичными кортежами, содержащими разные логические значения. Масштабное преобразование может осуществляться конечное или бесконечное число раз.
      
      
       Соответственно если такой ряд является результатом бесконечного числа преобразований, то это бесконечно преобразованный логический фрактал. Если ряд является результатом s преобразований кортежей затравки, то это s-преобразованный логический фрактал.
      
      
       Ясно, что если преобразование будут содержаться одинаковые логические значения, то в результате мы получим ЛВР или ИВР.
      
      
       Теорема масштабного преобразования.
       Если в n-мерном преобразовании справа от решеток стоят кортежи с одинаковой длиной не равной n и нетождественными логическими значениями внутри кортежа, то получившийся в результате хотя бы одного такого преобразования ряд является регулярным логическим фракталом.
      
      
       Доказательство.
       Пусть справа от решеток в преобразовании стоит q кортежей. Рассмотрим затравку -- ряд А и результат преобразования -- ряд В.
       У ряда В есть два тождественных масштаба -- с разрешением n и с разрешением s.
       Так как логические значения внутри кортежей разные, то ряд В не является тривиальным. Поэтому, по определению, ряд В является логическим фракталам.
       Теорема доказана.
      
      
       Пример.
       Рассмотрим затравку -- ИВ.
       Зададим преобразование:
       И#ИЛ, Л#ИЛ
       В результате получим последовательность рядов:
       ИИИИИИИИ...
       ИЛИЛИЛИЛ...
       ИЛИЛИЛИЛ...
       ...
      
      
       В результате бесконечного числа преобразований мы получаем ИРЛ, который является регулярным фракталом, бесконечно преобразованным фракталом из затравки ИВ и s-преобразованным логическим фракталом из затравки ИВ где s -- целое положительное число.
      
      
       2.6 Фрактальная монадология.
      
      
       Монадой мы будем называть кортеж с заданным масштабными преобразованиями.
       Этот кортеж будем называть затравкой монады.
      
      
       Будем обозначать монады в честь автора "Монадологии" буквой L.
      
      
       Пример.
       Запись И L И#ИИИЛЛ, Л#ЛЛИИ означает монаду с затравкой в виде кортежа <И> и заданными масштабными преобразованиями для двух кортежей И#ИИИЛЛ, Л#ЛЛИИ.
      
      
       []
       2.6.1 Готфрид Вильгельм Лейбниц (1646 - 1716)
      
      
       Кортеж-затравку будем называть реальным кортежем. Оставшиеся кортежи, на которых нам надо задавать преобразования, будем называть виртуальными.
       Например, если кортеж-затравка в ЛКР <ИЛ>, то виртуальными кортежами будут кортежи <ЛИ>, <ИИ>, <ЛЛ>. Масштабное преобразование монады надо задавать для всей совокупности реальных и виртуальных кортежей, общее количество которых равно R=kn (см.2.5).
       Монада, при устремлении преобразований в бесконечность, преобразуется в логический ряд - частный случай логического фрактала, с которым можно проделывать все операции, описанные выше. Таким образом, монада, наряду с обратной связью, может быть генератором логического ряда.
      
      
       Пример.
       Рассмотрим монаду И L И#ИЛ, Л#ИЛ.
       Получаем последовательность кортежей:
      
      
      
      
       И
       ИЛ
       ИЛИЛ
       ИЛИЛИЛИЛ
       ИЛИЛИЛИЛИЛИЛИЛИЛ
       ИЛИЛИЛИЛИЛИЛИЛИЛИЛИЛИЛИЛИЛИЛИЛИЛ
      
      
       В результате устремления этой процедуры к бесконечности, получим ИРЛ.
      
      
      
      
       Монадология -- решение прямой и обратной задачи -- задачи по конструкции (реконструкции) монады.
       Прямая задача -- описать получившийся логический ряд с заданной затравкой-кортежем и масштабным преобразованием. Рассмотреть миры затравок и миры масштабных преобразований по определенным параметрам и описать получившиеся ряды. Исследовать их на тривиальность и самоподобие -- по аналогии с логическими рядами.
       Обратная задача -- по заданному ряду или кортежу установить затравку-кортеж и масштабное преобразование.
      
      
       2.7 Тезис о построении логического фрактала через два типа обратных связей
      
      
       Вернемся опять к машине обратной связи, рассмотренной в разделе 1.6.
       Проводя аналогии между этой моделью и описанными процедурами построения логических фракталов, можно увидеть то, что для построения логического ряда необходимо различать по крайней мере два типа обратных связей.
       Первый тип обратной связи, описанный в 1.6, применяется для начальных условий и служит механизмом генерации логического ряда. Назовем эту связь итерационной обратной связью. Согласно доказанной нами теореме, эта обратная связь всегда сходится либо к аттрактору первого рода, либо к аттрактору второго рода.
       Таким образом, можно сказать, что для этой обратно связи всегда найдется масштаб, на котором сгенерированный обратной связью ряд преобразуется с некоторым правым сдвигом в вырожденный ряд. Говоря иначе, итерационная обратная связь с единичной вероятностью всегда образует ряд с повторяющимся на бесконечности кортежем.
       Значит, итерационная обратная связь является отрицательной -- она всегда сходится к какому-то кортежу.
       Второй тип обратной связи применяется для затравки -- логического ряда, к которому применяются масштабные преобразования. То есть, масштабные преобразования тоже могут быть интерпретированы в терминах обратной связи. Назовем эту связь масштабной обратной связью.
       Эта обратная связь может быть положительной и генерировать логический фрактал. В связи с этим мы можем сформулировать тезис о построении логического фрактала:
       Любой логический фрактал может быть построен как совокупность итерационной и масштабной обратной связи.
       Этот тезис можно использовать в качестве общего определения логического фрактала.
      
      
       2.8 Количественные характеристики логического фрактала
      
       2.8.1 Энтропия и кортежная размерность
       Для оценки сложности и скорости устремления количества масштабных кортежей ряда к бесконечности введем соответственно понятия энтропии и кортежной размерности логического ряда.
       Мы уже знаем, что на масштабе с разрешением n в k-значной логике возможно К= kn различных кортежей.
       Количество различных кортежей -- это сложность ряда. Так как степенная зависимость велика для количественной оценки, введем, по аналогии с термодинамической энтропией, определение возможной энтропии логического ряда на заданном масштабе (W):
       W = logk K, (2.8.1.1)
       Подставляя значение К, получаем: W = n logk k = n.
       При увеличении разрешения масштаба, возможная энтропия логического ряда линейно увеличивается.
       Однако логические фракталы демонстрируют гораздо меньшее разнообразие кортежей. Мало того, количество различных кортежей часто оказывается независимым от масштаба.
       В качестве примера можно привести ЛРЛ и ИРЛ которые демонстрируют либо один, либо два различных кортежа на всех масштабах.
       Ситуация удивительно напоминает ситуацию с природными структурами -- вместо комбинирования новых и новых возможных структур-кортежей, природа "ленится" создавать новые структуры на новых масштабах. Например, вихревые структуры встречаются как на микро-масштабах (атомные и молекулярные структуры) мезо-масштабах (турбулентность воды или облаков) так и на мега-масштабах (спиральные галактики). Возможно, эта природная "лень" по производству новых форм лежит в основе самоподобия природных фракталов.
       Такая "лень" присуща и знаковым системам -- системам из слов конечной длины. Из-за того, что в системах реализуются не все возможные, а только ограниченные слова, в них образуется информация, в противовес энтропии всех возможных состояний.
       Илья Пригожин и Грегуар Николис20 сравнили марковский процесс и хаотический процесс типа аттрактора Рёсслера с точки зрения вероятности наличия тех или иных последовательностей состояний. Их результаты можно интерпретировать как исследование логического ряда на предмет наличия тех или иных кортежей.
       Напомним, что марковским называется процесс с дискретным временем у которого есть марковское свойство -- свойство отсутствия последствий: состояние системы в настоящий момент премени t0 однозначно определяет распределение вероятностей будущего развития при t>t0 и информация о прошлом поведении процесса до момента t0 не влияет на это распределение.
       Логический ряд можно представить как марковский процесс, если марковским свойством будет обладать вероятность появления логического значения на некоторой итерации.
       Николис и Пригожин рассмотрели марковский процесс, удовлетворяющий закону больших чисел и оценили число кортежей, превышающих некоторую заданную вероятность.
       На примере создания биополимера, авторы рассмотрели случай, когда все кортежи аминокислот равновероятны. Они к выводу о том, что описание возникновения структуры биополимера неадекватно с точки зрения гипотезы равновероятности возникновения последовательностей аминокислот с фиксированной длиной. Всегда существуют выделенные последовательности аминокислот, формирующих биополимер.
       Этот пример является дополнительной иллюстрацией "лени" природы, отбирающей из всех возможных комбинаций только ограниченное количество возможностей.
       [] Рис 2.8.1 Илья Романович Пригожин (род. 1917) -- бельгийский химик русского происхождения, лауреат Нобелевской премии по химии (1977 г.) за исследование диссипативных структур, образующихся в открытых системах.
      
      
       Николис и Пригожин рассмотрели аттрактор Рёсслера как хаотическую последовательность нахождения системы в трех состояниях X,Y, Z:
       ZYXZXYXZXYXZYXZXYXZYXZYXZXZYXZYXZXYXZYX...
       Далее они переписали эту последовательность c помощью гиперсимоволов (кортежей) - a = ZYX, b = ZXYX, g=ZX:
       abbabaagaaba...
       Далее авторы посчитали условные вероятности возникновения последовательностей (кортежей) с различной длиной на различных масштабах и показали, что появление кортежей не равновероятно. Это позволяет говорить о неслучайности процедуры, генерирующей рассматриваемый процесс.
       Только на масштабе с разрешением пять аттрактор Рёсслера можно схематизировать марковским процессом.
       Анализируя последовательность, генерируемую странным аттрактором, Николис и Пригожин замечают:
       "При ближайшем рассмотрении статистических характеристик таких последовательностей выясняются некоторые удивительные особенности. Например, из всех возможных 37 последовательностей семисимвольной длины, которые можно построить на X, Y, Z, в динамике реализуются только 21. Более того, примерно для половины из них условная вероятность некоторого символа при условии, что заданы пять предыдущих символов, оказывается равной единице. Следовательно, всё выглядит так, как если бы в систему были встроены "грамматические правила", автоматически выполняемые в результате динамики."21
       Для оценки только тех кортежей, которые реализовались в данном ряде на данном масштабе j, введем представление о масштабных кортежах (МCj). Для ЛРЛ и ИРЛ MCj=2 при нечетных j и МCj=1 на четных масштабах.
       Реализованные кортежи являются информационной характеристикой логического ряда, описывая возникшую структуру.
       Можно представить информацию через вероятность появления кортежа в ряде. Если в ряде присутствуют все возможные на масштабе кортежи, то информация в таком ряде равна нулю, а энтропия максимальна.
       Введем определение масштабной информации IМj:
       IМj = Р (МCj) logk Р(МCj) (2.8.1.2)
       Р (МCj) -- вероятность возникновения масштабных кортежей, которую можно оценить через отношение числа реализовавшихся масштабных кортежей за s итераций к числу всех возможных кортежей на этом масштабе. Ясно, что s должно быть достаточно большим.
       Информация может меняться в зависимости от масштаба рассмотрения -- например, у ИРЛ на масштабе 1 информация равна 0, а на других масштабах -- нет.
       Дадим определение накопленной на f масштабах информации IS:
       IS= [] IМj (2.8.1.3)
       Дадим определение накопленного на разных масштабах числа кортежей М:
       М = []МСj (2.8.1.4)
       Ясно, что при наличии самоподобия ряда М и IS стремятся к бесконечности при устремлении к бесконечности f. Однако скорости устремления к бесконечности накопленной информации и накопленной энтропии разные.
       Если рассматриваемый нами ряд обладает фрактальной структурой, то стремление М к бесконечности можно аппроксимировать степенным законом:
       М(n) µ nD (2.8.1.5)
       Разрешение масштаб
       а n -- характерная длина кортежа на которой мы "рассматриваем" масштаб выступает в данном случае аналогом покрытия бесконечного множества значений логического ряда, образующего меру.
       Представим логический ряд как ряд кортежей длиной n. Кортежу с номером i сопоставим вероятность Pi, того, что этот кортеж будет принадлежать некоторому ранее заданному и конечному множеству кортежей или иметь какое-либо свойство (например, свойство принадлежать множеству реализовавшихся на данном масштабе кортежей). Далее можно ввести набор величин Dq, вычисляемых для разных значений q:
       Dq = [],
       где суммирование ведется по всем кортежам.
       Dq будет аналогом обобщенных размерностей.
      
      
       В следующем подразделе постараемся формализовать интуиции размерности логического ряда более точно.
      
      
      
      
       2.8.2 Аналог Хаусдорфовой размерности для логического ряда
      
      
       Предположим, что рассматриваемый логический ряд есть результат бесконечного последовательного масштабного преобразования [] кортежа A0:
       А1 = []А0, Аj = []A j-1 = ... = []j A0 (2.8.2.1)
       Рассмотрим изменение масштаба при увеличении разрешения масштаба n в a раз:
       []Ai (n) = Ai (n/a) (2.8.2.2)
       Рассмотрим внутреннюю характеристику кортежа L -- например, количество значений И на масштабе А:
       L ( []Aj+1) = L ( [] []Aj) (2.8.2.3)
       В зависимости от вида внутренней характеристики можно типологизировать различные размерности.
       Если у логического ряда существует подобие:
       []= [] [], (2.8.2.4)
       то можно записать между L (Aj) и L ( []Aj) в виде:
       L ( []Aj) = ad L (Aj), (2.8.2.5)
       где d -- некоторая степень -- аналог размерности Хаусдорфа-Безиховича, определяемая в пределе:
       d = [] [] (2.8.2.6)
      
      
       2.8.3 Аналогия с броуновским движением
       Рассмотрим обратную связь a=И, 0.5ai+1: ai. Процесс эквивалентен бросанию монеты и генерирует логический ряд со случайным распределением значений.
       Представим этот ряд как движение броуновской частицы, в котором перемещение частицы на расстояние +x можно интерпретировать как И, а перемещение на -x как Л.
       При случайном процессе, перемещение броуновской частицы x задается гауссовым или нормальным распределением вероятностей:
       р(x,t) = [] exp (- []) (2.8.3.1)
       Это означает, что на каждом интервале длительностью t изменение параметра x моделируется случайным образом, и вероятность того, что x заключено между x и x+dx, равна p(x,t)dx. Последовательность значений {xi} есть набор независимых гауссовых случайных чисел с дисперсией
       áx2ñ = []x2 р(x,t)dx = 2Dt, (2.8.3.2)
       где коэффициент D подчиняется соотношению Эйнштейна, которое носит достаточно общий характер:
       D = []áx2ñ. (2.8.3.3)
       Данное, хорошо известное в статистике, соотношение справедливо для всевозможных стохастических процессов с разными видами распределения вероятностей.
       Если заново определить x, заменив x/ [] на x, новая дисперсия станет единичной и гауссовский процесс станет стандартным. Тогда, установив, что начальное значение x равно нулю, текущее значение в момент времени t будет определяться как
       Х(t=nt) = []xi. (2.8.3.4)
       В книге Енса Федера "Фракталы"22 суммировано рассмотрение хорошо известного гауссовского процесса с точки зрения его масштабной инвариантности (в некоторых книгах используется термин автомодельность).
       В этом случае процесс рассматривается в разных масштабах времени - с разным временным разрешением. То есть, регистрации параметра процесса производятся через каждый промежуток времени bt, где b - некоторое произвольное число. Показано, что какое бы число b временных шагов ни разделяло моменты наблюдений, приращение x всегда составляют гауссов случайный процесс с независимыми значениями с áxñ=0 и дисперсией
       áx2ñ = 2Dt при t=bt. (2.8.3.5)
       То есть, с увеличением временного интервала фиксации параметра процесса в b раз, дисперсия процесса тоже увеличивается в b раз, а распределение вероятности, в зависимости от масштабного преобразования, будет иметь следующий вид:
       р(x,bt) = [] exp (- []). (2.8.3.6)
       Исходя из этого, можно сделать вывод о том, что гауссовский процесс обладает свойством подобия (скейлинга).
       Он инвариантен в смысле распределения, то есть не меняет вида при преобразовании, которое меняет масштаб времени в b раз, а масштаб Х в b1/2 раз. Или можно сказать, что при изменении масштаба временного рассмотрения гауссовского процесса в b раз, текущее значение параметра процесса меняется в b1/2 раз.
       Видно, что у этого процесса масштабы времени и значений меняются в разных пропорциях.
       Преобразования, которые меняют масштабные характеристики процесса в разных пропорциях, называются аффинными, а процессы, не меняющие своего вида, характера протекания, при аффинном преобразовании, называются самоаффинными.
       Н. Винер постулировал случайную функцию Х(t) гауссовского процесса с независимыми значениями {x} через приращение, для любой пары моментов времени t и t0:
       Х(t) - Х(t0) ~ x½ t - t0½Н, где Н=1/2 и t ³ t0. (2.8.3.7)
       Мандельброт ввел понятие обобщенного броуновского движения, заменив в последней формуле значение Н равное 1/2 на любое действительное число из интервала 0<H<1.
       Случай, при котором Н=1/2, соответствует полностью независимым значениям x - процесс стохастичен, его значения друг с другом не коррелируют.
       Чтобы усовершенствовать эту модель, оценить корреляции будущих значений процесса с прошлыми, но вместе с тем, сохранить преемственность моделей с гауссовскими распределениями, вводится понятие модели обобщенного броуновского движения. Обобщенное броуновское движение имеет бесконечно большое время корреляции.
       Дисперсия приращений V(t - t0) имеет вид:
       V(t - t0) ~ ½ t - t0½2Н, (2.8.3.8)
       а функция корреляции будущих приращений с прошлыми записывается в виде
       С(t) = 22H-1 - 1. (2.8.3.9)
       Ясно, что "гауссовости" не будет и во многих логических фракталах. Показатель Н, который также можно называть Н-размерностью показывает степень близости логического фрактала к случайному процессу типа классического броуновского движения или бросания монеты.
       Оценить показатель Н можно различными методами - например, методом Херста, оценивая накопленное количество И или Л на различных масштабах. Подробнее о методе Херста и обобщенном броуновском движении можно прочитать в уже упоминаемой книге Енса Федера.
       Таким образом, Н можно использовать как количественную характеристику логического фрактала.
       Послесловие: проблемы и задачи фрактальной логики "Минотавр берется мною под защиту. Тезей становится стандартным персонажем, личностью без воображения, почитающей все условности. Минотавр -- поэт, он не похож на других, он совершенно свободен. Его изолировали от всех потому, что он угрожает установленному порядку."
       Хулио Кортасар23.
      
      
       В данном тексте были предъявлены подходы, с помощью которых можно постепенно уточнять понятия логического фрактала и фрактальной логики, перечислены основные представления и концептуальные установки фрактальной логики.
       Что дальше? Постараемся пофантазировать.
       ...Роджер Пенроуз в книге "The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics"24 рассматривает следующий мысленный эксперимент. Пусть мы формализовали с помощью искусственного языка некоторые высказывания, и дали задание компьютеру определить их истинность или ложность. Это определение происходит на основании системы аксиом -- набора формализованных алгоритмическим языком мета-высказываний, определяющих все правила присвоения высказываниям логических значений.
       Меняя систему аксиом, можно задавать возможные логики, рассматривать значения возможных высказываний. В частности, можно найти такую систему аксиом, в которой суждение "Я лгу" не образует противоречия. Однако, согласно теореме Гёделя о неполноте, при любой полной системе аксиом всегда найдутся высказывания, которые будут противоречивы и зациклят компьютер -- введут в бесконечную последовательность вычислений, из которой невозможно выйти. В теории искусственного интеллекта существует проблема остановки -- не существует алгоритма, позволяющего дать ответ о том, остановится или нет программа вычислений25. Таким образом, не существует программы, которая могла бы показать -- зациклен компьютер или нет.
       Следовательно, любой достаточно сложный компьютер, работающий по определенной аксиоматической схеме всегда можно либо остановить, либо сломать. Вероятность остановки и ломки тем выше, чем сложнее аксиоматическая система.
       Если рассматривать наше мышление с точки зрения аксиом, то оно необычайно сложно -- требуется очень большое количество аксиом, необходимых для моделирования мышления. Тем не менее, мышление очень надежно -- оно очень редко демонстрирует ломки или остановки. Это связано с тем, что наше мышление, по мнению Пенроуза, не устроено по принципу "аксиомы плюс высказывания" - мозг принципиальным образом отличается от компьютера, описанного выше.
      
       Сэр Роджер Пенроуз (род. 1931)
       Получил известность в начале 70 годов как соавтор (вместе со Сивеном Хокингом) теории черных дыр. Кроме того, известны парадоксальные геометрические фигуры и мозаики Пенроуза. Последние были запатентованы Пенроузом как основа многих логических головоломок и игр. Имеет личную страницу в Интернет и сам отвечает на письма.
      
      
       Человеческое мышление решает алгоритмически неразрешимые задачи, которые поставили бы в тупик любую машину. Этой точкой зрения Пенроуз оппонирует Тьюрингу -- машина не может мыслить, так как процессы мышления принципиально не представимы в рамках алгоритмов -- например, алгоритмов машины Тьюринга.
       Мышление, по мнению Пенроуза, является квантовой системой -- мозг может производить вычисления на алгоритмически неразрешимых задачах, аксиоматические системы которых нелокальны -- находятся в особых "квантово-механических" состояниях.
       Мозг умеет переходить от "квантово-механического" состояния -- алгоритмически неразрешимого и нелокального к "классическому" через некую (весьма загадочную в рассуждениях Пенроуза) редукционную функцию -- функцию локализации мышления в мысли.
       Эти туманные рассуждения Пенроуза можно метафорически проиллюстрировать фрактальной логикой.
       Если представить логический фрактал как процесс определения аксиоматической системой истинности или ложности высказывания, то он является, по определению, нелокальной системой с точки зрения внешнего наблюдателя. Логическое значение логического фрактала нелокализовано в локальном знаке.
       Поэтому логический фрактал может стать метафорой "квантомеханического состояния" в терминологии Пенроуза.
       Аналогом классического или локализованного состояния аксиоматической системы будут ряды ИВ или ЛВ. Кроме того, мы будем считать классическим высказыванием и высказывания с аттрактором первого рода.
       Ясно, что аналогом локального состояния могут стать законы фрактальной логики.
       А вот пример "редукционной функции" или процедуры локализации, где А -- логический фрактал:
       А\/ИВ
       Это уже знакомый нам закон дизъюнкции с истинно-вырожденным рядом.
       "Редукционной функцией" может стать и оператор масштабного перехода.
       Если перенести представления о локализации на процессы мышления, то мы сможем приблизиться к пониманию мышления как фазового перехода от бесконечности к конечности, от делокализации к локализации.
       В связи с этим можно сформулировать, тезис локализации -- перехода высказывания из нелокального значения логического фрактала в локальное -- классическое высказывание:
       Для логического фрактала всегда найдется преобразование, переводящее его в вырожденный ряд или ряд с аттрактором первого рода.
       Подчеркнем еще раз: это преобразование не есть конечный алгоритм. Проблема остановки накладывает ограничения на выход из бесконечного цикла. Представить это преобразование с помощью нашего локального мышления очень трудно -- не смотря на то, что его можно формализовать фрактальной логикой.
       Логический фрактал это "монстр" среди алгоритмов, так как он по определению зациклен -- в идеальном фрактале невозможно выйти из обратной связи. "Монстр" по определению ненаблюдаем -- при наблюдении он превращается в конечный объект описания.
       Логический фрактал операционально замкнут. Он, говоря метафорически, не взаимодействует с внешним миром, не забирает информацию из окружающей среды. Для него не работают классические кибернетические модели входа и выхода, организации и среды. Наоборот, развивая интуиции Лейбница о монадах, можно сказать, что логический фрактал создает внешнюю среду, конструирует мир, периодически в него "вываливаясь" своими локализациями, образуя классические высказывания, диктуя внешнему окружению -- какие именно локальные высказывания должны иметь фиксированные значения.
       Можно предположить, что если это преобразование, останавливающее фрактал не есть алгоритм, то оно спонтанно -- если термин "спонтанность" можно вообще здесь употреблять. Это преобразование есть событие -- ситуация, которая может случиться или не случиться.
       Преобразование "Нелокальное -- локальное" граничит с мистикой и метафизикой. У монады -- логического фрактала, нет окон. В акте наблюдения фрактал локализуется в классическую форму, которая поддается интерпретации с помощью понятных нам представлений.
       Процедуру локализации мышления можно проиллюстрировать мифом о Тезее. Нелокальный бесконечный Лабиринт -- символ фрактала, топики мышления. В идеальном лабиринте, так же как и во фрактале, невозможно остановиться, невозможно достигнуть цели.
       В лабиринте можно только двигаться. Что и делает нелокальный конечный Минотавр (кстати, ненаблюдаемый) -- символ хроноса мышления -- бесконечного движения.
       Минотавр распределен по всему лабиринту одновременно, поэтому для его описания более адекватной будет не траектория, а функция распределения вероятности его нахождения в том или ином месте.
       Убийство Минотавра по своей методике и практикам интерпретации напоминает эксперимент в квантовой механике, наблюдение квантово-механического объекта.
       Акт наблюдения при исследовании природы -- это эксперимент и одновременно убийство, расчленение того, что хочешь увидеть. Убийство сопряженное с насилием, с властью, с культурными практиками вторжения в запретные области.
       Ученый успокаивает себя тем, что эксперимент-убийство - это вынужденные издержки научного метода, так как наблюдать и описывать можно только мертвое тело. Живое тело не локализовано, не подготовлено к специально выстроенному эксперименту.
       Метафора "эксперимент-убийство" не нова. В качестве примера можно сослаться на работы Мишеля Фуко, блестяще описавшего становление экспериментальных практик в медицине26.
       Итак, чтобы убить Минотавра (совершить экспериментальный акт наблюдения) надо осуществить во-первых, сложную подготовку системы к акту эксперимента (найти пещеру, спуститься в нее, перейти из локального состояния в пограничное), а во-вторых, провести правильную интерпретацию эксперимента -- сделать так, чтобы все поверили в то, что Тезей действительно убил Минотавра, а не принес голову от быка, а туловище от человека. Сделать это, как мы выяснили, сложно, так как до убийства (эксперимента) Минотавр ненаблюдаем, а после эксперимента мы видим не Минотавра, а что-то иное.
       Развивая эту метафору, можно сказать, что убив Минотавра и выйдя из лабиринта-фрактала, Тезей локализовал и демистифицировал мышление, остановил бесконечные фракталы, решил проблему остановки.
       Нить Ариадны (метафора линии), находится в руках героя. Линия -- символ нового мышления, символ перехода от темного нелокального мифа к логосу европейской культуры.
       Линия спрямляет фрактал-лабиринт, рождая геометрию и культуру мышления с линейными и локализованными понятиями. Лабиринт лишается своего права быть бесконечным, и от всей его парадоксальности до нас доходит только культурный шифр в виде послания: "Все критяне лжецы" -- сказал один критянин". Лабиринт пропадает и выпрямляется, перестает замечаться новой культурой.
       Нечто похожее происходит и с Минотавром. Невидимый и непонятный Минотавр локализуется в схеме объяснения, в знаках, в антропоморфных образах. Монстр оказывается всего лишь человеком с головой быка.
       Если Тезей -- экспериментатор, убивающий миф, то главным орудием убийства, главным мотивом признания эксперимента верным служит интерпретация события эксперимента-убийства. Не важно, убил Тезей Минотавра или нет, важно то, что мы это интерпретировали именно так, а не иначе. Мы интерпретировали свою жизнь и свои события исходя из этой интерпретации.
       Эксперимент показал, что Минотавра больше нет. Мышление линейно и локально. Всё ясно.
       Но что-то в этой интерпретации эксперимента-убийства заставляет усомниться. Слишком всё просто. Это подозрительно. Мышление в этой метафоре становится слишком понятным. И самое главное -- мертвым, не нужным, не мыслящим.
       Проведем следующий мысленный эксперимент. Допустим, Тезей спустился в пещеру убивать Минотавра. Нам точно известно, что в момент времени Т либо нелокальный Минотавр убил (делокализовал) Тезея, либо локальный Тезей убил (локализовал) Минотавра. Эти события равновероятны и дополнительны. Мы стоим около входа в пещеру и знаем, что если в момент наблюдения Т+dT мы видим Тезея, то Тезей убил Минотавра, если мы не видим Тезея, то произошло дополнительное событие.
       Вопрос состоит в следующем -- в каком состоянии находится Тезей на протяжении времени dT?
       Так как Тезей спустился в лабиринт, то он стал одновременно классическим и квантово-механическим объектом. Значит, Тезей находится в состоянии суперпозиции локального и нелокального состояний -- в состоянии суперпозиции жизни и смерти. Тезей находится в пограничном состоянии, и выходит из него только в момент наблюдения Т+dT.
       Кое-кто может сказать, что я перепутал Минотавра с кошкой Шредингера, но, тем не менее, этот мысленный эксперимент нужен для обсуждения метафоры нелокальности и наблюдаемости мышления с точки зрения представлений фрактальной концепции.
       Но если Тезей находится в состоянии суперпозиции, то появление Тезея мы можем с такой же вероятностью интерпретировать как убийство Тезея -- например, превращение Минотавра в Тезея, ведь никто нам не гарантирует, что Тезей, спустившийся в пещеру и Тезей вышедший из нее есть один и тот же человек.
       Далее. Кто нам сказал, что Минотавр есть? Ведь его никто кроме Тезея не видел. И что мог видеть Тезей?
       Переформулируем метафору. Кто нам сказал, что мышление нелокально, фрактально, голографично (нужное подчеркнуть) если это невозможно увидеть или почувствовать? Что, кто и и как обеспечивает познавательную целостность нашего эксперимента?
       Сомнение в интерпретации эксперимента остается.
       Это сомнение оставляет мне надежду на то, что Минотавр-фрактал мышления скорее жив, чем мертв, так как акты мышления, акты локализации мыслей иногда всё-таки будут случаться с человеком. Или, говоря иначе, у человека есть мысли, которые нельзя интерпретировать как следствие и развитие других мыслей.
      
       Тезей убивает Минотавра: метафора локализации мышления.
       В руках героя нить -- линия, локализующая лабиринт-фрактал.
      
      
       Мы до сих пор не можем ответить на вопрос о том, откуда появляется мышление. Мы строим разные интерпретации и тем самым, сами мало чем отличаемся от Тезея, сначала соединяющего голову быка с туловищем человека, а потом нагло утверждающего, что это есть единое целое, это был Минотавр.
       Можно осмыслить такие ответы-соединения.
       Поспешным ответом о появлении мышления является ответ в терминах бессознательного и подсознательного.
       Психотерапия неврозов в этой метафоре состоит в том, чтобы локализовать бессознательное в мышлении, "выпрямить" существующий, но ненаблюдаемый фрактал-бессознательное с помощью техник психотерапии, предъявить "настоящую" логику и подоплеку событий.
       Другая точка зрения состоит в том, что бессознательного нет, точнее, размышление в терминах бессознательного некорректно. За явленной мыслью нет ничего скрытого. В этой метафоре парадоксы-фракталы есть поверхности мышления, складки в которых живет смысл, иногда локализуемый в линиях мысли.
       Этой точки зрения придерживался Жиль Делез27, философ, наиболее активно использовавший в своем творчестве парадоксы и представления фрактальной геометрии.
       Валерий Подорога28, анализируя тексты Делеза, Мерло-Понти анализирует различение категорий "феноменологическое -- топологическое". Под феноменологическим описанием понимается представление пространства, аппелирующее к интенциональным актам и выражениям интенциональной активности в языке. Примером феноменологического описания могут быть модели и образы евклидовой геометрии.
       Говоря о топологическом описании, Подорога анализирует культурные и философские представления о наличии реальности принципиально не сводимой к языку, обладающей своей, имманентной логикой.
       Это представление можно ассоциировать с мистической точкой зрения. Термин "мистика" надо понимать как граница, работа с ненаблюдаемыми и невыразимыми в языке предметами. Мистика не рассматривает вопрос о том, существуют или нет ненаблюдаемые предметы. Мистика молчит и действует.
       С этой точки зрения, Пенроуз -- мистик. Математика, в общем, вещь мистическая -- ведь числа не наблюдаемы. Про онтологический статус числа философы спорят с времен Пифагора до наших дней. Это, однако, не мешает их использовать.
       Наиболее ясно мистику локализации сознания интерпретировал русский философ и математик Василий Васильевич Налимов.
       Благодаря Василию Васильевичу и Жанне Дрогалиной (вдове ученого) я впервые узнал о уже упоминавшихся работах Хофштадтера и Пенроуза. Поэтому мое обращение к Налимову после Пенроуза не случайно.
       Василий Налимов ввел представление о вероятностной модели сознания -- спонтанной локализации - распаковке смысла.
       Постараемся установить связь между этой моделью и логическими фракталами.
       [] Василий Васильевич Налимов (1910 - 1997) Математик, инженер, философ, узник Гулага, поэт, соратник А.Н. Колмогорова. Любимые темы размышлений -- бесконечность, философия числа, вероятностное мышление. Очень интересны и актуальны его размышления в работе "Мир как геометрия и мера" о законе Эсту-Кондоне-Ципфа-Мандельброта, который носит степенной характер и отражает регулярность письменных текстов и текстов биотаксономии.
       Распаковка делокализованного на некоторой оси m смысла (в нашей терминологии -- логического фрактала), с функцией распределения p(m), по Налимову, осуществляется в некотором контексте y, который является условием ситуации "распаковки смысла" посредством возникающего фильтра p(y/m). Ситуация возникновения нового смысла с вероятностью распределения p(m/y) может метафорически быть записана в виде формулы Байеса для условной вероятности:
       р (m/y) = k p(m) p(y/m),
       где k -- константа нормировки.
       Налимов приводит следующий пример мыслительной операции:
       "Однажды на двери официального Бюро переводов я прочитал такую фразу: "Из-за отсутствия переводчиков переводы будут выполняться в минимальный срок 7-10 дней. Здесь контекст, окружающий слово "отсутствие", заставляет нас выбрать фильтр, позволяющий понять, что речь идет не об абсолютном отсутствии переводчиков, а об их нехватке" 29.
       Можно предположить, что семантическое пространство культуры распределяет в бесконечной последовательности смыслов - логических фракталов, которые человек индивидуально распаковывает в каком-то контексте, локализуя логическое значение высказывания. Где-то (в языке, в культуре, в квантовых системах) распределены виртуальные значения логического фрактала, которые человек (мышление, сознание) самостоятельно локализует -- переводит из бесконечного цикла возможных итераций в конечную мысль.
       Подчеркнем, что особенностью этой распаковки по Налимову является ее спонтанный и вероятностный характер. В этом, повторимся, состоит неадекватность метафоры мышления как алгоритмического автомата.
       Мышление локализует понятия не по алгоритму, а в результате насыщения "фрактального блуждания".
       Чтобы сделать последнюю метафору более понятной, рассмотрим очень интересную концепцию немецкого педагога и психолога Герхарда Шефера "Зигзаг-обучение"30.
       Центральная метафора концепции Шефера -- метафора репейника. Понятие, по его мнению, появляется из ассоциаций, а ассоциации и есть эти самые репейники, которые спонтанно и случайно соединяют (ассоциируют) вещи, иногда даже абсолютно не связанные между собой.
       При построении модели динамики ассоциаций Шефер пользуется моделью памяти Г. Эбенгауза, опытом ассоциативных тестов в психоаналитике.
       [] Модель образования понятия в метафорах Г. Шефера. Слева -- возникновение понятия из ассоциативной цепочки, справа -- генезис белка. Рисунок из книги "Синергетическая парадигма. Многообразие поисков и подходов. М., 2000
      
       На мой взгляд, эта ассоциативная модель напоминает концепции синкретического детского и первобытного мышления, развиваемые в работах Ж. Пиаже, Л.С. Выготского, А.Р. Лурия.
       Значение высказывания в таком мышлении может быть интерпретировано с помощью логического ряда -- синкретичное мышление легко отказывается от фиксированного значения суждения в пользу конкретного контекста произнесения суждения31. Ассоциация, в отличие от понятия, спонтанна, случайна и контекстуальна.
       Важно то, что ассоциации, по Шеферу, образуют цепочки -- "репейники". Эти цепочки по структуре напоминают логические ряды. Они длинные и хаотические.
       Дальнейшая эволюция ассоциативных цепочек представлена Шефером в виде метафоры генезиса белка. Так же как цепочки аминокислот постепенно образуют поперечные соединения и структурируются в готовый белок, так же и "репейники" ассоциаций образуют самопересечения и наложения, в конце концов образующие ассоциативное окружение и готовое понятие с логическим ядром.
       Интересно то, что структуры белка сейчас описывается с помощью степенных законов, которыми количественно описываются фракталы.
       Если говорить, метафорами фрактальной логики, бесконечные логические фракталы превращаются в конечные понятия за счет самопересечений и коагуляции значений.
       То есть, логический фрактал превращается в классическое понятие за счет увеличение собственной сложности, которая служит средой для спонтанной реструктуризации -- оформления понятия.
       В свое время кибернетики обсуждали мысленный эксперимент, героем которого была обезьяна, случайна стучащая по клавишам пишущей машинки. Вопрос состоял в следующем -- за какое время обезьяна напечатает, например, "Войну и мир".
       Так как удары по клавишам равновероятны, то существует отличная от нуля вероятность, что рано или поздно выпадет комбинация, соответствующая тексту романа.
       Допустим, что текст романа состоит из 5 миллионов знаков. Это соответствует кортежу длиной в 5 миллионов значений. Если наш алфавит состоит из 40 символов (буквы, пробел и вспомогательные знаки), то мы имеем дело с 40-значной логикой. Если предположить, что кортеж романа равновероятен с другими кортежами такой длины, то вероятность его написания равна единице, деленной на 40 в степени пять миллионов.
       Белковые молекулы тоже можно представить как кортежи из атомов, при этом их сложность не меньше, чем сложность "Войны и мира".
       Оценивая время случайного написания обезьянкой "Войны и мира" и время возникновения белковой жизни из неорганического вещества за счет случайных встреч молекул, можно было прийти к выводу, что они намного превышают время жизни нашей вселенной.
       Сходную аргументацию можно применить и к ассоциациям в концепции Шефера. Если ассоциации случайны, вероятность возникновения понятия очень низка -- человек будет напоминать обезьянку, чьи удары по клавишам не коррелируют друг с другом.
       Но дело всё в том, что ассоциации не случайны -- при большом их количестве они начинают зависеть друг от друга, образовывать корреляции и макро-порядки.
       В статье "Познание как фрактальное блуждание в мире"32 мною была исследована точка зрения на то, что понятие появляется не из случайных, а из хаотических ассоциаций.
       Разница между случайными ассоциациями и хаотичными напоминает разницу между классическим броуновским движением и обобщенным броуновским движением, о которых было рассказано в предыдущем разделе.
       Обобщенное броуновское движение, не смотря на схожесть с классическим, несет в себе некий паттерн, макро порядок, который резко увеличивает вероятность появление макро-событий -- возникновения понятий.
       Создание паттернов -- сетевой феномен, возможный в сложных системах, состоящих из большого числа частей. Такие системы умеют хранить и перерабатывать распределенные нелокальные паттерны, которые способны влиять на микроуровень, создавая синергизм между макро и микропорядками.
       Про это пишут и Николис с Пригожиным -- в неравновесных системах возникает ассиметрия и необратимость, которые являются факторами структурообразования, резко увеличивая вероятности возникновения устойчивых соединений.
       Эти выводы можно применить и к возникновению мышления и языка -- как систем, далеких от равновесия.
       Для объяснения возникновения мышления и языка У. Матурана и Ф. Варела используют понятие рекурсии и рекуррентных взаимодействий33. Именно благодаря рекурсии -- как наличию циклического воздействия на продукты собственного действия организм поддерживает замкнутый цикл своего функционирования. Рекуррентность заключается во взаимных изменениях организма и его среды, приобретающих цикличный характер. Мышление и язык рассматриваются с этих точек зрения, и их возникновение интерпретируется как возникновение циклов нового порядка -- над химическими и физическими циклами функционирования.
       Спекулятивный ответ на вопрос о "лени" природы и "лени" языка, порождающего подобные структуры состоит в общности циклических механизмов генерации этих структур.
       Самореферентность, рефлексия, лингвистическое различение лингвистических различений в рекурсивных схемах предстают в этой концепции необходимым условием возникновения языка.
       Схожую концепцию становления языка и мышления развивают В.И. Аршинов и Я.И. Свирский в статье "Синергетическое движение в языке"34. Средой самоорганизации, блуждания, формирующего понятие предстает язык. Из блужданий на микроуровне образуется макроуровень -- параметр порядка, находящийся в синергизме с макроуровнем.
       Обращаясь к нашим рассуждениям по поводу операциональной мистики остановки логического фрактала, можно провести аналогию и сказать, что главная мистика, с которой пытается работать синергетика в своих концептуальных построениях, состоит в возникновении параметра порядка кооперативных явлений.
       Интересно то, что и Герман Хакен в своих работах по синергетике и Умберто Матурана и Франциско Варела в концепции автопоэтической организации обращаются к творчеству Джузеппе Арчимбольдо, создавшему особый портретный стиль в котором лица изображаются составленными из фруктов и овощей. Его причудливое искусство, с точки зрения Матураны и Варелы, реализует видимую "организацию" лица через "структуру" новых компонентов.
       С точки зрения Хакена, лицо -- это результат распознавания образа, который является результатом самоорганизации параметров порядка. В своей книге, посвященной функционированию головного мозга35, развивал представления о процессе мышления как о процессе распознавания образов. При этом, полемизируя с Тьюрингом, Хакен невольно становится на позицию Пенроуза -- возникновение параметра порядка мышления (идеи, понятия) некорректно записывать на языке алгоритмов, но можно представить с позиций хаотической динамики.
       Эта точка зрения учитывает наличие принципиально неформализованного опыта, нелокально распределенного в социальных сетях. Опыт связан с интуицией, в частности с представлениями человека о том, что можно принимать в качестве решения.
       Представления фиксируются в виде паттернов -- образов сложной синергетической системы и описываются в виде динамики параметров порядка системы.
       Возвращаясь к фрактальной логике можно сказать, что структура паттернов может быть описана фракталами.
       [] Образование значения суждения:
       возможная метафора локализации
      
      
       Возможная метафора образования значения суждения предстает как процесс перехода с микро уровня -- уровня хаотических, фрактальных ассоциаций на макро уровень -- уровень локального и фиксированного понятия. Без парадоксальных фрактальных перескоков на микроуровне, понятие -- как локальный макрофеномен, было бы невозможным.
       Необходимость рассмотрения макро и микроуровней заставляет вводить наблюдателя и техники наблюдения постоянно меняющихся живых систем.
       С этой точки зрения проблема остановки является проблемой только тогда, когда машина не видит разницы между макро и микро масштабами рассмотрения, не вводит наблюдателя в систему...
       На проблеме остановки мы остановим36 поток наших фантазий начатый в начале этого раздела, и постараемся наметить проблемы и задачи, которые можно исследовать в будущем фрактальной логикой. Их можно условно разделить на "внешние" и "внутренние".
       К внутренним проблемам можно отнести уточнение понятия логического фрактала, введение новых типов логических фракталов, новых типов масштабных преобразований и обратных связей, развитие техник решения прямых и обратных задач.
       Важной внутренней проблемой является проблема соответствия и дополнительности фрактальной логики и других логик, исследование наблюдаемости логических фракталов, построение фрактальных версий логики предикатов.
       К внешним проблемам можно отнести задачи интерпретации фрактальной логики.
       Их можно разделить на две части -- философские и научные.
       К научным задачам можно отнести создание моделей шифровки и дешифровки информации (затравка и масштабные преобразования могут выступать в качестве кода и ключей), развитие биологических моделей морфогенеза, ковариантной и инвариантной редупликации, развитие методов обработки временных рядов различной природы (затравка может быть интерпретирована как временной ряд).
       Интересной видится интерпретация идей фрактальной логики для построения феноменологических концепций восприятия. В частности, Дж. Гибсон37 развивал идеи встроенности зрительного восприятия в различные масштабы рассмотрения.
       Важными философскими задачами являются исследования эпистемологического статуса фрактальной логики, решение проблем соответствия и дополнительности фрактальных логик и классических логик.
       Можно так же сказать, что фрактальная логика может стать важным ресурсом для развития концептуальных идей теории автопоэзиса и философии самоорганизации -- синергетики.
       Тема отдельного исследования -- фрактальная логика как ресурс сетевого мышления, осмысление познавательных практик сети с помощью представлений о фракталах.
       В серии статей38 я попытался показать специфику социокультурного феномена сети, который я обозначил как "фрактальный нарратив" -- нарратив аморфного, слабо структурированного, но тем не менее очень сложного и креативного сетевого мышления -- мышления сетью, мышления в сети, общения и общества как сетевого процесса с фрактальными структурами.
       Общество, мышление, сеть -- очень сложные объекты, к изучению которых наука только ищет концепции и подходы. Объекты, находящиеся в стадии хаотического становления.
       Есть надежда, что метафоры, аналогии и модели фрактальной логики смогут приблизить нас к их пониманию.
       В заключение честно признаюсь, в том, что мне самому многое непонятно во фракталах и фрактальной логике.
       Но если моя книжка возбудила мышление читателя и спровоцировала у читателя рассмотрение проблем и вопросов в ней изложенных, то она достигла своей цели.
      
      
      
      
      
      
      
      
      
      
       По поводу оптовых продаж книги "Фрактальная логика" обращайтесь по адресу: mail@synergetic.ru.
       В розницу книгу Владислава Тарасенко "Фрактальная логика" можно приобрести в книжном киоске на первом этаже Института философии РАН по адресу: 119842 г. Москва, ул. Волхонка, дом 14.
       По этому же адресу принимаются бумажные письма автору книги.
       Электронный адрес автора: tarasenko@synergetic.ru.
      
       Личная ИНТЕРНЕТ-страница автора: www.iph.ras.ru/~vtar
      
       1 Рисунок взят из книги: С.П. Курдюмов, Г.Г. Малинецкий, А.Б. Потапов Синергетика -- новые направления. М., 1989
      
      
       2 Хофштадтер Д. Гёдель, Эшер, Бах: это бесконечная гирлянда. -- Самара, "Бахрах-М", 2001
      
      
      
       3 И. Лакатос Бесконечный регресс и обоснования математики. // Современная философия науки: знание, рациональность, ценности в трудах мыслителей Запада. М., "Логос", 1996
      
      
       4 Матурана Умберто, Варела Франциско. Древо познания. Перевод с англ. Ю.А. Данилова. -- М.: Програсс-Традиция, 2001
      
      
       5 В качестве примера можно привести книгу: F. Varela The Third Culture. Simon&Schuster, 1995.
      
      
      
       6 Mandelbrot B. The Fractal Geometry of Nature. Freeman, San-Francisco.1977
      
      
       7 Mandelbrot B. The Fractal Geometry of Nature. Freeman, San-Francisco.1977 р.4
      
      
       8 Ю.А. Данилов В.В. Кадомцев Что такое синергетика? // www.synergetic.ru
      
      
       9 Статья была опубликована в сборнике "Социокультурная философия математики". Текст статьи есть на на моей ИНТЕРНЕТ странице www.iph.ras.ru/~vtar
      
      
       10 Тарасенко В.В. Логико-методологические аспекты концепции фрактала. Дисс. на соискание ученой степени кандидата философских наук. М., 1998. Автореферат находится на моей ИНТЕРНЕТ странице www.iph.ras.ru/~vtar
      
      
      
       11 Полани М. Личностное знание. М., Прогресс, 1985
      
      
       12 Меськов В.С. Очерки по логике квантовой механики. М., 1986. с.34
      
      
       13 Н.И. Кондаков Логический словарь-справочник. М., Наука, 1975 с. 515
      
      
       14 Зельдович Я.Б., Соколов Д.Д. Фрактали, подобие, промежуточная асимптотика //УФН, т.146 № 3.
      
      
       15 Mandelbrot B. The Fractal Geometry of Nature. Freeman, San-Francisco.1977 р.4
      
      
       16 Peitgen H.-O., Juergens H., Saupe D. Chaos and Fractals. New Frontiers of Science. Spr.-Verl. 1992. страниица 17
      
      
       17 Зенкин А.А. Ошибка Георга Кантора // Вопросы философии, 2000 №2, стр. 165-168, Зенкин А.А. Новый подход к анализу проблемы парадоксов // Вопросы философии", 2000, №10, стр. 79-90)
      
      
       18 Определение кортежа и его видов -- см. 2.4
      
      
       19 Хофштадтер Д. Гёдель, Эшер, Бах: эта бесконечная гирлянда. Самара. "Бахрах-М", 2001 с.113
      
      
       20 Г. Николис, И. Пригожин Познание сложного. Введение. М., Мир, 1990 с. 212 -- 223
      
      
      
       21 Г. Николис, И. Пригожин Познание сложного. Введение. М., Мир, 1990 с. 221
      
      
       22 Е. Федер. Фракталы. М., Мир, 1991
      
      
       23 Кортасар Х. Слюни дьявола: Рассказы, пьеса. СПб, Азбука-Классика, 2001 с.211
      
      
       24 Roger Penrose The Emperor's New Mind : Concerning Computers, Minds, and the Laws of Physics. Penguin Book 1987
      
      
       25 . Допустим, требуется написать программу А, которая бы по любому подаваемому ей на вход тексту программы В, определяла бы, остановится ли когда-нибудь программа В в процессе своей работы или зациклится. Если программа B зациклится во время своей работы, то программа A должна начать работу, выдать сообщение о зацикливании В и закончить свою работу. Тюринг в 1936 году показал, что написать программу А невозможно.
      
      
       26 Фуко М. Рождение клиники. М., Смысл. 1998
      
      
       27 Жиль Делез. Логика смысла. М., Академия, 1995
      
      
       28 Валерий Подорога Феноменология Телаю Введение в философскую антропологию. М., Ad Marginem, 1995
      
      
       29 Налимов В.В. Разбрасываю мысли. В пути и на перепутье. М., 2000 с. 15-19
      
      
       30 Герхард Шефер "Зигзаг" как метод обучения, или может ли из сумбура возникнуть порядок? // Синергетическая парадигма. Многообразие поисков и подходов. -- М., Прогресс-Традиция 2000
      
      
       31 А.Р. Лурия Об историческом развитии познавательных процессов. М., Наука, 1974
      
      
       32 Познание как фрактальное блуждание в мире.// Что значит знать? Сборник научных статей. СПб.: Университетская книга., 1999
      
      
       33 Матурана Умберто, Варела Франциско. Древо познания. М., Прогресс-традиция. 2001 с. 66-67, 160-161.
      
      
       34 Аршинов В.И., Свирский Я.И. Синергетическое движение в языке // Самоорганизация и наука: опыт философского осмысления. М., 1994
      
      
       35 Герман Хакен Принципы работы головного мозга: Синергетический подход к деятельности мозга, поведению и когнитивной деятельности. М., ПЕР СЭ, 2001
      
      
      
       36 Проблему остановки можно обойти, если "прокручивать" цикл конечное число раз. При достижении функции определенного значения цикл самоуничтожается вне зависимости от того, зациклился алгоритм или нет. Есть аналогия остановки и во фракталах -- ясно, что природный фрактал будет "бесконечен" лишь на определенном масштабном интервале. Природа периодически останавливает масштабные преобразования, переход на качественно новый масштабный интервал.
      
      
       37 Дж. Гибсон Экологический подход к зрительному восприятию. -- М., 1988г., с.34
      
      
       38 Человек Кликающий (Глобальная компьютерная сеть как философская проблема). // Журнал "Планета ИНТЕРНЕТ" №4(6) 1997 с.62; Парадигмы управления в информационно-коммуникативной культуре// Сборник Синергетика и социальное управление. М., Изд-во РАГС, 1998. - 325 с., ; Вариации на темы Маршала Маклуэна, Тимоти Лири и Бенуа Мандельброта//www.zhurnal.ru; Человек Кликающий: фрактальные нарративы// Международные чтения по теории, истории и философии культуры. Выпуск шестой. Проблемы общения в пространстве тотальной коммуникации. СпБ, "Эйдос", 1998; Антропология ИНТЕРНЕТ: самоорганизация "Человека кликающего"// Общественные науки и современность, #5, 2000
      
  • Комментарии: 21, последний от 11/01/2023.
  • © Copyright Тарасенко Владислав (odn1@mail.ru)
  • Обновлено: 18/12/2007. 165k. Статистика.
  • Монография: Философия
    • Оценка: 4.93*13  Ваша оценка:
    Связаться с программистом сайта.