LOGICA SUPERIORE

Le lezioni iniziali saranno dedicate alla filosofia intuizionsta della Matematica, un punto di vista caratterizzato dal rifiuto di mezzi dimostrativi non costruttivi. Si procederà con lo studio della Logica Intuizionista formale di Heyting. Verranno descritti due tipi di semantica, una algebrica e l'altra nello stile di Kripke che saranno dimostrate intimamente relate. Con l'ausilio dei Teoremi di Completezza, si otterrà una caratterizzazione sia computazionale che insiemistica di un medesimo concetto di ragionamento costruttivamente valido.