Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
PROVA DI AUTO-VALUTAZIONE -CORSO 2008-09 MASSIMO MUGNAI
 

Summary: PROVA DI AUTO-VALUTAZIONE - CORSO 2008-09
MASSIMO MUGNAI
1. Illustrare brevemente le motivazioni logiche e filosofiche che stanno alla base della
costruzione delle logiche modali.
2. Come spieghereste il significato dell'espressione `implicazione stretta'?
3. Illustrare brevemente il significato della distinzione tra sintassi e semantica in un sistema
formale.
4. Come esprimere mediante e l'enunciato: ` `e contingentemente vero'?
5. Se sul mondo possibile (d'ora in poi: `mp') wj `e vero sia sia , segue da ci`o che
a wj `e vera una contraddizione? Discutere questa questione.
6. Scrivere di seguito gli assiomi con i quali, durante il corso, sono stati caratterizzati i
sistemi modali: K, D, T, S4, S5, B. Specificare i rapporti reciproci che legano tra loro
questi sistemi.
7. Specificare le regole dei tableaux per ciascuno dei sistemi del punto precedente.
8. Dimostrare mediante tableaux i seguenti lemmi:
(1) K6: ( )
(2) K8: ( )
(3) T1:
(4) T3:
(5) T4:

  

Source: Abbondandolo, Alberto - Scuola Normale Superiore of Pisa

 

Collections: Mathematics