Испания, январь 2121, помимо рекордных снегопадов и бурь, температура в одной из провинций, Льейда, опустилась до -31 градуса, сообщают "Известия".
Ситуативная логика с возможными операторами «где-нибудь здесь» З( Н[somewhere here H]) и «где-нибудь там» Т(T[somewhere out there T]) резонно может быть конструирована, создана как бимодальная логика. Конструкт, для такой ситуативной пропозициональной логики может, состоять из двух бинарных отношений <К, R1, R2, G>. (Где К, в общем теперь уже относительно традиционно, логическом смысле реляционной не алгебраической семантики Крипке, это множество всех возможных миров, G- выделенный мир из К (актуальный мир), R, бинарное отношение на К.) Может быть очевидно, что одно отношение (интерпретируемое как «там») могло бы быть обращением другого (интерпретируемого как «здесь»). В таких обстоятельствах, утверждая условия истинности для З(H) и Т (T)как для возможностей, можно построить теорию языка некой минимальной ситуативной логики Ks[П].
Исходя из особенностей допускаемой в данной системе ситуативной логики концепции пространства, можно вводить ограничения на отношения достижимости (возможных миров), и таким образом, в зависимости от таких ситуаций можно формулировать различные системы ситуативных логик. В виду исходных операторов легко ввести операторы «везде там» М (O[ Everywhere out there]) и «везде здесь» Д(E[Everywhere here])».
Действительно, допустим, что высказывание, – «Вчера (пусть «вчера» это может быть,14.01.2121) в Мадриде шел обильный снег», истинно. В РФ, в январе, это пропозиция может и не показаться сразу странной просто потому, что в первый месяц года, на большей территории этой страны, это зима. Зимой в РФ большей частью может идти снег. Временная составляющая такой пропозиции об обильном снегопаде в Мадриде зимой таким образом, может быть не слишком информативна в РФ. Но то, что обильный снег шел именно в Мадриде, столице Испании может быть информационно нагружено, – так же, наполнено, как и когда-то зимой, высказывание, что снег шел в некоторых областях Сахары, что таким же образом бывает, – информативно задарено, как и улицы Мадрида снегом, в начале января 2121. И таким образом, пропозиции могут быть истинными в одном месте, в одно время, и ложными, в том же месте, в другое время, но и иначе, они могут быть истинными, в одном месте, в одно время, и ложными, в другом месте, в то же время, как, впрочем, и иначе, истинными. И тем более, пропозиции могут быть истинными в одном месте в одно время и ложными в другом месте в другое время.
«СТЛА»
Караваев В.Г.