CC BY
23Логические исследования 2021. Т. 27. № 2. С. 48-65 УДК 16
Logical Investigations 2021, Vol. 27, No. 2, pp. 48-65 DOI: 10.21146/2074-1472-2021-27-2-48-65
В.И. ШАЛАК
Логика в онтологии процессов
Владимир Иванович Шалак
Институт философии РАН.
Российская Федерация, 109240, г. Москва, ул. Гончарная, д. 12, стр. 1. E-mail: shalack@gmail.com
Аннотация: Целью работы является исследование языковых средств, которые могут быть использованы для проведения рассуждений о процессуальной онтологии, которая отличается от субстанциальной более сложной структурой элементарных «кирпичиков», лежащих в ее основе. Следствием этого является необходимость использовать языки с более богатыми выразительными возможностями, чем язык классической логики. В работе рассматриваются языки с унарными и бинарными модальностями. Отдельные процессы можно анализировать с двух точек зрения — статики и динамики. В первом случае нас интересуют высказывания, истинность которых зависит лишь от внутренней структуры текущего процесса. Отношение деления процессов позволяет определить на его частях транзитивный, плотный линейный порядок без первого и последнего элементов, который можно понимать как локальный временной порядок данного процесса. Это, в свою очередь, позволяет говорить о начале процессов, их протекании и окончании. Появляется возможность определить понятия состояния процесса и процесса как события. Включение в язык бинарной модальности типа некоммутативной конъюнкции позволяет определить аналог причинно-подобной условной связи между частями процесса. Динамика процессов подразумевает возможность их продолжения за пределы текущего процесса. Это может происходить либо благодаря имплицитным причинным связям, когда текущий процесс содержит в себе причину своего будущего продолжения, либо в результате действий активных агентов, которые сами формируют это продолжение. Для представления динамики процессов как следствия действий активных агентов использован упрощенный вариант языка динамической логики. Также показано, каким образом можно учитывать цели, которые ставят перед собой активные агенты при выполнении тех или иных действий.
Ключевые слова: процесс, онтология процессов, логика процессов, статика процессов, динамика процессов
Для цитирования: Шалак В.И. Логика в онтологии процессов // Логические исследования / Logical Investigations. 2021. T. 27. № 2. С. 48-65. DOI: 10.21146/2074-1472-202127-2-48-65
© Шалак В.И.
1. Введение
Целью настоящей работы является исследование языковых средств и логики, которые могут быть использованы для рассуждений о процессуальной онтологии.
В предыдущей публикации [Шалак, 2020] был проведен сравнительный логический анализ субстанциальной и процессуальной онтологий. Для процессуальной онтологии были выделены ее основные составляющие структуры и предложен ряд характеризующих их постулатов.
Процессуальную онтологию можно представить четверкой и, О, <), где IV — действительный мир, понимаемый как единый процесс. Предметы в самом общем смысле понимаются как «пучки» составляющих их подпроцессов. В соответствии с этим и представляет совокупность подпроцессов IV. < — отношение частичного порядка на и, понимаемое как отношение быть подпроцессом, а IV — его наибольший элемент. Процессы характеризуются протяженностью и направленностью. Протяженность предполагает возможность (мысленного) деления процессов на последовательные части. Это деление представлено трехместным отношением О С и х и х и: Ордт — процесс р можно разделить на предшествующую и последующую части — д и т.
Ранее было показано, что отношение < естественным образом приводит к логикам силлогистического типа. Теперь мы должны продолжить и исследовать логические структуры, связанные с протяженностью и направленностью процессов.
По сравнению с предыдущей публикацией [Шалак, 2020] семантические постулаты для отношения О уточнены и их стало меньше. Незначительные изменения коснулись постулатов 2, 6 и 7. Для краткости мы используем в метаязыке очевидные по смыслу сокращения &, V, 3, V для
соответствующих фраз естественного языка.
1.1. Семантические постулаты для отношения О
1. Vp3ж3yDpжy — всякий процесс р можно разделить на предшествующую х и последующую у части, также являющиеся процессами.
2. Орху ^ ~3дОдух — левую и правую части деления процесса нельзя поменять местами.
3. Орху & Одху ^ р = д — процесс однозначно задается своими частями.
4. Орху & Орху ^ х = г — процесс однозначно задается своими частями.
5. Орху & Орхг ^ у = г — процесс однозначно задается своими частями.
6. Зш(Врхш & Ошуг) ^ Зи(Ориг & Оиху) — последовательное деление процесса на части ассоциативно. Сначала мы можем разделить процесс р на две части х и ш, а потом разделить вторую часть ш еще на две — у и г, а можно сначала разделить р на две части и и г, а потом разделить первую часть и на х и у. Результат останется прежним.
7. Зр(Орху & Орги) ^ Эьфгхь & Бууи) V Зу(Охгу & Биуу) V Зр(х = г & у = и & Орхи) — как могут соотноситься два произвольных деления одного и того же процесса.
Понятие процесса в процессуальной онтологии является исходным и не редуцируемым ни к чему другому, но это не означает, что мы не можем построить для постулатов стандартную модель, единственное назначение которой — подтвердить их непротиворечивость.
• Пусть IV — множество всех рациональных чисел.
• Для любых двух таких рациональных чисел а и Ь, что а < Ь, существует открытый интервал (а,Ь) = {с : а < с < Ь}. Пусть и = {(а,Ь) : а е IV & Ь е IV & а<Ь}и{^}.
• Любое число с е (а, Ь) задает деление этого интервала на два других открытых интервала (а, с) и (с,Ь). Это и будет отношением деления процессов О = {< х, у, г >: ЗаЗЬЗс[а < с < Ь & х = (а, Ь) & у = (а, с) & г = (с, Ь)]}.
• Отношение быть подпроцессом отождествим с нестрогим отношением включения <= {< х,у >: х е и & у е и & х С у}.
Легко проверить, что все наши постулаты истинны в этой модели. При этом необходимо еще раз подчеркнуть, что предложенная модель не означает редукции онтологии процессов к теоретико-множественной субстанциальной онтологии, а всего лишь служит цели показать, что постулаты непротиворечивы. Мы знаем, что логику предикатов нельзя редуцировать к логике высказываний, но одним из способов показать ее непротиворечивость является построение перевода всех формул языка логики предикатов в язык логики высказываний путем стирания кванторов, индивидных констант и переменных. В результате все аксиомы логики предикатов превращаются в тавтологии логики высказываний. На семантическом уровне это равносильно тому, что для доказательства непротиворечивости логики
предикатов достаточно проверить истинность ее аксиом в одноэлементной модели. Так же и в нашем случае. Для описания и рассуждений о процессах мы вынуждены пользоваться тем фрагментом естественного языка, который имеет теоретико-множественную семантику. Этот язык обязан подчиняться требованию непротиворечивости. Мы всего лишь показали, что принятие постулатов для О не нарушает этого требования.
1.2. Основные характеристики отношения О
В дальнейшем нам понадобятся определения следующих отношений:
Хрх ■^def ЗуОрху, где х является левой частью (началом) процесса р.
Вв/.2 Дрх ■^def ЗуОрух, где х является правой частью (концом) процесса р.
ВеЦ.З 5рх ■^def 3у(Дру & Хух), где х является внутренним сегментом процесса р.
Ов/.4 Ррх ^def Хрх V £рх V Дрх, где х является собственной частью процесса р.
Основные характеристики логики процессов определяются свойствами отношения О и производных от него, которые мы только что определили.
Утверждение 1. Отношения О, X, Д и Р обладают следующими свойствами:
1. Орху ^ р = х & р = у & х = у.
2. ~Ххх — иррефлексивность.
3. Хху & Хух ^ Ххх — транзитивность.
4. Хху ^ 3х(Ххх & Хху) — плотность.
5. Хрх & Хру ^ Хху V Хух V х = у — линейность.
6. Vx3yXxy — нет последнего элемента.
7. ~Дхх — иррефлексивность.
8. Дху & Дух ^ Дхх — транзитивность.
9. Дху ^ 3х(Дхх & Дху) — плотность.
10. Rpx & Rpy ^ Rxy V Ryx V x = y — линейность.
11. VxllyRxy — нет последнего элемента.
12. Lpx ^~Rpx — дизъюнктность L и R.
13. ~Pxx — иррефлексивность.
14. VxllyPxy — нет последнего элемента.
15. Pxy & Pyz ^ Pxz — транзитивность.
16. Pxy ^ llz(Pxz & Pzy) — плотность.
Поскольку в настоящей работе нас будут в основном интересовать те характеристики логики процессов, которые связаны с их протяженностью и направленностью, в определении модели M = (U, D, I) мы опустим упоминание отношения быть подпроцессом и наибольшего элемента W для него, оставив лишь множество всех процессов U, отношение деления процессов D и добавив функцию интерпретации I: Prop ^ 2 U, сопоставляющую каждой пропозициональной переменной множество процессов, на которых она истинна. Определения обычных связок оставим стандартными.
2. Статика процессов
Обычно для выражения протяженности процессов мы прибегаем к использованию временных маркеров было или будет. В онтологии процессов время пока что никак не фигурирует, но, как следствие нашего понимания протяженности, условно левые и правые части могут быть ассоциированы с началом и концом процесса относительно данного деления. Это и послужит нашей отправной точкой.
2.1. Процессы и время
Расширим язык логики высказываний операторами (L), (Л) и определим понятие формулы следующим образом:
Def.5 A := Prop | -A | (A Л B) | (L) A | (R) A.
Моделью будем называть тройку M = (U, D, I).
Def.6 M, x И A — формула A истинна на процессе x модели M:
• M, x И q ^ x G /(q), q G Prop;
• MM, x И — A ^ M, x A;
• М, х = А Л В & М, х = А & М, х = В;
• М, х = (Ь) А & Зу(1ху & М, у = А;
• М,х = (К) А & Зу(Яху & М, у = А).
Бе/.7 = А &ае/ УМУх(М, х = А) — формула А общезначима.
В дальнейшем, если модель М фиксирована, мы будем опускать ее упоминание. Смысл формул вида (Ь) А и (К) А достаточно очевиден. Формула (Ь) А истинна на процессе х, е. и т.е. А истинна на некотором его начале. Аналогично для (К) А. Условия истинности формул (Ь) А и (К) А определяются аналогично условиям истинности формул с операторами возможности в модальной логике, если Ьху и Б,ху понимать как отношения достижимости на возможных мирах. Это позволяет по аналогии с модальной логикой определить дуальные операторы [Ь] и [К] типа необходимости:
Ве!.8 [Ь] А &Ле/ - (Ь) -А.
Бе/.д [К] А &Ле/ - (К) -А.
Им будут соответствовать следующие условия истинности:
• х = [Ь] А & Уу(1ху ^ у = А);
• х = [К] А & Уу(Яху ^ у = А).
Имеет место следующее утверждение. Утверждение 2.
1. = А ^ = [Ь] А.
2. = [Ь](А э В) э ([Ь] А э [Ь] В).
3. = [Ь] А = - (Ь) -А.
4. = [Ь] А э [Ь] [Ь] А — транзитивность.
5. = [Ь] [Ь] А э [Ь] А — плотность.
6. = ((Ь) А Л (Ь) В) э (Ь) (А Л В) V (Ь) (А Л (Ь) В) V (Ь) ((Ь) А Л В) —
линейность.
7. = (Ь) (А V -А) — бесконечность.
8. = А ^ = [К] А.
9. И [R] (A D B) D ([R] A D [R] B).
10. И [R] A = - (R) -A.
11. И [R] A D [R] [R] A — транзитивность.
12. И [R] [R] A D [R] A — плотность.
13. И ((R) A Л (R) B) D (R) (A Л B) V (R) (A Л (R) B) V (R) ((R) A Л B) — линейность.
14. И (R) (A V -A) — бесконечность.
15. И (L) (R) A = (R) (L) A — обратимость.
16. P (L) A = (R) A.
Мы видим, что операторы (L) и (R) позволяют выразить свойства транзитивности, плотности, линейности и бесконечности, что, в свою очередь, позволяет нам ассоциировать их с временным порядком отдельных процессов. Это находится в полном соответствии с тем, что было сказано в [Шалак, 2020]. Общезначимость формулы 15 говорит о симметричности левого и правого направлений, что соответствует обратимости времени в законах физических наук. В то же время необщезначимость формулы 16 говорит, что левые части процессов отличны от правых, прошлое отлично от будущего.
2.2. Состояния и события
Передо мной на столе лежит открытая книга. Ее состояние — быть открытой. Я могу перелистывать ее страницы, но она продолжает находиться в этом состоянии. Затем я закрываю книгу. Закрывание книги — событие, которое характеризуется тем, что наступает оно лишь после того, как книга становится закрытой. Многое в изменяющемся мире можно описать в терминах смены состояний и событий. Состояние — характеристика того, что стабильно в процессе, событие — характеристика происходящих в процессе изменений. Эти понятия не абсолютны. Книга у меня на столе сохраняет состояние быть открытой, но в то же время оно состоит из ряда промежуточных событий перелистывания страниц. Идея различения этих понятий взята из работ по планированию действий [Allen, 1984] и [Allen, Ferguson, 1994].
Введем в язык еще два оператора, которые обозначим посредством (P) и [P]. Они позволят делать утверждения не только о началах или концах процессов, но и о любых внутренних фрагментах:
Def.10 {P} A &def {L} A V {R} {L} A V {R} A.
Def.11 [P] A &def - {P} - A.
Им будут соответствовать условия истинности:
• x И {P} A & 3y(Pxy & y И A);
• x И [P] A & Vy(Pxy ^ y И A).
Утверждение 3. Формулы вида {P} A и [P] A обладают следующими свойствами:
1. И A ^ И [P] A.
2. И [P] (A э B) э ([P] A э [P] B).
3. И [P] A D [P] [P] A — транзитивность.
4. И [P] [P] A D [P] A — плотность.
5. И {P} (A V -A) — бесконечность.
Теперь мы готовы определить понятия состояния процесса и события. В качестве сокращений введем в язык операторы S (.state) и E (event).
Процесс характеризуется состоянием A, е.т.е. A истинно как на всем процессе, так и на всех его собственных частях:
Def.12 SA &def A Л [P] A.
Процесс представляет событие A, е.т.е. A истинно на всем процессе, но ложно на всех его собственных частях:
Def.13 EA &def A Л [P] -A.
Чтобы проиллюстрировать эти понятия на реальном примере, представим парусное судно, которое плывет против ветра, периодически меняя галсы. Каждая смена галсов является событием. Оно протекает во времени, но наступает лишь после того, как поворот с перебрасыванием парусов на другую сторону завершен. В промежутках между сменами галсов судно находится в состоянии движения в выбранном направлении. Этот процесс описывается последовательностью событий и состояний в том смысле, как мы их определили.
2.3. Бинарные модальности
Онтология процессов и отношение деления D естественным образом приводят к необходимости использования бинарных модальностей, поскольку унарные модальные операторы не позволяют выразить многих интересных логических характеристик процессов. Добавим к языку логики высказываний бинарный оператор ф и определим понятие формулы следующим образом:
Def.14 A := Prop | —A | (A Л B) | (A ф B).
В качестве условия истинности для формул вида A ф B примем следующее:
• x И A ф B ^ 3y3z(Dxyz & y И A & z И B).
Можно провести аналогию между оператором ф и оператором временной логики Вригта «And_next» [Wright, 1965; Вригт, 1986]. У Вригта смысл формулы (A And_next B) заключается в том, что в модели дискретного времени в некоторый момент имеет место A, а в следующий момент имеет место B. В логике процессов формула (A ф B) означает, что при некотором делении процесса на две части на левой имеет место A, а на правой — B, но это не то же самое, что B имеет место в следующий момент времени. Например, в модели дискретного времени трудно предложить естественную семантику для предложения «Я пришел домой и отдыхаю». В процессуальной логике это выражается непосредственным образом («Я пришел домой» ф «Я отдыхаю»).
Оператор ф обладает чертами некоммутативной конъюнкции и позволяет ввести в язык аналог импликации ^ для обозначения условной связи между предшествующими и последующими частями процессов.
Def.15 A ^ B ^def —(A ф —B).
Условия истинности для формул типа A ^ B имеют следующий вид:
• x И A ^ B ^ VyVz(Dxyz & y И A ^ z И B).
О выразительных возможностях языка с бинарным оператором ф говорит уже то, что в нем можно легко определить рассмотренные ранее унарные операторы:
Def.16 (L) A ^def A ф (A V — A).
Def.17 (R) A ^def (A V —A) ф A.
Связка «если..., то... » естественного языка часто употребляется в овремененном смысле для обозначения, например, причинной связи. Обычная материальная импликация для этого не подходит. Оператор ^ обладает характеристиками условной связи, которую можно понимать как причинную связь, когда причина отлична от действия и полностью ему предшествует. Примером такой причинной связи является, например, столкновение биллиардных шаров.
Логика с операторами ф и ^ родственна интервальной временной логике СБТ [Уепеша, 1991], но в деталях и семантике отличается.
Утверждение 4. Формулы вида А ф В и А ^ В обладают следующими свойствами:
1. = (А V-A) ф (А V-A).
2. = А ф (В Ф а) = (А Ф В) Ф а.
3. Р А ^ А.
4. = А ^ = В ^ А.
5. = А ^ = -А ^ В.
6. = А ^ (В Л а) & = (А ^ В) Л (А ^ а).
7. = А ^ В ^ = (А Л а) ^ В.
8. = (А ^ а) Л (В ^ а) ^ = (А V В) ^ а.
9. = А ^ В ^ = А ^ (В V а).
10. = А, = А ^ В ^ = [К] В.
11. = (А ^ В) Л(Ь) А э (К) В.
12. = А ^ (ь) в, = в ^ а ^ = А ^ (к) а.
Общезначимость формулы 1 соответствует семантическому постулату 1 для отношения О и говорит о том, что любой процесс может быть разделен на две части.
Формула 2 говорит об ассоциативности отношения деления процессов и соответствует постулату 6 для отношения О.
Необщезначимость закона тождества 3 следует из постулата 2 для отношения О и независимости приписывания истинностных значений пропозициональным переменным на частях процессов.
Формулы 4 и 5 являются аналогами парадоксов материальной импликации, но не для истинности, а для общезначимости формулы A.
Формулы 6-9 не нуждаются в комментариях.
Формулы 10 представляют аналог modus ponens для общезначимости: если общезначимы A и A ^ B, то в конце каждого процесса будет истинно B.
Формула 11 является сильным вариантом 10, более детально представляя внутреннюю структуру modus ponens. Чтобы применить его, формула A должна быть истинна в начале текущего процесса, и тогда в конце процесса будет истинна формула B.
Формулы 12 представляют транзитивность условной связи ^ на процессах.
3. Динамика процессов
В предыдущих параграфах мы рассмотрели формулы с модальными операторами, истинность которых зависит лишь от истинности на частях данного процесса, но не зависит от возможного последующего его развития. Это развитие может быть обусловлено либо причинными связями, которые естественным образом приводят к продолжению текущих процессов, либо действиями активных агентов, которые сами выбирают, как дальше будет развиваться данный процесс.
3.1. Продолжение процессов
Добавим к языку с бинарными модальными операторами ® и ^ новый унарный оператор :
Def.18 A := Prop | -A | (A Л B) | (A ® B) | (A ^ B) | О A.
Следующим образом определим условия истинности формул вида A:
• x И О A ^ 3pEly(Dpxy & y И A).
Смысл формул вида A очевиден. A истинна на текущем процессе, е.т.е. этот процесс имеет продолжение, на котором истинна формула A. Это определение замечательно тем, что оно задает направленность развития процессов, и потому допустимо читать формулы вида ОA как «далее будет A». Итерацию оператора О можно понимать просто как будет.
Добавим к языку новый оператор в качестве дуала для :
Def.19 DA ^def -O-A.
• x И a A ^ VpVy(Dpxy ^ y И A).
Утверждение 5. Имеют место следующие утверждения:
1. И A ^ И a A.
2. И □ (A D B) D (□ A D □B).
3. ¥ □ A DO A.
4. И A ^ B ^ И A d □ B.
Истинность формулы 4 говорит о том, что если общезначима условная связь A ^ B и на каком-то процессе истинно A, то на каждом его продолжении будет истинно B. Однако необщезначимость формулы 3 говорит, что из B еще не следует, что процесс действительно будет иметь продолжение. Образно говоря, онтология процессов допускает их окончание.
3.2. Порождение процессов
В предыдущем параграфе мы рассмотрели ситуацию продолжения процессов в общем виде независимо от того, чем это продолжение вызвано. Теперь же рассмотрим случай, когда продолжение текущего процесса имеет место в силу действий активного агента. Пусть он фиксирован и с ним ассоциирован набор элементарных действий Act, которые он способен совершить.
Распространим функцию интерпретации I на элементарные действия I: Act U Prop ^ 2U. Каждому действию d £ Act эта функция сопоставляет множество процессов I(d), которые оно может породить.
Понятие формулы определим следующим образом:
Def.20 A := Prop | —A | (A Л B) | (A ф B) | (A ^ B) | О A | < d > A, где d £ Act.
В качестве условий истинности для формул вида <d>A примем следующие:
• x И^> A ^ 3p3y(Dpxy & y £ I(d) & y И A).
Определим дуальный оператор [d] и приведем для него соответствующие условия истинности:
Def.21 [d] A ^def — <d> —A.
• x И [d] A ^ VpVy(Dpxy & y £ I(d) ^ y И A).
Утверждение 6. Имеют место следующие утверждения:
1. = А ^ = [Щ] А.
2. = [с!](А э В) э ([!] А э [с!] В).
3. = [Щ] А э О А.
Общезначимость формулы 3 говорит о том, что порождение новых процессов в результате действий активных агентов является частным случаем общего продолжения процессов.
3.3. Целеполагание активных агентов
Если посмотреть на происходящие в окружающем нас мире изменения, их можно разделить на два вида. К первому виду относятся изменения, описываемые законами наук. Они были эксплицированы в номологической модели объяснения К. Гемпеля. Ко второму виду относятся изменения, инициируемые активными целесообразно действующими агентами. Такие изменения могут быть названы алгоритмическими, поскольку получают объяснение в терминах следования предписаниям для достижения требуемого результата. Примером первого вида изменений может быть падение камня с крыши, второго — бросок камня, чтобы попасть в цель. В первом случае падение камня описывается законами механики, во втором — целесообразным действием человека.
Широко распространено мнение, что неформальное понятие алгоритма было строго уточнено в работах А. Чёрча и А. Тьюринга, что тезис Чёрча-Тьюринга является утверждением о том, что любой алгоритм может быть представлен в терминах абстрактного вычислительного устройства Тьюринга. Это не совсем верно. Тьюринг предложил математический формализм для описания возможных символьных преобразований, которые способен произвести человек-вычислитель, но не описание общего понятия алгоритма. Человек-вычислитель оперирует с символами, а не с физическими объектами. Знаконосители всего лишь репрезентируют то, что человек хочет видеть за ними, а вычисление на машине Тьюринга — это переход от одной символьной репрезентации, называемой начальной, к другой, называемой конечной. В зависимости от принятых соглашений одна и та же комбинация букв используемого алфавита может означать разные объекты. Например, три единички 111 по их количеству могут представлять число три, в двоичной системе записи они будут представлять уже число семь, а в десятичной — число сто одиннадцать. Соответственно, в зависимости от принятых соглашений одна и та же машина Тьюринга будет вычислять разные функции.
С другой стороны, машина Тьюринга описывается в языке с конечным алфавитом символов, внутренних состояний и действий. С их помощью формулируются конечные наборы правил, управляющих работой машины. Это позволяет путем гёделизации закодировать все возможные машины и дальше исследовать их характеристики в терминах Гёделевых номеров, которые однозначно представляют не только синтаксис, но и семантику машины Тьюринга. Результат работы машины Тьюринга однозначно детерминирован ее номером (программой) и входными данными. Именно это и используется для доказательства основных теорем теории вычислимости.
Всякое действие, выполняемое абстрактной машиной Тьюринга, завершается успешно. У нее не могут закончиться чернила для печати, и никто не может вдруг выключить ее или сломать. Результат любого действия совпадает с целью, ради которой оно совершается. Если машина должна напечатать символ на рабочей ленте, то она его печатает, и результат выполнения всей программы будет одним и тем же при каждом ее запуске.
Теперь посмотрим на алгоритмические явления в природе, которые внешним образом мы можем описать как следование набору предписаний для достижения требуемого результата. Любой такой набор предписаний можно переформулировать в виде набора правил «Если C, сделай d». Легко показать, как с помощью таких правил задается очередность выполнения действий, их повторение, выбор вариантов, начало и завершение алгоритма. Именно с помощью таких условных правил формулируются программы для машины Тьюринга. Если мы захотим описать физически реализуемые алгоритмы таким же образом, то обнаружим, что в правилах не хватает указания на цели, ради которых они совершаются, и потому говорить об успешности выполнения правила нельзя без учета достижения цели. Более правильным было бы представлять правила, описывающие физический алгоритм, как «Если C, сделай d, чтобы G», где G (goal) — некоторое событие или процесс, являющиеся целью выполнения данного правила. Например, «Если ты голоден (C), пойди в магазин (d), чтобы купить продукты (G)». Покупка продуктов — это физический результат, а не символьная репрезентация в виде кассового чека. В этом заключается главное отличие символьных алгоритмов от физических. «Если в комнате темно (C), нажми на кнопку выключателя (d), чтобы зажечь лампу (G)». Горящая лампа — это конкретный физический процесс, а не символьная репрезентация. Если болит голова, мы выпиваем таблетку обезболивающего, чтобы запустить специальные физико-химические процессы в организме. Крестьяне пашут землю и бросают в нее зерна, чтобы запустить процесс созревания урожая.
Алгоритмические процессы в природе выполняются в окружении неалгоритмических процессов. Неожиданный порыв ветра может помешать попасть камнем в цель, хлеба в магазине может не оказаться, электропроводка в квартире может оказаться повреждена, капризы погоды могут загубить весь урожай. Выполнение одних и тех же действий вчера и сегодня не гарантирует получения того же результата. В этом заключается еще одно отличие природных алгоритмов от символьных. Они всегда выполняются в новом физическом контексте, а теория хаоса учит, что иногда даже малейшие изменения в условиях могут приводить к непредсказуемым последствиям. Поэтому, выполнив действие d, мы не можем быть уверены, что наступит G.
Чтобы иметь возможность описывать целесообразные действия агентов, возьмем язык с трехместным оператором <;;> и определим понятие формулы следующим образом:
Def.22 A := Prop | -A | (A Л B) | (A ® B) | (A ^ B) | О A | <d>A | <C; d; G>A.
В качестве условия истинности примем, что на процессе x после выполнения действия < C; d; G> истинна формула A, е. и т.е. на процессе x истинны условия C применения данного правила, в результате действия d существует продолжение y процесса x, и на этом продолжении y истинно A:
• x И<С; d; G>A & 3p3y(Dpxy & x И C & y e I(d) & y И A). Обычным образом мы можем ввести в язык и дуал:
Def.23 [С; d; G] A &def - < С; d; G> - A.
• x И [С; d; G] A & Vpiy(Dpxy & x И С & y e I(d) ^ y И A).
Первое, что бросается в глаза, — в условиях истинности формул вида <С; d; G> A не фигурирует цель G выполнения этого правила. Но этого в общем случае и не должно быть. Выполнение любого правила всегда приводит к какому-то результату, и это отражено в определении, а достижение или недостижение цели — это оценка успешности или неуспешности его выполнения. Чтобы говорить об этом в языке, достаточно ввести следующее сокращение:
Def.24 ! <С; d; G> A &def <С; d; G> (A& G).
Подробный анализ построенной логики планируется сделать в последующих публикациях, посвященных теме построения теории физических (природных) алгоритмических процессов.
4. Заключение
Классическая логика высказываний, которую можно рассматривать как логику субстанциальной онтологии, проста и единственна с точностью до дефинициальной эквивалентности других формулировок. Исходные объекты процессуальной онтологии обладают внутренней структурой, связанной с их протяженностью и направленностью. Чтобы иметь возможность рассуждать о процессах, требуются языки с более богатыми выразительными возможностями по сравнению с языками классической логики. Эти языки неявно предполагают понятие времени, как производного от протяженности и направленности процессов.
Очевидное деление процессов на два вида — каузально-динамические и агентно-зависимые — требует учета существования активных действующих агентов, что приводит к необходимости построения вариантов логик действия. Важной темой в развитии логики процессуальной онтологии является тема построения теории физических (природных) алгоритмических процессов. В настоящее время она в основном разрабатывается как вспомогательная в рамках работ по построению роботизированных устройств и планированию действий в ИИ. Привлечение к данной теме внимания логиков-философов может позволить взглянуть на нее с более общей точки зрения.
Литература
Вригт, 1986 - Вригт Г.Х. фон. Время, изменение и противоречие. Логико-
философские исследования. Избр. тр. М.: Прогресс, 1986. С. 513-538. Шалак, 2020 - Шалак В.И. Сравнительный анализ процессуальной и субстанциальной онтологий // Логические исследования / Logical Investigations. 2020. T. 26. № 2. С. 58-86. DOI: 10.21146/2074-1472-2020-26-2-58-86. Allen, 1984 - Allen J.F. Towards a General Theory of Action and Time // Artificial
Intelligence. 1984. Vol. 23. P. 123-154. Allen, Ferguson, 1994 - Allen J.F, Ferguson G. Actions and Events in Interval Temporal Logic // Journal of Logic and Computation. 1994. Vol. 4. Is. 5. P. 531579. DOI: 10.1093/logcom/4.5.531. Venema, 1991 - Venema Y. A Modal Logic for Chopping Intervals // Journal of Logic and Computation. 1991. Vol. 1. Is. 4. P. 453-476. DOI: 10.1093/logcom/1.4.453. Wright, 1965 - Wright G.H. von. And next // Acta philosophica Fennica. 1965. № 18. P. 293-304.
Vladimir I. Shalack Logic in the process ontology
Vladimir I. Shalack
Institute of Philosophy of Russian Academy of Sciences, 12/1 Goncharnaya St., Moscow, 109240, Russian Federation. E-mail: shalack@gmail.com
Abstract: The aim of the work is to study the language tools that can be used to conduct arguments about the processual ontology, which differs from the substantial more complex structure of the elementary "bricks" that underlie it. As a result, it becomes necessary to use languages that have richer expressive capabilities than the language of classical logic. In this paper, we consider languages with unary and binary modalities. Individual processes can be analyzed from two points of view-statics and dynamics. In the first case, we are interested in statements whose truth depends only on the internal structure of the current process. The relation of division of the processes allows us to determine on its parts a transitive dense linear order without the first and last elements, which can be understood as the local time order of this process. This allows us to talk about the beginning of processes, their flow and end. It becomes possible to define the concepts of process state and process as events. The inclusion of a binary modality such as a noncommutative conjunction in the language allows us to define an analog of a causal-like conditional relationship between parts of the process. The dynamics of processes implies the possibility of their continuation beyond the current process. This can happen either due to implicit causal relationships, when the current process contains the cause for its future continuation, or as a result of the actions of active agents who themselves construct this continuation. To represent the dynamics of processes as a consequence of the actions of active agents, we use a simplified version of the dynamic logic language. Also it's shown how you can take into account the goals that active agents set for themselves when performing certain actions.
Keywords: process, process ontology, process logic, process statics, process dynamics
For citation: Shalack V.I. "Logika v ontologii protsessov" [Logic in the process ontology], Logicheskie Issledovaniya / Logical Investigations, 2021, Vol. 27, No. 2, pp. 48-65. DOI: 10.21146/2074-1472-2021-27-2-48-65 (In Russian)
References
Allen, 1984 - Allen, J.F. "Towards a General Theory of Action and Time", Artificial Intelligence, 1984, Vol. 23, pp. 123-154.
Allen, Ferguson, 1994 - Allen, J.F., Ferguson, G. "Actions and Events in Interval Temporal Logic", Journal of Logic and Computation, 1994, Vol. 4, Is. 5, pp. 531579. DOI: 10.1093/logcom/4.5.531.
Shalack, 2020 - Shalack, V.I. "Sravnitel'nyi logicheskii analiz substantsial'noi i prot-sessual'noi ontologii" [Comparative logical analysis of substantive and proces-sual ontologies], Logical Investigations, 2020, Vol. 26, No. 2, pp. 58-86. DOI: 10.21146/2074-1472-2020-26-2-58-86. (In Russian)
Venema, 1991 - Venema, Y. "A Modal Logic for Chopping Intervals", Journal of Logic and Computation, 1991, Vol. 1, Is. 4, pp. 453-476. DOI: 10.1093/logcom/1.4.453.
Wright, 1965 - von Wright, G.H. "And next", Acta philosophica Fennica, 1965, No. 18, pp. 293-304.
Wright, 1986 - von Wright, G.H. "Vremya, izmenenie i protivorechie" [Time, change, and contradiction], in Logiko-filosofskie issledovaniya [Philosophical papers]. Moscow: Progress, 1986, pp. 513-538. (In Russian)
