Топологическая семантика

Шаблон:К удалению Шаблон:Нет ссылок Шаблон:Проще Топологическая семантика является естественной семантикой для неклассических логик, таких как интуиционистская логика и модальная логика. Исторически топологическая семантика появилась раньше более распространённой на данной момент семантики Крипке. Основы топологической семантики были заложены в работах Куратовского.

Топологическая семантика для модальной логики

Пусть $X$ — топологическое пространство, топологической моделью называется пара $M=(X,V)$, где $V$ — это оценка, которая каждой переменной ставит в соответствие множество точек топологического пространства, в которых эта переменная считается истинной. А именно, $V:Var\to 2^X$, где $Var$ — множество пропозициональных переменных. Истинность модальной формулы $A$ в точке $x$ топологической модели определяется индукцией по длине формулы:

$M,x\models p$, если  $x\in V(p)$
$M,x\models ̸\perp$
$M,x\models \mathrm{\neg }A$, если $M,x\models ̸A$
$M,x\models A\wedge B$, если $M,x\models A$ и $M,x\models B$
$M,x\models A\vee B$, если $M,x\models A$ или $M,x\models B$
$M,x\models A\to B$, если $M,x\models ̸A$ или $M,x\models B$
$M,x\models ◻A$, если существует окрестность $U$ точки $x$, такая что $\mathrm{\forall }y:(y\in U\Rightarrow M,y\models A)$

Формула называется общезначимой в топологической модели, если она истинна во всех точках модели.

Формула называется общезначимой в топологическом пространстве, если она общезначима во всех моделях в этом пространстве.

Благодаря свойствам топологических пространств в любой топологической модели наряду с аксиомой нормальности общезначимы следующие формулы:

$◻p\to p$
$◻p\to ◻◻p$

Для шкал Крипке эти формулы, соответственно, задают рефлексивность и транзитивность отношения. Наименьшая нормальная модальная логика, содержащая эти формулы, называется S4.

Связь с семантикой Крипке

Пусть $F=(W,R)$ - шкала Крипке, такая что $R$ - транзитивное и рефлексивное отношение (т.е.$F$ является предпорядком). На шкале $F$ можно естественным образом определить топологическое пространство $Top(F)$. Базой топологии этого пространства являются множества вида

$R(x)=\{y|xRy\}$.

Другими словами, в $Top(F)$ открытыми считаются все такие множества $U\subseteq W$ для которых верно, что

$x\in U\wedge xRy\Rightarrow y\in U$.

Для любой точки, для любой оценки и любой формулы верно, что

$F,V,x\models A⟺Top(F),V,x\models A$