Метод. Московский ежегодник трудов из обществоведческих дисциплин. Выпуск 3: Возможное и действительное в социальной практике и научных исследованиях - стр. 37

Если подобный вывод представляется нам неудовлетворительным, то необходимо изменить наш подход, который и приводит к подобным пессимистическим выводам. Поэтому от логико-семантического дескриптивного моделирования логически противоречивых образов действительности следует перейти к конструированию такого непротиворечивого образа, который затем можно спроектировать на саму действительность. И тут необходимо ответить на фундаментальный вопрос – возможен ли вообще логико-семантический образ (проект) будущего, совместимого с позициями различных сторон конфликта, т.е. такого логически непротиворечивого будущего, которое может наступить (наступит ли оно в самом деле – в данном случае вопрос производный). При таком подходе задача может быть переформулирована (переписана) таким образом: какие из пропозиций (состояния дел) будут реализованы в будущем, т.е. требуется составить такой текст, предложения (пропозиции) которого могут быть одновременно истинными в будущем времени. От возможной истинности взятых по отдельности пропозиций (истинности в одном из возможных миров-альтернатив настоящего) или же истинности в актуальном прошлом необходимо перейти к их совместимой истинности в будущем. В таком случае мы должны опираться на обращенную форму фундаментальной аксиомы модальной логики: от формулы Р => ◇ Р, – из того, что наличествует некоторое состояние дел (пропозиция) Р следует, что оно возможно – перейти к формуле: ◇ Р => (Р \/ ~Р): если некоторое состояние дел возможно, то оно либо имеет место, либо нет (с возможными классическими и неклассическими вариациями, касающимися закона исключенного третьего, т.е. действует или нет принцип «tertium non datur», «третьего не дано»).

Используемые ранее интерпретационные модели временной логики, обладая достаточной объяснительной и предсказуемостной силой, тем не менее приводили к замкнутому кругу: проигравшая (победившая) в прошлом сторона побеждает (проигрывает) в будущем и, соответственно, проигрывает (побеждает), когда это будущее становится прошлым [Золян, 1994; 1999]4. Поэтому представляется целесообразным дополнить их содержательными принципами другой, а именно таким ответвлением модальной логики, как логика предпочтений, которая была разработана одним из ведущих философов-логиков Г.Х. фон Вригтом. Она позволяет не только элиминировать противоречащие друг другу состояния дел, но и логически моделировать выбор из различных, в том числе и взаимоисключающих друг друга, альтернатив, наиболее и наименее предпочтительных. Точнее, логика Вригта предусматривает понятие «нулевого мира» – он необходим для того, чтобы «использовать этот ”мир” как точку, отделяющую хорошие миры от плохих» [Вригт, 1984, с. 442–443]. Некоторый мир Х считается «хорошим», если он предпочитается нулевому миру, и «плохим», если ему предпочитается нулевой мир. Миры, не являющиеся ни хорошими, ни плохими, равноценны нулевому миру [там же]. При этом сам нулевой мир «представляет логически невозможный мир – мир, в котором ничто не истинно и ничто не ложно» [Вригт, 1986, с. 442]. Примечательно, что фон Вригт, объясняя содержательные принципы этой логики, начинает описание с логико-семантического статуса двух проблем, которые непосредственно соотносятся с нашей темой: «Когда мы говорим, что предпочитаем мир войне, мы, по-видимому, намереваемся сказать, что предпочитаем определенное состояние дел другому состоянию дел. Состояния дел могут быть названы сущностями типа пропозиции. Последнее означает, что можно рассматривать их как отрицания, формировать из них молекулярные соединения, которые подчинялись бы законам пропозициональной логики. Кроме того, когда мы говорим, что предпочитаем факт независимости страны ее существованию при правлении другой страной, в терминах отношений предпочтений, по-видимому, будет два состояния дел» [Вригт, 1986, 414–415]. Согласно этой логике, модальным оператором оказывается отношение предпочтения (обозначим его знаком >), связывающее полные состояния дел (миры):