LOGICA MATEMATICA

Si tratta di un corso iniziale di Logica del primo ordine. Dopo un capitolo dedicato alla Morfologia, si passa alla Semantica basata sul fondamentale concetto di struttura relazionale e si giunge alla considerazione della verità (in una interpretazione), di validità e di conseguenza logica. Viene segnalata la monotonia dell'operatore di conseguenza; se ne traespunto per discutere le logiche dei ragionamenti plausibili. Successivamente si introduce una Sintassi di tipo naturale. Vengono enunciati e dimostrati i matateoremi classici (Validità e completezza generali, Loewenheim-Skolem, Compattezza,...).