Teorias de Mudança de Crenças (Dinâmica Doxástica) - IFCS
Teorias de Mudança de Crenças (Dinâmica Doxástica) - IFCS
Teorias de Mudança de Crenças (Dinâmica Doxástica) - IFCS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
K<br />
55<br />
Maxichoice revision<br />
K<br />
A<br />
enthält nur eine Welt<br />
Sistemas <strong>de</strong> esferas<br />
Se s(K ⊥ ¬A) contém somente uma teoria<br />
maximamente consistente, M, então<br />
K ∗ A = M + A também é maximamente consistente,<br />
i.e. equivale a um “mundo” só:<br />
gran<strong>de</strong> <strong>de</strong>mais!<br />
Isto correspon<strong>de</strong> a exigência <strong>de</strong> que cada<br />
X-intersecção com uma esfera, SX ∩ X, contenha<br />
um elemento só. (Análogo à semântica<br />
do Stalnaker para os condicionais contrafatuais.)