Teorias de Mudança de Crenças (Dinâmica Doxástica) - IFCS

(Leitgeb & Segerberg 2007.)
• Somente crenças “fatuais”.
A DDL mais simples
• Mudanças somente a respeito de sentenças fatuais.
Sintaxe
Lógica Dinâmica Doxástica (DDL)
Sejam ATM as sentenças atômicas de uma língua, FKT as sentenças fatuais, FML as
fórmulas, definidas assim:
1. ATM ⊆ FKT.
2. Se A, B ∈ FKT, então toda combinaçao booleana de A e B está em FKT.
3. FKT ⊆ FML.
4. Se A ∈ FKT, então BA, KA ∈ FML.
5. Se A ∈ FKT e B ∈ FML, então [A]B ∈ FML.
6. [−A]B := B ∧ [∗¬A]B (“Harper”).
Observação: O operador de saber K (“know”) representa crenças irrevisáveis (verdades
lógicas, semánticas e talvez mais: o urcorpus)
62