Livello proposizionale

• Nozione astratta di circonstanza: interpretazione proposizionale, una riga dell tabella di verità
  • Tautologia
  • Conseguenza tautologica
  • Equivalenza tautologica

Livello del primo ordine

• Nozione astratta di circonstanza come L-struttura: interpretazione del primo ordine, L-struttura
  • Validità in FO (Verità logica in FO)
  • Conseguenza in FO (Conseguenza logica in FO)
  • Equivalenza in FO (Equivalenza logica in FO)

Livello contestuale (TW)

• Le circonstanze dipendono dal contesto: come in TW
  • Verità logica
  • Conseguenza logica
  • Equivalenza logica