Научная статья на тему 'Конструктивизм логики непрерывности изменения в формировании концептуального аппарата «Включающего» общества'

Конструктивизм логики непрерывности изменения в формировании концептуального аппарата «Включающего» общества Текст научной статьи по специальности «Математика»

CC BY
53
13
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Colloquium-journal
Область наук
Ключевые слова
формальные семантики / логика изменения / теория моделей / «включающее» общество / интенсивность / модельная структура / Formal semantics / logic of change / model theory / "including" society / intensity / model structure

Аннотация научной статьи по математике, автор научной работы — Попов Виталий Владимирович, Музыка Оксана Анатольевна

В статье исследуются формальные семантики для отображения непрерывности и интенсивности процесса изменения. Показываются особенности этих семантик. Выявлено, что оценка высказываний об изменении происходит на интервалах времени. Доказано, что интервальные семантики образуют методологический базис конструктивной философии, позволяющий конструировать исследования концептуальной области «включающего» общества.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

THE CONSTRUCTIVIST LOGIC OF CONTINUITY CHANGES IN THE FORMATION OF THE CONCEPTUAL APPARATUS OF "INCLUSIVE" SOCIETY

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.

Текст научной работы на тему «Конструктивизм логики непрерывности изменения в формировании концептуального аппарата «Включающего» общества»

PHILOSOPHICAL SCIENCES

УДК 160.1

Попов Виталий Владимирович, доктор философских, профессор Музыка Оксана Анатольевна доктор философских, профессор ФГБОУ ВО «Ростовский государственный экономический университет (РИНХ)»

Таганрогский институт им. А. П. Чехова (филиал) DOI: 10.24411/2520-6990-2019-10128 КОНСТРУКТИВИЗМ ЛОГИКИ НЕПРЕРЫВНОСТИ ИЗМЕНЕНИЯ В ФОРМИРОВАНИИ КОНЦЕПТУАЛЬНОГО АППАРАТА «ВКЛЮЧАЮЩЕГО» ОБЩЕСТВА

Popov Vitaly Vladimirovich.,

doctor of philosophical Sciences, Professor Musika Oksana Anatolievna

doctor of philosophical Sciences, Professor

THE CONSTRUCTIVIST LOGIC OF CONTINUITY CHANGES IN THE FORMATION OF THE CONCEPTUAL APPARATUS OF "INCLUSIVE" SOCIETY

Аннотация.

В статье исследуются формальные семантики для отображения непрерывности и интенсивности процесса изменения. Показываются особенности этих семантик. Выявлено, что оценка высказываний об изменении происходит на интервалах времени. Доказано, что интервальные семантики образуют методологический базис конструктивной философии, позволяющий конструировать исследования концептуальной области «включающего» общества.

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—>" -символы для непрерывного и частичного изменения.

Определение 1. Под временной структурой будем понимать упорядоченную пару <Т,< >, где Т -множ ество интервалов времени ид2... <-мереоло-гическое отношение "быть частью" на множестве интервалов.

Определение 2. Н-моделью называется система <Т, <, ф >, где<Т, < > временная структура; ф - функция , приписывающая истинностные значения из множества I, 0 для любой формулы а относительно t .

Условия интерпретации: 01. Определим истинность суждений в интервале времени:

ptф=—^■Vt*t*<tAptф*=1: истинно, если р изменяется во всем интервале. ptф=—^■Эt*t*<tAptф*=1: истинно сказать, что р изменяется где-нибудь в интервале (частичное изменение).

02. Тогда в Н-модели выполняются следующие постулаты:

Р1. Р2.

Р3. ptф=-^pt*ф=1

Р4.

Р5.

03.

У1. -а1ф=-^-а1ф=1

У2. -а1ф=-^-а1ф=1

У3. аAptф=-^-аtф=-Aptф=1

У4. аAptф=-~Эt*(t*<t^аtф=-Aptф*=1)

У5аAptф=-~Vt*(t*<t^аtф=-Aptф*=1) .

У6. аAptф=-^-аtф=-Aptф=1

У7. а^ptф=-~Vt*(t*<t^аtф=-Aptф*=1)

У8. а^вф=—1

04. В любой Н-модели справедливо:

I. а1ф=-^а1ф=1; 2. 3.

4. аtф=-^--аtф=1; 5. аtф=-^--аtф=1; 6. -^-аф^; 7. -аA-аtф=1

Формула а называется истинной в Н-модели, если atф=1 для всех t из Т. Формула а называется общезначимой, если она истинна во всех Н-моде-лях.

