Везде
О процессуальной логике
Оглавление
Аннотация Оценить Содержание публикации
Библиография Комментарии
Поделиться
QR
Метрика
О процессуальной логике
Аннотация
Код статьи
S004287440003872-4-1
Тип публикации
Статья
Статус публикации
Опубликовано
Авторы
Шалак Владимир Иванович 
Аффилиация: Институт философии РАН
Адрес: Российская Федерация, Москва
Выпуск
Выпуск №2
Страницы
35-40
Аннотация

В центре внимания – обсуждение идей, высказанных А.В. Смирновым в статье «Процессуальная логика и ее обоснование». Предложенный формализм не позволяет адекватно отразить особенности рассуждений о взаимодействующих процессах. В первую очередь это вызвано сложностью предмета исследования – взаимосвязанными динамическими процессами. Если представить рассуждения о процессах в терминах теории отношений, то упускается их отличительная особенность – динамический характер. Из теории вычислимости известно, что статичное теоретико-множественное представление функций не совпадает с представлением функций как вычислительных процедур. Точно так же и с процессами, которые мы наблюдаем в окружающем мире. Параллельно протекающие и взаимодействующие процессы несводимы к последовательным. К такому выводу подталкивает ряд нерешенных задач теории вычислимости. Необходимо дополнительное изучение процессов и создание специальных формализмов для их представления, после чего может быть поставлена задача поиска соответствующих им правил рассуждений. В информатике активное изучение взаимодействующих процессов началось после появления многопроцессорных систем для параллельных вычислений. Их моделирование и изучение проводилось средствами многосубъектной эпистемической логики и специальной алгебры процессов. Но эта задача все еще не получила окончательного решения. Как указывает автор обсуждаемой статьи, сохранившее самобытность философское наследие арабо-мусульманской культуры является носителем процессуального, а не субстанциального взгляда на окружающий мир. С этой точки зрения в нем может содержаться много ценных идей, которые способны помочь в решении поставленной задачи.

Ключевые слова
процесс, параллельные процессы, теория отношений, алгебра процессов, эпистемическая логика, теория вычислимости
Классификатор
Получено
14.03.2019
Дата публикации
27.03.2019
Всего подписок
89
Всего просмотров
858
Оценка читателей
0.0 (0 голосов)
Цитировать   Скачать pdf
Доступ к дополнительным сервисам
Дополнительные сервисы только на эту статью
Преимущества сервисов
100 руб. / 1.0 SU
Дополнительные сервисы на весь выпуск”
Преимущества сервисов
800 руб. / 16.0 SU
1 Обсуждение статьи «Процессуальная логика и ее обоснование» хочу начать с того, что мешает ее адекватному восприятию, а затем сказать несколько слов о перспективах дальнейших исследований и их связи с другими науками. Автор предлагает формальную систему записи для процессуальных рассуждений. Это означает, что согласно формальным правилам этой записи из посылок должно следовать заключение.
2

Попытка реконструкции
3 Рассмотрим две первые строчки Силлогизма 1.
4
1. А = (П1) => Б
2. потому, и только потому, что Б = (П2) => В
5 Интуитивно мы связываем процессы с разворачивающейся во времени последовательностью явлений. Обозначение А = (П1) => Б можно интерпретировать как то, что в некотором процессе П1 явление А предшествует явлению Б. Обозначение следующего процесса Б = (П2) => В аналогичным образом можно интерпретировать как то, что в процессе П2 явление Б предшествует явлению В. Само собой напрашивается соединение двух процессов в одну цепочку А = (П1) => Б = (П2) => В. Но тогда что имеется в виду под «потому, и только потому, что»? Изменение направления причинной связи?
6 Предложенное обозначение для процессов и комментарии к ним следует признать неудачными, так как через несколько страниц в пояснениях к Рис. 1 автор пишет: «Эти два процесса, таким образом, запускаются “сразу”, один вместе с другим. Это очевидно – иначе просто не может быть». В этом случае использование стрелок вместе со средним термином Б вводит в заблуждение.
7 Рассмотрим весь силлогизм.
1. А = (П1) => Б
2. потому, и только потому, что Б = (П2) => В
3. также и Г = (П2) => В
4. тогда А = (П1) => Г
8 Если судить по системе записи, непонятно соотношение второй и третьей посылки, поскольку они обе относятся к процессу П2. Как соотносятся Б и Г? По заключению, к которому приходит автор, можно предположить, что процесс Г = (П2) => В является подчиненным по отношению к Б = (П2) => В. То есть они находятся примерно в таком соотношении: Б =(П2) => Г = (П2) => В.
9 Но тогда весь силлогизм можно было бы записать следующим образом?
1. А = (П1) => Б посылка
2. Б = (П2) => Г посылка
3. Г = (П3) => В посылка
4. Б = (П2-3) => В заключение из 2, 3
5. А = (П1-2) => Г заключение из 1, 2
6. А = (П1-3) => В заключение из 3, 5
10 Заменив в исходном силлогизме вторую посылку Б = (П2) => В на Б = (П2) => Г, мы нисколько не нарушили понимания процессов как временной последовательности явлений. Зато в качестве заключений смогли получить не только заключение А = (П1-2) => Г исходного силлогизма, но и посылку Б = (П2-3) => В, которую при реконструкции заменили на Б = (П2) => Г, а также дополнительное заключение А = (П1-3) => В.
11

