Автор: Коллектив авторов
Издательство: Агентство научных изданий
Жанр: Учебная литература
isbn: 978-5-248-00631-1
isbn:
Если подобный вывод представляется нам неудовлетворительным, то необходимо изменить наш подход, который и приводит к подобным пессимистическим выводам. Поэтому от логико-семантического дескриптивного моделирования логически противоречивых образов действительности следует перейти к конструированию такого непротиворечивого образа, который затем можно спроектировать на саму действительность. И тут необходимо ответить на фундаментальный вопрос – возможен ли вообще логико-семантический образ (проект) будущего, совместимого с позициями различных сторон конфликта, т.е. такого логически непротиворечивого будущего, которое может наступить (наступит ли оно в самом деле – в данном случае вопрос производный). При таком подходе задача может быть переформулирована (переписана) таким образом: какие из пропозиций (состояния дел) будут реализованы в будущем, т.е. требуется составить такой текст, предложения (пропозиции) которого могут быть одновременно истинными в будущем времени. От возможной истинности взятых по отдельности пропозиций (истинности в одном из возможных миров-альтернатив настоящего) или же истинности в актуальном прошлом необходимо перейти к их совместимой истинности в будущем. В таком случае мы должны опираться на обращенную форму фундаментальной аксиомы модальной логики: от формулы Р => ◇ Р, – из того, что наличествует некоторое состояние дел (пропозиция) Р следует, что оно возможно – перейти к формуле: ◇ Р => (Р \/ ~Р): если некоторое состояние дел возможно, то оно либо имеет место, либо нет (с возможными классическими и неклассическими вариациями, касающимися закона исключенного третьего, т.е. действует или нет принцип «tertium non datur», «третьего не дано»).
Используемые ранее интерпретационные модели временной логики, обладая достаточной объяснительной и предсказуемостной силой, тем не менее приводили к замкнутому кругу: проигравшая (победившая) в прошлом сторона побеждает (проигрывает) в будущем и, соответственно, проигрывает (побеждает), когда это будущее становится прошлым [Золян, 1994; 1999]4. Поэтому представляется целесообразным дополнить их содержательными принципами другой, а именно таким ответвлением модальной логики, как логика предпочтений, которая была разработана одним из ведущих философов-логиков Г.Х. фон Вригтом. Она позволяет не СКАЧАТЬ
4
Одну из главок мы назвали: «Наступит ли 1921 год?» [Золян, 2000].