Логика изменения может рассматриваться как специфическая логика процессов, предполагающая переход от одного процесса к другому. Немного-

<<шушетим~^©у©ма1>#6(11©)),2(0]9 / PHILOSOPHICAL SCIENCES

численные обращения к анализу проблем непрерывности изменения в современной литературе в основном связаны с использованием математического аппарата. Предложенный подход не только дает новое направление в исследовании понятия непрерывности, но и поднимает ряд вопросов, которые является по существу неразработанными. К ним относятся и вопросы об интенсивности непрерывности изменения. Объектный формальный язык L J теории изменения является расширением языка исчисления высказываний путем введения темпоральных операторов, содержательное значение которых будет объяснено по мере использования.

Определение 3. Модельная структура S J представляет упорядоченную пятерку элементов: SJ=<M, I, т0, <, 3>, где: I) М - непустое множество темпоральных пунктов референции; 2) 1-множество состояний интенсивности изменения; 3) т0 - исходный темпоральный пункт референции от которого начинается изменение; 4)^М>М - строго линейное и плотное упорядочивание М, являющиеся отношением предшествования и таким, что для любых элементов из М выполняются свойства иррефлексивности, транзитивности, связности, плотности, бесконечности в прошлое и будущее; 5) 3 - отношение слабого предпочтения на множество М.т13 т' означает, что во время т состояние интенсивности изменения по крайней мере не меньше чем в т'.

Для любых состояний 1£1 и любых т, т1, ту, Ш|6М для отношения 13 предполагается:

1. т13 т( рефлекторность)

2. если т13 т1л тП3 тц (тКтц), то т13 тц (транзитивность)

3. если т13 т1, либо тПЗ т(строгая связность)

4. если т13 т1, то miI-i3 т (измеримость)

4(а).если т13 mi и mi£I, то тб1(соизмери-

мость)

4(б).если тб1и тП^то miI3 т(соизмеримость)

Определение 4.MJ- это модель для структуры SJ и задается ф. Приписывающей значения для {I, 0} для каждого выражения LJ-языка.

Определение 5..Если MJявляется моделью, определенной для любого состояния 1£1, то для любых т! ЛтцбМ выполняются следующие отношения:

а) тП3 тц •т|13 mi в) тП£ тц ••mjI3mi

б) тП£ тЦ •тП3ш| г) тП£ Щ •miI3mjЛmjI3mi

Содержательно а-г) означает:

а) более интенсивное изменение в т! чем тЦ.

б) менее интенсивное изменение в т1 чем тЦ.

в) интенсивность изменения в т1 по крайней мере, не меньшая, чем в тЦ.

г) одинаковая интенсивность изменения в т1 и

ЩЪ

Определение существования интенсивности изменения на временной шкале удобно проводить, используя семантический подход и темпоральные операторы прошлого (Р) и будущего ^ ). Введем операторы: Ра, PL, Fa, FL, которые означают следующее: Ра - всегда имела место возможность установления истинности состояния интенсивности; PL - по крайней мере однажды, имела место возможность установления истинности состояния

87_

интенсивности; Fa - всегда будет существовать возможность установления истинности состояния интенсивности; -FL - по крайней мере, однажды, будет существовать возможность установления истинности состояния интенсивности .

Определение б.Пусть ▲ является формулой LJ - языка. ф( А,т) определяется

рекурсивно следующими условиями истинности:

(1) | P|MJm=> • ф|Р^=> для каждой пропорциональной переменной.

(2) |пА|Шт => • |A|MJm=0

(3) |AлB|MJm => • |A|MJm=> л |B|MJm=>

(4) |PaA|MJm => • |A|MJmi=> для каждого mi6M и такого, что тКт.

(5) |Р ^Ш|т => • |A|MJmi=> для некоторого mieM и такого, что тКт.

(6) |FaA|MJm => • |A|MJmi=> для каждого mi6M и такого, что т<тт

(7) |FLA|MJm => • |A|MJmi=> для некоторого mieM и такого, что m<mi.

Операторы Р и F указывают на существование интенсивности изменения, однако они не являются эффективными при рассмотрении механизма интенсивности, ее степени, соизмеримости, например, пары фиксированных состояний интенсивности. Введем следующие динамические опера-торы:В - оператор перехода от исходного момента к моменту ,в котором можно зафиксировать определенное состояние интенсивности изменения (В*

оператор обратного перехода ); Д - оператор перехода от первоначально зафиксированного момента коррелирующего с определенным состоянием интенсивности, к некоторому другому моменту, устанавливающему пару моментов, по отношению к которым рассматривается соизмеримость состояний интенсивности ( Д*-оператор обратного перехода)» К (1)-(7)добавим :