Недостатки реконструкции
12 Предложенная реконструкция исходила из представления процессов как временной последовательности явлений. В этом случае процесс может быть разбит на подпроцессы и т.д. В результате каждый процесс/подпроцесс характеризуется всего лишь его началом и концом, а сама суть того, что мы понимаем под процессами, ускользает. В качестве иллюстрации можно сравнить представление функций в теории множеств и в теории вычислимости. В теории множеств функции – это просто наборы пар вида . Как происходит само вычисление функции, никого не интересует. Функция статична, все возможные сочетания ее аргументов и значений с самого начала сведены в одну таблицу.
13 В теории вычислимости имеют дело с алгоритмами, посредством которых вычисляют значения функций для их аргументов. Выполнение алгоритмов протекает во времени. Хорошо известно, что два этих представления функций не эквивалентны. Точно так же и с процессами, мы можем представить их как наборы уже известных начал процессов и их завершений, но динамическая природа будет упущена.
14 Из самого содержания статьи видно, что автора интересуют процессы и взаимосвязи между ними в первую очередь с точки зрения динамики, так как окружающий нас мир динамичен, а не статичен.
15 Как известно, в истории античной философии динамическую точку зрения на природу, когда в одну и ту же реку нельзя войти дважды, развивал Гераклит. Но среди его последователей не оказалось достаточно крупной фигуры, сравнимой с Аристотелем, чтобы построить работающую теорию процессуальных способов рассуждений. Попытки последующих диалектиков использовать для этого понятийный аппарат логики Аристотеля ни к чему хорошему не привели, так как этот аппарат с самого возникновения был неадекватен для представления процессов и их описания. Возможно, арабо-мусульманская культура в лице ее ученых представителей, не сразу подвергшись подавляющему греческому влиянию, имела больше времени для осмысления динамического взгляда на природу. Мы прекрасно понимаем, что окружающий мир не статичен, но до сих пор не выработали адекватной системы понятий для рассуждения о нем, редуцируя все к кинематографической последовательности картинок без видимой связи между ними. Как можно утверждать, что я вчера и я сегодня – это один и тот же человек, если за истекшие сутки я уже успел в чем-то измениться? Выход может быть найден в том, чтобы отказаться от субстанциального взгляда, заменив его на процессуальный. Я – это процесс, становящаяся траектория в пространстве и времени, а не срез набора мгновенных значений атрибутов.
16 С этой точки зрения нельзя согласиться с утверждением автора, что атрибутивные силлогизмы не сводимы к процессуальным. Коль скоро умозаключения по атрибутивному силлогизму – это мгновенные срезы процессуальной действительности, то они просто должны быть так или иначе сводимы к процессуальным. В чем смысл суждения «Сократ смертен» с точки зрения процессуального понимания человеческой жизни? Это означает всего лишь то, что процесс жизни Сократа имеет завершение. В чем смысл суждения «Все люди смертны»? В том, что процессуальное понимание человеческой жизни в одном из своих аспектов связано с конечностью этих процессов. В этом случае знаменитый силлогизм «Все люди смертны. Сократ – человек. Следовательно, Сократ смертен» с процессуальной точки зрения выглядит вполне естественно.
17

