CC BY
103PHILOSOPHICAL SCIENCES / <<Ш1Ш(ШЫМ-Ши®Ма1>>#®(112)),2Ш9
71
PHILOSOPHICAL SCIENCES
УДК 161/162
Попов Виталий Владимирович,
доктор философских, профессор Музыка Оксана Анатольевна доктор философских, профессор ФГБОУ ВО «Ростовский государственный экономический университет (РИНХ)»
Таганрогский институт им. А. П. Чехова (филиал) DOI: 10.24411/2520-6990-2019-10201 ФОРМАЛЬНЫЕ СЕМАНТИКИ ДЛЯ СИСТЕМЫ НЕПРЕРЫВНОГО ИЗМЕНЕНИЯ
Popov Vitaly V.,
Doctor of Philosophical Sciences, Professor Muzika Oksana A.
Doctor of Philosophical Sciences, Professor State University of Economics (RINH), Taganrog Institute named A. P. Chekhov (branch),
Taganrog, Russia (347936, Taganrog, st. Initsiativnay, 48)
FORMAL SEMANTICS FOR SYSTEM CONTINUOUS CHANGE
Аннотация.
В статье исследуются формальные семантики для отображения непрерывности и интенсивности процесса изменения. Показываются особенности этих семантик. Выявлено, что оценка высказываний об изменении происходит на интервалах времени. Доказано, что интервальные семантики образуют методологический базис конструктивной философии, позволяющий конструировать исследования концептуальной области «включающего» общества.
Abstract.
The article investigates formal semantics to display the continuity and intensity of the process of change. The features of these semantics are shown. It is revealed that the evaluation of statements about the change occurs at intervals of time. It is proved that the interval semantics form the methodological basis of constructive philosophy, which allows to design the study of the conceptual field of "including" society.
Ключевые слова: формальные семантики, логика изменения, теория моделей, «включающее» общество, интенсивность, модельная структура.
Key words. Formal semantics, logic of change, model theory, "including" society, intensity, model structure.
Введение. Поднятая еще элеатами и Аристотелем проблема непрерывности изменения, нашла отражение в научной и философской литературе. Однако исследования в области концептуализации проблемы должного отражения не нашли. В логической литературе этот пробел попытались заполнить ученые, работающие с формальными семанти-ками. Так, А.Хамберстон попытался непрерывность изменения связать с модальностями, но при этом столкнулся с проблемой перевода модальностей и темпоральных референтов. Т. Харевен активно развивал идеи непрерывности исторического времени, но не смог отобразить эти идеи в формальных семантиках. Оригинальные идеи относительно моделирования процесса изменения содержатся в работах Ч.Хемблина. Они связаны не только с предположением возможности определения как непрерывного, так и частичного изменения на интервале времени, но и с возможностью указания на их взаимозависимость. Опираясь на идеи Ч.Хэмблина, формальные семантики для непрерывности изменения предложил В.В.Попов.
Основная часть. Построим модель, которая, на наш взгляд, точно передает интуиции Ч.Хемблина по вопросу о логике изменения. Пусть "|—>" и —>" -символы для непрерывного и частичного изменения.
Определение 1. Под временной структурой будем понимать упорядоченную пару <Т,< >, где Т -множество интервалов времени ЦД2... <-мереоло-гическое отношение "быть частью" на множестве интервалов.
Определение 2. Н-моделью называется система <Т, <, ф >, где<Т, < > временная структура; ф - функция , приписывающая истинностные значения из множества I, 0 для любой формулы а относительно t .
Условия интерпретации:
01. Определим истинность суждений в интервале времени:
ptф=—^■Vt*t*<tЛptф*=1: истинно, если р изменяется во всем интервале. ptф=—^■Эt*t*<tЛptф*=1: истинно сказать, что р изменяется где-нибудь в интервале (частичное изменение).
02. Тогда в Н-модели выполняются следующие постулаты:
72
PHILOSOPHICAL SCIENCES / «еОУШШШМ-^ШГШЬ^ЩШ^Ш®
Р1. Р2.
Р3. р1ф=-^р:*ф=1
Р4. Vt*(t*<t^ptф=-)^pt*ф=1
Р5. Vt*(t*<t^ptф=-)^pt*ф=1
03.
У1. -а1ф=—^—а1ф=1
У2. -а1ф=—^—а1ф=1
У3. аAptф=-^-аtф=-лptф=1
У4. aAptф=-•Эt*(t*<t^atф=-лptф*=1)
У5аAptф=-^Vt*(t*<t^аtф=-Aptф*=1) .
У6. аAptф=-^-аtф=-лptф=1
У7. а^ptф=-~Vt*(t*<t^аtф=-лptф*=1)
У8. 1
04. В любой Н-модели справедливо:
I. а1ф=-^а1ф=1; 2. ^<^-^ф=-^-а1ф=1); 3. ^<^-^ф=-^-а1ф=1); 4.а1ф=-^—а1ф=1; 5. а1ф=-^—а1ф=1; 6. -аA-аtф=1; 7. -^-0^=1
Формула а называется истинной в Н-модели, если а1ф=1 для всех t из Т. Формула а называется общезначимой, если она истинна во всех Н-моде-лях.
Логика изменения может рассматриваться как специфическая логика процессов, предполагающая переход от одного процесса к другому. Немногочисленные обращения к анализу проблем непрерывности изменения в современной литературе в основном связаны с использованием математического аппарата. Предложенный подход не только дает новое направление в исследовании понятия непрерывности, но и поднимает ряд вопросов, которые является по существу неразработанными. К ним относятся и вопросы об интенсивности непрерывности изменения. Объектный формальный язык L J теории изменения является расширением языка исчисления высказываний путем введения темпоральных операторов, содержательное значение которых будет объяснено по мере использования.
Определение 3. Модельная структура S J представляет упорядоченную пятерку элементов: SJ=<M, I, т0, <, 3>, где: I) М - непустое множество темпоральных пунктов референции; 2) 1-множество состояний интенсивности изменения; 3) т0 - исходный темпоральный пункт референции от которого начинается изменение; 4)^М>М - строго линейное и плотное упорядочивание М, являющиеся отношением предшествования и таким, что для любых элементов из М выполняются свойства иррефлексивности, транзитивности, связности, плотности, бесконечности в прошлое и будущее; 5) 3 - отношение слабого предпочтения на множество М.т13 т' означает, что во время т состояние интенсивности изменения по крайней мере не меньше чем в т'.
Для любых состояний и любых т, т1, ту, пубМ для отношения 13 предполагается:
1. т13 т( рефлекторность)
2. если т13 т1л тП3 т| (тКт|), то т13 ту (транзитивность)
3. если т13 т1, либо тП3 т(строгая связность)
4. если т13 т1, то тП-13 т (измеримость)
4(а).если т13 т1 и т1б1, то тбЦсоизмери-мость)
4(б).если тб1и тЛ^то тП3 т(соизмеримость)
Определение 4.MJ- это модель для структуры SJ и задается ф. Приписывающей значения для {I, 0} для каждого выражения LJ-языка.
Определение 5..Если MJявляется моделью, определенной для любого состояния i£I, то для любых т1 ЛтубМ выполняются следующие отношения:
а) тП3 т| •т^Ш т1 в) тЛ£ т| •■mjI3mi
б) тИ£ т| ^тИ3т| г) тП£ щ| •^■mЛ3mjЛmjI3mi
Содержательно а-г) означает:
а) более интенсивное изменение в т1 чем ту.
б) менее интенсивное изменение в т1 чем ту.
в) интенсивность изменения в т1 по крайней мере, не меньшая, чем в ту.
г) одинаковая интенсивность изменения в т1 и
щъ
Определение существования интенсивности изменения на временной шкале удобно проводить, используя семантический подход и темпоральные операторы прошлого (Р) и будущего ^ ). Введем операторы: Ра, PL, Fa, FL, которые означают следующее: Ра - всегда имела место возможность установления истинности состояния интенсивности; PL
- по крайней мере однажды, имела место возможность установления истинности состояния интенсивности; Fa - всегда будет существовать возможность установления истинности состояния интенсивности; -FL - по крайней мере, однажды, будет существовать возможность установления истинности состояния интенсивности .
Определение б.Пусть ▲ является формулой LJ
- языка. ф( А,т) определяется рекурсивно следующими условиями истинности:
(1) | P|MJm=> • ф|P|t=> для каждой пропорциональной переменной.
(2) |1A|MJm => • |A|MJm=0
(3) |AлB|MJm => • |A|MJm=> л |B|MJm=>
(4) |PаA|MJm => • |A|MJmi=> для каждого mieM и такого, что тКт.
(5) |Р LAMJ|m => • |A|MJmi=> для некоторого mieM и такого, что mi<m.
(6) |FaA|MJm => • |A|MJmi=> для каждого mieM и такого, что т<тт
(7) |FLA|MJm => • |A|MJmi=> для некоторого mi6M и такого, что т<тт
Операторы Р и F указывают на существование интенсивности изменения, однако они не являются эффективными при рассмотрении механизма интенсивности, ее степени, соизмеримости, например, пары фиксированных состояний интенсивности. Введем следующие динамические опера-торы:В - оператор перехода от исходного момента к моменту, в котором можно зафиксировать определенное состояние интенсивности изменения (В* -оператор обратного перехода ); Д - оператор перехода от первоначально зафиксированного момента коррелирующего с определенным состоянием интенсивности, к некоторому другому моменту, уста-
PHILOSOPHICAL SCIENCES / «еОУШШШМ-^ШГШЬ^ЩШШ!®
73
навливающему пару моментов, по отношению к которым рассматривается соизмеримость состояний интенсивности ( Д*-оператор обратного перехода)» К (1)-(7)добавим :
8)|BA|MJm => ^ |A|MJmi => л m<mi.
(8.1) |B*A|MJm => ~ |A|MJmi => л m<mi.
9 |DA|MJm => ^ |A|MJmi => л т<тКт| и выполняется условие (8).
(9.1) |D*A|MJm => ^ |A|MJmi => л т<тКт|и выполняется условие (8.1).
Динамические операторы дают возможность рассматривать различные состояния интенсивности. По определению эти состояния упорядочены отношением предшествования. Переход от одного состояния к другому осуществляется в интервале времени. Образуется цепь интервалов изменения по отношению к которой фиксируется интенсивность. Введем операторы S и S* означающие: S -в любом подинтервале данного интервала изменения определяется его интенсивность; S* - в некотором по-динтервале данного интервала изменения возможно определение его интенсивности.
10)|SA|MJm =>|A|MJm =>для каждого т* = <mi, тк>, где <mi, тк> интервал обозначенный исходным т1 и конечным тк моментами) определяется так: (1) {т*бМ: mi <т* <т^, если mi<mk ; (2) { ш*бМ: mi <т* <т1 }, если тк<т1 ; (3) {тк} - в противном случае при т1=тк. Пусть операторы т, L, ат, аЬ, еа означают: т - увеличение интенсивности; L- уменьшение интенсивности; ат - увеличение интенсивности в большинстве подинтерва-лов; аЬ - уменьшение интенсивности в большинстве подинтервалов; еа- одинаковая интенсивность в любом подинтервале. Вновь используя двойную темпоральную индексацию представим следующие условия истинности:
11 |mA|MJ<mi, тк> => ^ |A|MJmi => л |A|MJmk => л тКтк л тк12 ш1
12 |LA|MJ<mi, тк> => ^ |A|MJmi => л |A|MJmk => л тКтк л тк1с ш1
Пусть ^6М - фиксированный интервал изменения; Ш+ - сумма подинтерваловt*, в которых увеличивается интенсивность изменения; и- - сумма подинтервалов интервала в которых уменьшается интенсивность изменения. При Ш+ >Ш-имеем:
13 |аmA|MJt* => ^ |А|МШ =>относительно любого подинтервала из и+ .
Приut->ut+ имеем:
14 |aLA|MJt* => ^ |A|MJti =>относительно любого подинтервала из и- .
При неизменной степени интенсивности:
15 |еaA|MJt* => ^ |A|MJti =>для любого НИ*.
Заключение: 1. Впервые в литературе построены формальные семантики для описания непрерывности и интенсивности изменения. 2. Предложены семантики для философского конструктивизма в формировании концептуального аппарата «включающего» общества. 3. Полученные результаты полезны в построении семантических рядов динамических категорий. 4. Данные семантики можно рассматривать как вклад в теорию моделей
Исследование выполнено при финансовой поддержке РФФИ в рамках научно-исследовательского проекта " Осмысление социально-философского феномена образовательной инклюзии в контексте зарубежных и отечественных методологических подходов и моделей", № 19-013-00117\19
Литература.
1.Попов В.В., Музыка О.А., Максимова С.И. Альтернативистика в контексте социального развития// Евразийский юридический журнал- 2017- № 4 (107).-С 373-375.
2.Попов В.В., Музыка О.А., Дзюба Л.М .Фактор и уровни темпоральности в контексте субъективной реальности человека // Евразийский юридический журнал-2017- № 4 (107)- С. 419-421.
3 . Попов В.В., Музыка О.А., Тимофеенко В.А.. Социальное противоречие в контексте социальных процессов// Международный журнал прикладных и фундаментальных исследований- 2017- № 1-2.- С. 361-364.
4.Попов В.В., Музыка О.А., Коженко Я.В Социальные трансформации в правовых отноше-ниях//Международный журнал прикладных и фундаментальных исследований- 2017-№ 3-2.- С. 315318.
5.Попов В.В., Щеглов Б.С., Усатова Ю.Н Случайность в контексте динамических категорий// Философия права- 2015- № 1 (68)- С. 25-29.
6.Попов В.В., Агафонова Т.П. Специфика тем-поральности правового сознания социального субъекта// Фундаментальные исследования- 2015-№ 2-25- С. 5730-5733.
7. Попов В.В., Музыка О.А .Специфика интервальной концепции времени: опыт концептуализации // Международный журнал экспериментального образования-2015- № 3-2- С. 36-39.
8. Попов В.В., Лойтаренко М.В., Таранова
B.А. Социальные противоречия и переходные периоды: философско-методологические аспекты// Международный журнал экспериментального образования- 2014- № 8-2- С. 42-46.
9. Попов В.В., Агафонова Т.П. Научная рациональность и рациональность в науке// Философия права- 2012- № 5 (54)- С. 86-90.
10. Попов В.В., Чаленко М.В. Специфика переходных состояний современного российского общества// Социально-гуманитарный вестник Юга России- 2011- № 7-8 (15-16)- С. 39-45.
11. Попов В.В., Музыка О.А., Киселев С.А., Уколов А.О. Концепция транзитивности в контексте трансформации социума // Контекст и рефлексия: философия о мире и человеке. 2016. Т. 5. № 5А.
C. 114-122.
12. Попов В.В., Музыка О.А. Исторический процесс: альтернативность и оценка // Международный журнал прикладных и фундаментальных исследований. 2017. № 3-1. С. 147-150.
13.Hamblin C. Instants and Intervals // Study of Time. -1972. -P. 410 - 425.
14.Humberstone A. From worlds to possibilities// The journal of philosophical logic. -V. 10. - №3. -1981. -P. 313-339.
15.Hareven T.K. Family Time and Historical Time // Daedalus. -v. 106. No.2. -1977. -Р. 57-69.
