модальные логики

[hgr]

http://www.logic.ru/Russian/LogStud/08/LS_8_r_Grigoriev.ps.gz
попытка создания индетерминистской логики времени. индетерминизм здесь заключается только в том, что, в отличие от логики времени Прайора, допускается такое предшествование одного события другому, при котором предшествовавшее может не служить причиной последующего. но нам бы надо такую логику времени, чтобы причины событий могли быть как в предшествующие, так и в последующие самим событиям моменты времени и даже сразу там и там (кажется, это логически равносильно тому, что событие может происходить без причины, но само становиться причной для последующих событий...) вот таких, хороших, логик -- никто не разрабатывает, увы.

введение в "спатиотемпоральную" тематику (т.е. в модальные логики пространства и времени как единого целого):
D. GABELAIA, R. KONTCHAKOV, A. KURUCZ, F. WOLTER, M. ZAKHARYASCHEV, Combining spatial and temporal logics: expressiveness vs. complexity // Journal of Artificial Intelligence Research 23 (2005) (to appear?) текст давно есть в сети.

Comments

Есть такая логика! :)

[ritovita.livejournal.com]

"Однако причина всего Прошлого, первая причина причинно-следственной цепи, есть не мир "самого первого мгновения" - не мир, возникший непосредственно из Вечности-Начала, но мир, который окружает нас в данный момент. Время есть круг, и посему "самое далекое прошлое" - то, где содержится первая причина всего существующего, - есть не что иное, как Настоящее. Этим же Настоящим является вместе с тем и "самое далекое будущее". Другими словами, то, что предшествует всему, и то, что завершает всё, есть то, что существует в данный момент.
Присутствуя в Настоящем, мы присутствуем вместе с тем и в "самом далеком прошлом", произошедшим из Вечности "только что" и заключающим в себе причину всего, что когда-либо произойдет, и в "самом далеком будущем", стоящим "на пороге" Вечности и являющимся результатом всего свершавшегося в мире перемен. Окружающий нас мир абсолютно нов, и в то же время нет ничего древнее его.
Выражая то же самое несколько иначе, можно сказать, что каждое звено причинно-следственной цепи - "каждое Настоящее" - не "ближе" и не "дальше" от Вечности и, соответственно, от метафизической причины своего существования, чем все остальные. По отношению к Вечности нет "более привилегированных" времен".

(http://atriumatics.wn.ru/texts/zhigalkin/meta3.htm)

Re: Есть такая логика! :)

[hgr.livejournal.com]

это как раз логика первобытного мышления (т.е. логика мифа). она же при паранойе...