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

More documents

Recommendations

Info

(David Lewis, Conditionals, 1973) Sistemas de esferas para condicionais Sistemas de esferas • Centrado no mundo atual w, coloque os demais mundos em esferas de semelhança (“proximidade”) com w. • Para avaliar A > B, vá à esfera mais próxima a w que admite A e considere todos os mundos-A naquela esfera (se existem mundos-A; caso contrário seja A > B verdadereiro de modo trivial). Agora pergunte, se B for o caso naqueles mundos. Sistemas de esferas para revisões (Adam Grove, Two modellings of theory change, J. of Philos. Logic 17 (1988), 157-170.) ◦ Representamos teorias não por um mundo só mas por um conjunto de mundos (aqueles mundos/possibilidades que a teoria “deixa em jogo”). • Centrado na teoria atual K, coloque os mundos exluídos por K em esferas de preferência/plausibilidade (“proximidade”) do ponto de vista de K • Para avaliar B ∈ K ∗ A, vá a esfera mais próxima que admite A. A nova teoria K ∗ A será o conjunto dos mundos-A naquela esfera (se existem mundos A; se não K ∗ A será inconsistente (= L)). Agora pergunte, se B for o caso naqueles mundos. 48
W Ähnlichkeit mit w w Esquerda: Sistema de esferas centrado no mundo w. Rückfallpositionen für K Direita: Sistema de esferas (“cebóla de retiros”) acerca da teoria K. 49 K K Sistemas de esferas
Page 1 and 2: Goethe-Universität Frankfurt am Ma
Page 3 and 4: Justificação epistêmica · Justi
Page 5 and 6: Um problema tradicional Seja K o co
Page 7 and 8: Taking a closer look at the two pro
Page 9 and 10: Can we reduce the dynamic case (D)
Page 11 and 12: Can we reduce the dynamic case (D)
Page 13 and 14: A strong thesis (Isaac Levi) ◦ In
Page 15 and 16: A possible explanation: Justificaç
Page 17 and 18: Uma abordagem abstrata: três casos
Page 19 and 20: Programa Problema inicial: O que s
Page 21 and 22: • Operação de fechamento lógic
Page 23 and 24: (m) Pedro é dono de um Maserati. R
Page 25 and 26: Semântica epistêmica das proposi
Page 27 and 28: Considerações pré-teóricas Junt
Page 29 and 30: (C1) Closure (C2) Success (C3) Incl
Page 31 and 32: Identidade do Levi (LI): Identidade
Page 33 and 34: Teste de Ramsey para condicionais (
Page 35 and 36: Modalidades reflexivas Confusão de
Page 37 and 38: A familia K ⊥ A de candidatos X
Page 39 and 40: Representação para C1-6. (AGM 198
Page 41 and 42: Prova para a representação de C1-
Page 43 and 44: Ad (5): K − A = σ(K ⊥ A). ⊆
Page 45 and 46: Demonstramos assim: AGM: Postulados
Page 47: es.fe.ra sf 1 Geom Corpo cujos pont
Page 51 and 52: Representação de contrações pel
Page 53 and 54: Sistemas de esferas Para determinar
Page 55 and 56: K 55 Maxichoice revision K A enthä
Page 57 and 58: Forma lógica: • Proposição A e
Page 59 and 60: 59 Lógica Dinâmica Doxástica (DD
Page 61 and 62: Cuidado: • Como o teste do Ramsey
Page 63 and 64: Axiomas A extensão mínima da Lóg
Page 65 and 66: Semântica Lógica Dinâmica Doxás
Page 67 and 68: • Condições: Lógica Dinâmica

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

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?