CC BY
20philosophical SCIENCES / «€©LL©qyiym=j©yrMaL»#2î2â),2@i9
7_4_
12. Носов Н. А. Виртуальная психология // Труды лаборатории виртуалистики. Вып. 6. - М.: Аграф, 2000. - 432 с.
13. Носов Н. А. Виртуальная реальность // Вопросы философии. - 1999, №10. - С. 12.
14. Опенков М. Ю. Виртуальная реальность: онто-диалогический подход. Автореф. дис. на со-иск. ученой степени доктора филос. наук. М., 1997. - 38 с.
15. Розин. В. М. Подходы и методы изучения техники и технологии. В кн.: Традиционная и современная технология: (философско-методологи-ческий анализ). М., ИФ РАН, 1998, 216 с. С. 159180.
16. Скотт Д. Советы по модальной логике // Семантика модальных и интенсиональных логик. -М.: Прогресс, 1981. - 424 с.
17. Таратута Е. Е. Философия виртуальной реальности. СПб., 2007. - 147 с.
18. Хоружий С. С. Род или нерод? Заметки к онтологии виртуальности // Вопросы философии. 1997. № 6. - С. 53-68.
19. Heim M. The metaphysics of virtual reality // Virtual reality: theory, practice and promise. Westport; L., 1991. P. 39. // см. Дубовицкая Д. А. Семантика понятия виртуальности в рамках историко-философского аспекта. Культура и мировоззрение. № 3 (037), 2012. С. 177-182.
20. Mark B. Salter Rights of Passage: The Passport in International Relations. - Boulder, Colorado: Lynne Rienner Publishers, 2003. 195 p.
УДК 160.1
Попов Виталий Владимирович,
доктор философских, профессор Музыка Оксана Анатольевна
доктор философских, профессор ФГБОУ ВО «Ростовский государственный экономический университет (РИНХ)»
Таганрогский институт им. А. П. Чехова (филиал)
МОДИФИКАЦИЯ Т-СИСТЕМЫ Г.ФОН ВРИГТА
Popov Vitaly Vladimirovich,
doctor of philosophical Sciences, Professor Musika Oksana Anatolievna
doctor of philosophical Sciences, Professor
MODIFICATION T-SISTEM OF G. VON WRIGHT
Аннотация
В статье исследуется формальная система изменения Г.фон Вригта. Показываются особенности этой системы. Впервые в литературе предлагается модификация системы Г. Вригта. Представленная система позволяет конструировать формальные аналоги логики изменения и процессов.
Abstract.
The paper investigates the formal system of change of G. von Wright. The features of this system are shown. For the first time in the literature, a modification of the system of G. Wright is proposed. The presented system allows to design formal analogs of logic of change and processes.
Ключевые слова: изменение, формальная система, исчисление, транзитивность, модификация системы, теорема адекватности, социальный процесс, индекс темпоральности, моментные и интервальные структуры.
Key words. change the formal system, the calculus, transitivity, modification of the system, the theorem of adequacy of social process, the index of temporality, moment and interval structure.
В [1] Г.фон Вригт представил Т-систему темпоральной логики, интерпретировав ее как логику изменения. Построим модель для данной системы, соответствующую представлениям авторов относительно логики изменения и процессов.
Язык Т-исчисления Г.фон Вригта содержит символы, принадлежащие к следующим пунктам:
1.р, д, г - пропозициональные переменные;
2. -, Л, V, Т - операторы отрицания, конъюнкции, дизъюнкции, темпоральной конъюнкции,
3.(,) - технические символы.
Правильно построенную Т-формулу определим следующим образом:
1. любая пропозициональная переменная есть Т-формула.
2.ЕслиА и В являются Т-формулами, то -А, АЛВ, АТВ, также являются Т-Формулами.
3 .Т-формулой называется формула языка Т-исчисления образованная в соответствии с
пунктами I) и 2).
Аксиомы Т-исчисления:
А0. Тавтология классической пропозициональной логики (pL).
А1. (рУдТГ^)~(рТг)\Д№МдТг)У№)
А2. (рТд)Л№)~(рЛЛ^)
А3. p~(pTqV-q)
«ш^шетим-^шгмаьжш),^» / рношшршеАи юшсш
75
А4. -^Л-^) Правила вывода:
R I: правило отделения для импликации; R 2: правило подстановки; R 3: правило экстенсиональности. Определение доказательства и доказуемой в данной системе формулы стандартно.
В Т-исчислении доказуемы следующие утверждения:
Теорема 1. (pTq)\/(pT-q)\/(-pTq)\/(-pT-q) Теорема 2. -(p/\-pTq) Теорема 3. pЛ(qTr)••■(pЛqTr) Теорема 4. (pTq)/\(pTr)•(pTq)Tr Теорема 5. (pTr)/\(qTr)•(p/\qTr) Теорема 6 . (pTqЛr)^■(pTq)Л(pTr) Теорема 7. (pTq)Л(pTr)^■(pTqЛr) Г.фонВригт построил Т'- исчисление, однако Т-исчисление не является дедуктивно эквивалентным Т'-исчислению, В Т'-исчислении А2 заменена на А 2.1.
A 2.1. ^УЧ^^Лг^У^М^)) Тезисом Т-исчисления является формула : -(pTq)•pT-q\/-pTq\/-pT-q -(pTq)^pT-q\/-pTq\/-pT-q С другой стороны, тезисом Т'-исчиеления является формула: -(pTq)^pT-q\/-pTq\/-pT-q
Теорема 8. -T-(pTq)•(pT-q)\/( -pTq)V(
1. -^М -3^X3.1^.
2. (pTq)Л(pT-q)•(pTqЛ-q):A2Д2,PL.
3. -((pTq)Л(pT-q)):2,A4ДL
4. (pTq)Л(-pTq)•(pЛ-pTq):A2,R2,PL.
5. -(№)Л( -pTq)):4,T.3.3.ДL.
6. (pTq)/\( -pT-q)•(pЛ-pTqЛ-q):A2Д2.
7. -(^УЧ -pT-q)):6,A4ДL.
8. (pT-qM-pTqM-pT-q)^-(pTq):3,5,7,PL.
9. -(pTq)•(pT-qM-pTqM-pT-q):1,8,PL. Определение 1. Т-формула имеет негативно -
нормальную форму, если она содержит только -,Л, Т- операторы, причем - -оператор находится перед пропозициональными переменными.
Теорема 3.9. Пусть А- любая Т-формула, тогда -ТА^Б
1. В - некоторая Т-формула в негативно-нормальной форме. Доказательство:
индукцией по длине Т-формулы А, используя:
2.
3.
4. -(pTq)•pT-q\/-pTq
Формула А Т'-исчисления не имеет негативно-нормальной формы, так как в Т'-исчислении нет тезиса 4.
Определение 2. Т-формула имеет Т- нормальную форму, если она находится в негативно-нормальной форме и имеет вид: огТ(а2Т(...ат1Тат)...)\/...\/51Т952Т(...5п-1Т5п)...), где а1,...ат,...,51,...,5- конъюнкции пропозициональных переменных или их отрицаний.
Теорема 10. Пусть К -произвольная Т-формула .То где ьТК^К
где К есть Т-Формула в Т-нормальной форме.
Доказательство: индукцией по длине Т-фор-мулы, используя:
1) теорему о негативно-нормальной форме.
2) А I. и А 3.
3) PL -тезис :l-(pVq)Лr•(pЛr)V(qVr)
4)pЛ(qTr)•(pЛqTr)
5) (^Ш^^Аг)
Докажем 5):
Теорема 11. ^Tp/\(qTr)•(p/\qTr).
1. pЛ(qTr)•pЛ(pЛqЛ-pЛqTr):R3ДL.
2. pЛ(qTr)•pЛ(pЛqTr)VrЛ(-pЛqTr):1,A1Д2-R3,PL.
3. pЛ(-pЛqTr)^pЛ-q:T.3.2.Д2ДL.
4.
5. pЛ(pЛqTr)VpЛ(-pЛqTr)•pЛ(pЛqTr):4ДL.
6. pЛ(qTr)^p:PL.
7. pЛ(pЛqTr)•(pЛqTr):6ДL.
8. pЛ(qTr)•(pЛqTr):2,5,7ДL.
Нельзя доказать теорему о нормальной форме для Т'-исчисления, так как не любая формула данного исчисления имеет негативно-нормальную форму.
Существенное различие между Т- и Т'- исчислениями заключается в том, что понимается под элементарными высказываниями. Так для Т-исчисления подобными высказываниями будут, высказывания о состояниях вида р или их отрицания, то есть с другой стороны, элементарными высказываниями для Т'-исчисления могут быть как высказывания о состояниях, то есть р или так и о процессах рТq . Данное различие, являющееся до некоторой степени нейтральным при рассмотрении Т- и Т'—исчислений в качестве временных логик, становится принципиальным при построении логики изменения. Предполагается, что формулы ри q и рТq имеют различный статус, а именно: р связывается с рассмотрением определенного состояния изменяющегося объекта, в то время как pTq непосредственно отражает переход, то есть процесс перехода от р к q. Этот переход соотносится с временным интервалом, в свою очередь состоянию соответствует момент времени. Отсюда интерпретация Т'-исчисления как логики изменения является невозможной, так как исходно смешиваются понятия состояния и процесса, момента и интервала, а оператор Т устанавливает отношение как между последовательными состояниями, так и между состояниями и процессами.
Вывод: Теорема адекватности автором доказана, что позволяет говорить о том, что модификации Т - системы Г. Фон Вригта предполагает введение в его формальную систему аксиомы транзитивности, что позволяет перейти к семейству семантик, способных отражать в формальных системах не только логику изменений, но и логику различных видов процессов. Это создает широкие возможности для моделирования и конструирования динамики социальной реальности.
Насколько известно автору, подобную модификацию системы Г. фон Вригта никто не проводил. Более того, авторы построили свое Т -исчисление, позволяющее проводить формальное моделирование социальных процессов. Это создает широкие возможности не только для работы с формальными и содержательными семантиками, но и открывает новые возможности для исследований в
PHILOSOPHICAL SCIENCES / <<C©LL©MUM-J©U©NAL>>#2I26)),2(0]9
76
сфере социальных процессов, социального прогнозирования и проектирования. Эта система будет предложена для обсуждения.
Исследование выполнено при финансовой поддержке РФФИ в рамках научно-исследовательского проекта " Осмысление социально-философского феномена образовательной инклюзии в контексте зарубежных и отечественных методологических подходов и моделей", № 19-013-00117\19
Литература.
1.Г.фон Вригт. Логико-философские исследования. М., 1986.- 486 с.
2.Попов В.В. Логика противоречивости изменения: семантический подход Вригта- Современная логика. - Санкт-Петербург, 1994- С.61-65.
3. Попов В.В. Проблема времени и противоречия в логической теории Г.фон Вригта- Логика, методология и философия науки - Москва, 1995- С. 84-88.
4 . Попов В.В., Музыка О.А., Максимова С.И. Альтернативистика в контексте социального развития// Евразийский юридический журнал. 2017. № 4 (107). С. 373-375.
5. Попов В.В., Музыка О.А., Дзюба Л.М. Фактор и уровни темпоральности в контексте субъективной реальности человека// Евразийский юридический журнал. 2017. № 4 (107). С. 419-421.
6.Попов В.В., Музыка О.А., Тимофеенко В.А. Социальное противоречие в контексте нелинейных процессов// Международный журнал прикладных и
УДК: 130.123.4 : 316.624
фундаментальных исследований. 2017. № 1-2. С. 361-364.
7. Попов В.В., Музыка О.А., Киселев С.А. Концепция транзитивности и трансформации общества// Международный журнал прикладных и фундаментальных исследований. 2017. № 1-2. С. 365368
8. Попов В.В., Музыка О.А. Специфика интервальной концепции времени: опыт концептуализации// Международный журнал экспериментального образования. 2015. № 3-2. С. 36-39.
9. Попов В.В., Лойтаренко М.В., Таранова В.А. Социальные противоречия и переходные периоды: философско-методологические аспекты// Международный журнал экспериментального образования. 2014. № 8-2. С. 42-46.
10. Попов В.В., Щеглов Б.С., Лойтаренко М.В. Особенности интегральной интерпретации вероятности в контексте факторов оценки и темпоральности // Философия права. - 2015 - № 2 (69) - С. 23-27.
11. Попов В.В. Логические и теоретические модельные аспекты исследования темпоральности в социально-философском дискурсе // Научная мысль Кавказа.- 2006-№ 1 - С.24-27.
12. Попов В.В., Щеглов Б.С., Усатова Ю.Н. Случайность в системе динамических категорий // Философия права. - 2015 - № 1 (68) - С. 25-29.
13.Попов В.В., Музыка О.А., Максимова С.И. Альтернативистика в контексте социального развития // Евразийский юридический журнал. - 2017 -№4(107)-С.373-375.
Рогова О. Г.
кандидат фшософських наук, професор кафедри фшософп КЗВО "Днтровська академiя неперервног освiти "
Днтро, Укра'та
ПРО Ц1НН1СНЕ ЩДГРУНТЯ ЗАПОБ1ГАННЯ БУЛ1НГУ
Rogova E. G.
PhD, Professor of Department of Philosophy Dnipro Academy of Continuing Education, Dnipro, Ukraine
ABOUT VALUABLE GROUNDS FOR BULLYING PREVENTION
Анотацш
Проблема протидИ бултгу, яка в сьогоденнi стае все бшьш актуальною, розглянута в контекстi за-вдань аксiонаповнення сучасног освти. Метою статтi ерозгляд тих потенцтних освiтнiх можливостей, ят формують духовно-цiннiсних складовi протидН бултгу в межах сучасного освтньо-виховного процесу. Методологiчною базою до^дження е поеднання системного, порiвняльного та соцюкультурного мето-дiв. Запропоновано шляхи запоб^ання бултгу засобами освти через формування акаофери особистостi. Зазначенi шляхи орiентованi на формування тих особисткних якостей школярiв, як сприятимуть пом'-якшенню та поступовому зникненню зовнiшнiх деструктивних проявiв, як у поведiнцi агресора, так i же-ртви. Це дозволяе на глибинно особистiсному рiвнi вивести протидт булiнгу з теорИ площини на простiр життебудiвництва.
Abstract
The problem of counteraction to bullying which is becoming more and more actual in nowadays is considered in the context of the tasks of value supplementing modern education. The aim of this article is consideration those potential educational opportunities that form the spiritual and value components of the countering of the bullying in the current educational process. The methodological basis of the study is a combination of systematic, comparative and sociocultural methods. Are proposed the ways of bullying's preventing by means of education through the ^ formation of the personality axiospheге. The mentioned ways are oriented on the _ formation of those personal qualities of schoolchildren, which will facilitate the mitigation and gradual disappearance of external destructive
