FORMALIZAÇÃO DE ESTADOS INTENCIONAIS

Através dos instrumentos lógicos podemos formalizar argumentos e proposições que contenham estados intencionais.
Medo
Um homem que teme que p, deve acreditar que é possível que p, e deve querer que seja o caso de não-p.
Medo (p)→Cren (◊p)∧Des(¬p)
Expectativa
As expectativas são crenças acerca do futuro.
Expectativa (p)↔Cren (Fut p)
Desapontamento
Se estou desapontado porque p, devo ter anteriormente esperado que não-p e querido que não-p, e agora, acredito que p.
Desapontamento (p)→pre Cren (p)∧pass Cren (fut¬p)∧Des (¬p)
Lamento
Lamento que p se tenho uma crença que p e desejo de não-p.
Lamentar (p)→Cren (p)∧Des(¬p)
Pesar
O pesar coloca uma restrição ao acto de lamentar, uma vez que o conteúdo proposicional deve dizer respeito a coisas que tenham a ver com a pessoa que sente esse pesar.
Sinto pesar (p)→Cren (p)∧Cren(p está relacionado comigo)∧Des (¬p)
Remorso
O remorso acrescenta o elemento de responsabilidade.
Remorso (p)→Cren (p)∧Des (¬p)∧Cren (sou responsável por p)
Culpa
A culpa é como o remorso só que dirigida a outrem.
Culpar X por (p) →Cren (p)∧Des (¬p)∧Cren (X é responsável por p)

Esperança

A esperança requer incerteza quanto à possibilidade do estado esperado se verificar efectivamente.

Esperar (p)→¬Cren(p) ∧¬Cren(¬p) ∧Cren(◊p) ∧Des(p)
Orgulho e vergonha
O orgulho e a vergonha requerem alguma conexão com o agente, embora não precise de ser tão forte quanto a responsabilidade. A vergonha envolve um desejo de ocultar, e o orgulho, um desejo de tornar conhecido.
Orgulho (p) →Cren(p) ∧Des(p)∧Cren(p está relacionado comigo)∧Des (outros sabem que p)
Vergonha (p) →Cren(p)∧Des(¬p)∧Cren(p está relacionado comigo)∧Des (p será ocultado dos outros)