Перспективы исследований
18 Задача, которую поставил перед собой автор, важна с точки зрения решения, но сложна, поскольку непосредственно имеет дело с двумя фундаментально различными взглядами на окружающий мир. До сих пор точные науки пытались приспособить статичные понятия и способы оперирования ими для рассуждений об изменяющемся мире. Эти попытки в принципе не могли привести к решению проблемы.
19 Некоторый прорыв произошел после возникновения и последующего развития теории вычислимости. Когда появились первые многопроцессорные компьютеры, способные производить параллельные вычисления, была поставлена задача моделирования вычислений не как цепочки операций, а как набора взаимодействующих процессов. Для этого в качестве логического инструментария была, в частности, использована многосубъектная эпистемическая логика [Belardinelli, Lomuscio 2009]. За каждый процесс отвечал один эпистемический субъект, который мог обменивался информацией с другими субъектами и планировал свои будущие действия не только в зависимости от достигнутого им состояния, но и в зависимости от той информации, которой он обменялся с другими субъектами. Комментарий автора о связи между двумя первыми посылками силлогизма «потому, и только потому,, что» в параллельных вычислениях трансформируется в информационную взаимозависимость одновременно реализуемых процессов.
20 Однако недостаток такого подхода к анализу параллельно развивающихся процессов заключается в том, что их все-таки редуцируют к дискретным последовательностям состояний. В настоящее время для анализа параллельных процессов активно развивается алгебра процессов [Baeten 2005]. При этом подходе не стоит задача внутреннего моделирования процессов, а анализируются и строятся формализмы, внешним образом описывающие взаимодействие процессов. Такой подход более перспективен, но не следует забывать, что названные исследователи в первую очередь нацелены на применение их методов в computer science.
21 Философская точка зрения на процессы имеет большую степень общности. Как сообщает автор статьи, арабские ученые имеют в этой области значительные наработки, которые могут быть использованы в качестве эвристик при построении теории процессуальной логики. А для этого нужна более детально проработанная теория взаимодействующих процессов, учитывающая, что уже сделано в этом направлении в арабской философии.
22 Причинная связь является всего лишь одним из видов связей между явлениями. Говорить, что процессы связаны причинной связью, не совсем корректно, так как, во-первых, при обычном понимании причинности она имеет место между явлениями, а не процессами как последовательностью явлений, что не одно и то же. Во-вторых, процессы могут протекать параллельно, что нарушает условия, характеризующие причинную связь. Имеется в виду условие последовательности во времени причины и действия. В то же время функциональная связь между рядами явлений может быть как последовательной, так и параллельной, и даже иметь направление, противоположное течению времени. Функциональная связь не обязательно является жестко детерминированной, но может быть и вероятностной по природе, например, корреляцией между рядами событий.
23 В некоторых случаях функциональная связь может быть опосредована участием третьей внешней причинной зависимости. Например, между движением спутников Земли существует особая функциональная связь, возникновение которой вызвано не их прямым взаимодействием, а тем, что спутники находятся в общем гравитационном поле Земли. Некоторые примеры рассуждений по аналогии могут быть обоснованы именно путем выявления внешней причинной или информационной взаимозависимости.
24 В зависимости от типа связи между процессами и рассуждения об их протекании могут находиться в границах от строго детерминированных до правдоподобных. Далеко не случайно в обсуждаемой статье упоминается, что западные ученые отмечают сходство используемых способов рассуждений о процессах с рассуждениями по аналогии. Но это лишь один из аспектов.
25 В качестве гипотезы о характере и возникновении параллельных процессов можно предположить, что в каждом процессе можно выделить ряд параллельных процессов или мысленно разложить на такие процессы. Например, в жизни отдельного человека можно выделить следующие параллельно развивающиеся процессы: жизнь человека как физического тела, интеллектуальная жизнь, нравственное развитие, семейная жизнь, профессиональное совершенствование и пр. Все они в большей или меньшей степени взаимозависимы.
26 Согласно тезису Чёрча – Тьюринга, всякое вычисление может быть представлено как последовательность выполняемых команд. В то же время известно, что мы можем многие из вычислений представить в виде выполнения двух или более параллельных вычислений, связанных информационно. С точки зрения времени вычисления это дает значительную экономию. Если распространить принцип наименьшего действия на параллельные процессы, природа всегда выбирает самые короткие пути, и возникновение и протекание параллельных процессов – это закон природы. Ей так проще и экономнее. Она больше успевает сделать за единицу времени. Отсюда же следует принцип максимальной насыщенности параллельными процессами. Их должно быть ровно столько, сколько требуется для быстрейшего выполнения основного процесса. Не больше и не меньше.
27 Приведем пример, как одна и та же задача может быть решена посредством представления решения в виде последовательности дискретных шагов и посредством некоторого разветвленного процесса. Представим, что у нас в руках находится красивая хрустальная ваза. Требуется сделать вывод о ее целостности. Один из способов решения задачи – вооружиться подходящими оптическими приборами и начать осматривать каждый миллиметр ее поверхности на предмет обнаружения трещин. Но есть и другой гораздо более эффективный метод – просто слегка щелкнуть по ней пальцем и прислушаться к звуку, который она издаст. Если есть трещины, то мы узнаем о них. Щелчком мы запускаем не дискретный, а непрерывный процесс, который из точки щелчка распространяется в разные стороны (ветвится на множество параллельных процессов) и по результату которого мы приходим к требуемому заключению гораздо быстрее, нежели при осмотре всей поверхности.
28 В теории вычислимости сравнение эффективности последовательных и параллельных процессов находит отражение в различении детерминированных и недетерминированных вычислений. Вычислительный процесс, решая переборную задачу по нахождению объекта с требуемыми свойствами, на некоторых шагах имеет возможность выбора, какой следующий объект взять для тестирования. Если случайно будет выбран элемент, который обладает требуемыми свойствами, то задача будет решена за минимальное число шагов. А если требуемый элемент окажется последним в списке перебора, то на решение задачи будет затрачено непростительно много времени. Вместо последовательного перебора можно представить, что в ситуации выбора процесс распараллеливается по одному отдельному процессу на каждый исследуемый элемент. Тогда один из этих процессов сразу обнаружит требуемый элемент и сообщит об этом всем другим процессам, после чего вычисление завершится. Задача решена. Математически все просто, но как это реализовать на практике? В примере с вазой, осматривая каждый элемент поверхности, мы решали переборную задачу. Если бы сразу на каждый миллиметр поверхности было по оптическому прибору и наблюдателю, задача была бы решена сразу. Но Природа поступает проще. Запуская волновой процесс по всей поверхности вазы, она быстро решает эту задачу. Если трещина в вазе есть, то не важно, в каком она месте. Главное, что она существует, и потому ваза отправляется в корзину брака.
29 Возвращаясь к теории вычислимости, следует упомянуть, что одной из не решенных до сих пор задач является так называемая задача P=NP [Гэри, Джонсон 1982]. На понятном всем языке это задача поиска ответ на вопрос, можно ли посредством последовательных алгоритмов решать задачи так же быстро, как это удается делать посредством недетерминированных (параллельных) алгоритмов? До сих пор ответ на этот вопрос не получен, и большинство ученых сходятся во мнении, что нельзя.
30

