Profondità modale

Nella logica modale, la profondità modale è il massimo livello di annidamento degli operatori modali (tipicamente e ). Le formule modali prive di operatori modali hanno profondità modale nulla.

Definizione

modifica

La profondità modale può essere definita nel modo seguente.[1] Sia   una funzione matematica che calcola la profondità modale della formula  :

  1.  , dove   è una formula atomica.
  2.  
  3.  
  4.  
  5.  
  6.  
  7.  
  8.  
  9.  

Le formule sopra enunciate sono tra loro indipendenti.

L'esempio seguente calcola la profondità modale della formula  :

 
dalla (8):  
dalla (7):  
dalla (8) e dalla (1):  
dalla (1):  
 

Profondità modale e semantica

modifica

La profondità modale di una formula indica 'quanto lontano' bisogna guardare in un modello di Kripke quando la formula è valida. Per ogni operatore modale è necessario passare da un mondo nel modello a un mondo accessibile attraverso la relazione di accessibilità. La profondità modale indica la "catena" più lunga di transizioni da un mondo all'altro necessaria per verificare la validità di una formula.

Ad esempio, per verificare se  , è necessario verificare se esiste un mondo accessibile   per ogni  . Se ciò è vero, è necessario verificare se esiste anche un mondo   tale che   e che  è accessibile da  . Si hano due passaggi dal mondo   (da   a   e da   a  ) nel modello per determinare se la formula sia vera; e questo è per definizione la profondità modale di tale formula.

Una formula modale è anche vera ogni volta che un mondo non ha altri mondi accessibili (in simboli:   è vera per ogni   in un mondo   quando  , dove   è l'insieme dei mondi possibili e   è la relazione di accessibilità). Per verificare se   sia vera, può essere necessario percorrere due passaggi nel modello, ovvero un numero minore, a seconda del modello stesso. Si supponga che non via siano mondi accessibili da  : banalmente, la formula è valida in base alla precedente osservazione sulle formule che hanno   come operatore esterno.

  1. ^ (EN) Linh Anh Nguyen, Constructing the Least Models for Positive Modal Logic Programs (PDF), su mimuw.edu.pl, p. 32 (archiviato dall'url originale il 26 gennaio 2019).
  Portale Filosofia: accedi alle voci di Wikipedia che trattano di filosofia