Un'introduzione alla logica epistemica

Orario

mercoledi' 9:30-11:00 aula Contini (ingresso da via S. Apollonia)

venerdi' 11-12 aula Bianchi Lettere (ora dedicata alle esercitazioni)

Descrizione del corso

Corso di preparazione e approfondimento per il corso di Storia della Logica del prof. Mugnai

Materiali

Logica proposizionale classica

• Introduzione, motivazione ed esempi (15 ottobre 2008)
• Esercizi 1 (Argomenti, inferenze, e ancora ragionamento epistemico informale)
• Logica: lo studio degli schemi di inferenza razionali (17 ottobre 2008 fino alla diapositiva 17, 22 ottobre 2008 diap 18-32)
• Il calcolo proposizionale di base: linguaggio e semantica (28 ottobre 2008)
• Esercizi 2 (Linguaggio, dimostrazioni per induzione, soddisfacibilità, conseguenza)
• La nozione tarskiana di conseguenza logica (5 novembre 2008)
• Potere espressivo del calcolo proposizionale di base (12novembre 2008)
• Aberi di Beth (19-26 novembre 2008)
• Esercizi 3 (Conseguenza logica e Alberi di Beth)
• Dimostrabilità (26 novembre 2008)

Logica proposizionale modale

• Introduzione alla logica modale (4 febbraio 2009) - versione stampabile
• Esercizi 4 (Dimostrabilità modale)
• Semantica Relazionale (11 febbraio 2009) - versione stampabile
• Nota sulla dimostrabilità modale
• La completezza di K (18 febbraio 2009) - versione stampabile
• Appunti sulla completezza di K
• Esercizi 5 (Semantica modale)
• La completezza dei sistemi normali (25 febbraio 2009)
• Approfondimento sui sistemi normali (4 marzo 2009) - versione stampabile

Logica epistemica multiagente

• Interludio (epistemico) (25 marzo 2009) - versione stampabile
• Conoscenza di gruppo (1-8 aprile 2009) -
• Esercizi 6 (Conoscenza di gruppo)
• Sull' adeguatezza di S5 (22-29 aprile 2009)
• Il problema dell' onniscienza logica 13 maggio2009)

inizio pagina