Заключение
31 Проблемы, затронутые в обсуждаемой статье, исключительно важны с философской точки зрения. Более того, практика уже сегодня вплотную подошла к необходимости их решения, поскольку от этого зависит дальнейшее развитие вычислительной техники. Безуспешность попыток решения P=NP проблемы подталкивает к заключению, что параллельные процессы, как пишет и автор обсуждаемой статьи, несводимы к последовательным. В этом случае и процессуальная логика должна обладать характеристиками, которые отсутствуют в способах рассуждений, сертифицированных современной логикой. Другое дело, что пока что неясно, какими должны быть эти характеристики. Но в любом случае для их поиска потребуются значительные совместные усилия как философов, имеющих доступ к богатому историческому наследию человеческой мысли, так и представителей точных наук, обладающих навыками переводить и формулировать неясные интуиции в терминах строго заданных языков со строгой семантикой.

Библиография

1. Baeten, Jos C.M. (2005) УA Brief History of Process AlgebraФ, Theoretical Computer Science, Vol. 335, Issue 2Ц3, pp. 131Ц146.

2. Belardinelli, Francesco, Lomuscio, Alessio (2009) УQuantified epistemic logics for reasoning about knowledge in multi-agent systemsФ, Artificial Intelligence, Vol. 173, pp. 982Ц1013.

3. Garey, Michael, Johnson, David S. (1979) Computers and Intractability: A Guide to the Theory of NP-Completeness, W. H. Freeman and Co, San Francisco (Russian Translation 1982).

Комментарии

Сообщения не найдены

Написать отзыв
Перевести