8)|BA|MJm => • ^РММ => л т<тг (8.1) |B*A|MJm => • |A|MJmi => л т<т^

9 |DA|MJm => • |A|MJmi => л m<mi<mj и выполняется условие (8).

(9.1) |D*A|MJm => • |A|MJmi => л m<mi<mjи выполняется условие (8.1).

Динамические операторы дают возможность рассматривать различные состояния интенсивности. По определению эти состояния упорядочены отношением предшествования. Переход от одного состояния к другому осуществляется в интервале времени. Образуется цепь интервалов изменения по отношению к которой фиксируется интенсивность. Введем операторы S означающие: S -в любом подинтервале данного интервала изменения определяется его интенсивность; S* - в некотором по-динтервале данного интервала изменения возможно определение его интенсивности.

10)|SA|MJm =>|A|MJm =>для каждого т* = <т^ тк>, где <mi, тк> интервал обозначенный исходным т1 и конечным тк моментами) определяется так: (1) (щ*6М: mi <т* <т^, если mi<mk ; (2) { т*бМ: mi <т* <mi }, если mk<mi ; (3) {тк} - в противном случае при т1=тк. Пусть операторы т, L, ат, аЬ, еа означают: т - увеличение интенсивности; L- уменьшение интенсивности; ат - увели-

чение интенсивности в большинстве подинтерва-лов; аЬ - уменьшение интенсивности в большинстве подинтервалов; еа- одинаковая интенсивность в любом подинтервале. Вновь используя двойную темпоральную индексацию представим следующие условия истинности:

11 |mA|MJ<mi, тк> => • |A|MJmi => л |A|MJmk => л mi<mk л тк13 mi

12 |LA|MJ<mi, тк> => • |A|MJmi => л |A|MJmk => л mi<mk л ткШ mi

Пусть t*6M - фиксированный интервал изменения; Ш+ - сумма подинтервалов^, в которых увеличивается интенсивность изменения; Ш- - сумма подинтервалов интервала в которых уменьшается интенсивность изменения. При Ш+ >Ш-имеем:

13 |amA|MJt* => • |A|MJti =>относительно любого подинтервала из Ш+ .

ПриШ->Ш+ имеем:

14 |aLA|MJt* => • |A|MJti =>относительно любого подинтервала из Ш- .

При неизменной степени интенсивности:

15 |еaA|MJt* => • |A|MJti =>для любого й^*

Заключение: 1. Впервые в литературе построены формальные семантики для описания непрерывности и интенсивности изменения. 2. Предложены семантики для философского конструктивизма в формировании концептуального аппарата «включающего» общества.

Исследование выполнено при финансовой поддержке РФФИ в рамках научно-исследовательского проекта " Осмысление социально-философского феномена образовательной инклюзии в контексте зарубежных и отечественных методологических подходов и моделей", № 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.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

11. Попов В.В., Музыка О.А., Киселев С.А., Уколов А.О. Концепция транзитивности в контексте трансформации социума // Контекст и рефлексия: философия о мире и человеке. 2016. Т. 5. № 5А.

C. 114-122.

12. Попов В.В., Музыка О.А. Исторический процесс: альтернативность и оценка // Международный журнал прикладных и фундаментальных исследований. 2017. № 3-1. С. 147-150.

УДК 376.4

Попов Виталий Владимирович,

доктор философских, профессор Музыка Оксана Анатольевна, доктор философских, профессор ФГБОУ ВО «Ростовский государственный экономический университет (РИНХ)»

Таганрогский институт им. А. П. Чехова (филиал) DOI: 10.24411/2520-6990-2019-10129 ИНКЛЮЗИВНОЕ ОБРАЗОВАНИЕ В КОНТЕКСТЕ СОЦИАЛЬНЫХ ТРАНСФОРМАЦИЙ

Popov Vitaly Vladimirovich.,

doctor of philosophical Sciences, Professor Musika Oksana Anatolievna

doctor of philosophical Sciences, Professor

INCLUSIVE EDUCATION IN THE CONTEXT OF SOCIAL TRANSFORMATIONS

Аннотация.

В статье исследуются социальные трансформации в контексте инклюзивного образования. Показываются особенности этой корреляции. Выявлено, что постнеклассическая наука представила новую

i Надоели баннеры? Вы всегда можете отключить рекламу.