Contatto di riferimento: Giovanna Corsi
Partecipanti: Sara Negri - Università di Helsinki
Sin dall'antichita' si e' tentato di caratterizzare la conoscenza attraverso una nozione di credenza opportunamente estesa con proprieta' come la veridicita' e la giustificazione.
Tali caratterizzazioni sono comunque state sfidate dai controesempi di Gettier e le loro varianti.
Una proposta moderna, nota come "defeasibility theory", caratterizza la conoscenza tramite la stabilita' per revisione della credenza alla luce di informazione veridica o arbitraria. Uno studio formale di tale proposta richiede i metodi della logica epistemica dinamica: approcci semantici sono stati sviluppati attraverso i "plausibility models" da Baltag e Smets (2008) e Pacuit (2013), ma una corrispondente teoria della dimostrazione e' ancora ai suoi inizi.
Presenteremo una riformulazione dei "plausibility models" in termini dei piu' generali "neighbourhood models" e svilupperemo sulla loro base sistemi completi di prova, seguendo una metodologia introdotta da Negri (2017) e sviluppata per la logica condizionale della credenza da Girlando et al. (2017).
Un trattamento dimostrazionistico di varie nozioni di credenza, come "safe belief" e "strong belief" fornisce un nuovo modo di studiare le loro relazioni, tra cui l'equazione caratterizzante conoscenza = credenza stabile per revisione arbitraria.
Riferimenti principali:
A. Baltag e S. Smets, The logic of conditional doxastic actions. In Texts in Logic and
Games, Special Issue on New Perspectives on Games and Interaction, vol. 4, pp. 9-31, 2008.
M. Girlando, S. Negri, N. Olivetti, and V. Risch, Conditional Beliefs: from Neighbourhood Semantics to Sequent Calculus. Submitted, 2017.
S. Negri, Proof theory for non-normal modal logics: The neighbourhood formalism
and basic results, IfCoLog Journal of Logics and their Applications, vol. 4, pp. 1241-1286, 2017.
E. Pacuit, Dynamic epistemic logic I: Modeling knowledge and belief. Philosophy Compass, vol. 8, pp. 798-814, 2013.