Тенденции изменения
Можно предложить компромиссную версию интерпретации высказываний о будущем, в котором при сохранении принципа двузначности высказывания об актуальном и потенциальном изменении могли бы быть осмысленными и иметь отличные друг от друга семантические значения.
Основная идея состоит в том, что на дереве возможных историй изменяющегося объекта выделяется одна ветвь, представляющая его актуальную историю. Высказывание об актуальном будущем истинно если и только если описанное в нем изменение выполняется в актуальной истории. Высказывание о возможном будущем истинно, если и только если описанное в нем изменение выполняется по крайней мере в одной из возможных историй. Высказывание о необходимом будущем истинно, если и только если описанное в нем изменение выполняется в каждой возможной истории, включая актуальную.Эта третья позиция может быть использована для обобщения двух предшествующих. По форме она определяется наложением линейной структуры актуального изменения на ветвящуюся структуру потенциального изменения. В содержательной интерпретации результирующая структура отражает новое представление об изменении как о цепи актуализированных возможностей. В ней фиксируется последовательность переходов объекта от его актуального состояния к возможным для его последующего изменения и от возможного к новой актуализации. Актуализация одного из потенциалов изменения влечет возникновение нового актуального состояния объекта и уничтожение старого, то есть событие, характеризующее историю изменяющегося объекта. Цепь возможных событий не предопределена линейно в будущее, поскольку для актуализации существует более одной возможности. Поэтому упорядоченную во времени возможную актуализацию — возникновение нового актуального состояния и уничтожение предшествующего — будем называть в дальнейшем тенденцией изменения. Такая трактовка близка к гегелевскому пониманию возникновения и уничтожения как тенденций становления объекта в сфере возможного.
Логическая структура высказывания о тенденциях изменения производна от структур высказываний об актуальном и потенциальном изменениях. Она образуется с помощью модального оператора, в область действия которого входит высказывание об актуальном изменении в переходный момент времени, то есть высказывание о возникновении и уничтожении. Примером высказывания о тенденции изменения служит следующее:
- Возможно, неблагоприятная ситуация исчезнет и возникнет благоприятная ситуация.
Высказывание 7 о тенденциях изменения следует отличать от высказывания 6 о потенциальном изменении. В 6 утверждается о возможной смене предиката изменяющегося объекта. В 7 — о возможном событии, когда актуализируется один объект, а именно, «благоприятная ситуация», и уничтожается другой, предшествующий ему во времени, то есть «неблагоприятная ситуация».
Итак, в рамках общей логической теории изменения можно различать три относительно самостоятельные сферы логического исследования: логики высказываний об актуальном, потенциальном изменении и о тенденциях изменения. В первой рассматриваются логические свойства высказываний о линейно упорядоченной смене состояний изменяющегося объекта. Во второй — свойства высказываний о возможности и необходимости изменения. Логические свойства высказываний об актуализации возможных для изменения ситуаций изучаются в логике тенденций изменения, которая обобщает две предшествующие.
Таким образом, определена сфера логического исследования теории изменения, то есть очерчен класс высказываний, описывающих различные типы динамики объекта. Подводя итог, выскажем некоторые предварительные соображения об объектном языке для такого класса высказываний. Объектный язык логической теории изменения может быть построен как расширение языка логики первого порядка за счет введения темпоральных и модальных операторов. Класс формул языка логики актуального изменения является фрагментом языка общей теории, включающим формулы без модальных операторов. Класс формул языка логики потенциального изменения составляют формулы объектного языка теории без темпоральных операторов. Язык логики тенденций изменения должен включать все формулы объектного языка логической теории изменения.